Philosophisches Seminar

Ass. Prof Dr. Balthasar Grabmayr

Assistant Professor of Logic

Tübingen University
Philosophical Seminar
Bursagasse 1, Room No. 323
D - 72070 Tübingen

Tel.: 07071/2978302
balthasar.grabmayrspam prevention@philosophie.uni-tuebingen.de
https://balthasargrabmayr.com/

Consultation Hours: during semesterbreak with prior application by email

Main research

- Logic
- Philosophy of Mathematics
- Metamathematics
 

CV

Since 2023: Assistant Professor of Logic, Philosophical Seminar, Tübingen University
2021 - 2023: Azrieli International Postdoctoral Fellow, Department of Philosophy, University of Haifa
2021: Research Assistant, Blavatnik School of Computer Science, Tel Aviv Universität
2020 - 2021: Visiting Fellow, Institute Vienna Circle, University of Vienna
2016 - 2018: Minerva Fellow (Max-Planck-Gesellschaft), Tel Aviv University
2015 - 2021: Ph. D. in Philosophy, Humboldt-Universität zu Berlin
2008 - 2014: Studies in Mathematics in Berlin

Publications

Varieties of Self-Reference in Metamathematics (mit Volker Halbach und Lingyuan Ye), Journal of Philosophical Logic, Online First
https://link.springer.com/article/10.1007/s10992-022-09696-y

Self-Reference Upfront: A Study of Self-Referential Gödel Numberings (mit Albert Visser), Review of Symbolic Logic, Online First
https://doi.org/10.1017/S1755020321000393

Breaking the Tie: Benacerraf's Identification Problem Revisisted (mit Arnon Avron), Philosophia Mathematica, 31 (1): 81-103, 2023
https://doi.org/10.1093/philmat/nkac022

On the Invariance of Gödel’s Second Theorem with regard to Numberings, Review of Symbolic Logic, 14 (1): 51-84, 2021
https://doi.org/10.1017/S1755020320000192

Privacy settings

Our website uses cookies. Some of them are mandatory, while others allow us to improve your user experience on our website. The settings you have made can be edited at any time.

or

Essential

in2code
Name

in2cookiemodal-selection

Use

Required to save the user selection of the cookie settings.

Lifetime

3 months

Name

be_lastLoginProvider

Use

Required for the TYPO3 backend login to determine the time of the last login.

Lifetime

3 months

Name

be_typo_user

Use

This cookie tells the website whether a visitor is logged into the TYPO3 backend and has the rights to manage it.

Lifetime

Browser session

Name

ROUTEID

Use

These cookies are set to always direct the user to the same server.

Lifetime

Browser session

Name

fe_typo_user

Use

Enables frontend login.

Lifetime

Browser session

Videos

in2code
Name

iframeswitch

Use

Used to show all third-party contents.

Lifetime

3 months

YouTube
Name

yt-player-bandaid-host

Use

Is used to display YouTube videos.

Lifetime

Persistent

Name

yt-player-bandwidth

Use

Is used to determine the optimal video quality based on the visitor's device and network settings.

Lifetime

Persistent

Name

yt-remote-connected-devices

Use

Saves the settings of the user's video player using embedded YouTube video.

Lifetime

Persistent

Name

yt-remote-device-id

Use

Saves the settings of the user's video player using embedded YouTube video.

Lifetime

Persistent

Name

yt-player-headers-readable

Use

Collects data about visitors' interaction with the site's video content - This data is used to make the site's video content more relevant to the visitor.

Lifetime

Persistent

Name

yt-player-volume

Use

Is used to save volume preferences for YouTube videos.

Lifetime

Persistent

Name

yt-player-quality

Use

Is used to save the quality settings for YouTube videos.

Lifetime

Persistent

Name

yt-remote-session-name

Use

Saves the settings of the user's video player using embedded YouTube video.

Lifetime

Browser session

Name

yt-remote-session-app

Use

Saves the settings of the user's video player using embedded YouTube video.

Lifetime

Browser session

Name

yt-remote-fast-check-period

Use

Saves the settings of the user's video player using embedded YouTube video.

Lifetime

Browser session

Name

yt-remote-cast-installed

Use

Saves the user settings when retrieving a YouTube video integrated on other web pages

Lifetime

Browser session

Name

yt-remote-cast-available

Use

Saves user settings when retrieving integrated YouTube videos.

Lifetime

Browser session

Google
Name

ANID

Use

Used for targeting purposes to profile the interests of website visitors in order to display relevant and personalized Google advertising.

Lifetime

2 years

Name

SNID

Use

Google Maps - Google uses these cookies to store user preferences and information when you view pages with Google Maps.

Lifetime

1 month

Name

SSID

Use

Used to store information about how you use the site and what advertisements you saw before visiting this site, and to customize advertising on Google resources by remembering your recent searches, your previous interactions with an advertiser's ads or search results, and your visits to an advertiser's site.

Lifetime

6 months

Name

1P_JAR

Use

This cookie is used to support Google's advertising services.

Lifetime

1 month

Name

SAPISID

Use

Used for targeting purposes to profile the interests of website visitors in order to display relevant and personalized Google advertising.

Lifetime

2 years

Name

APISID

Use

Used for targeting purposes to profile the interests of website visitors in order to display relevant and personalized Google advertising.

Lifetime

6 months

Name

HSID

Use

Includes encrypted entries of your Google account and last login time to protect against attacks and data theft from form entries.

Lifetime

2 years

Name

SID

Use

Used for security purposes to store digitally signed and encrypted records of a user's Google Account ID and last login time, enabling Google to authenticate users, prevent fraudulent use of login credentials, and protect user data from unauthorized parties. This may also be used for targeting purposes to display relevant and personalized advertising content.

Lifetime

6 months

Name

SIDCC

Use

This cookie stores information about user settings and information for Google Maps.

Lifetime

3 months

Name

NID

Use

The NID cookie contains a unique ID that Google uses to store your preferences and other information.

Lifetime

6 months

Name

CONSENT

Use

This cookie tracks how you use a website to show you advertisements that may be of interest to you.

Lifetime

18 years

Name

__Secure-3PAPISID

Use

This cookie is used to support Google's advertising services.

Lifetime

2 years

Name

__Secure-3PSID

Use

This cookie is used to support Google's advertising services.

Lifetime

6 months

Name

__Secure-3PSIDCC

Use

This cookie is used to support Google's advertising services.

Lifetime

6 months

Legal details Privacy policy