Univ.-Prof. Mag. Mag. Dr. Georg Schiemer
Winter term 2024
300156 SE Current topics in philosophy, theology and biology - Interdisciplinary discussions of current topics in Philosophy, Theology and Biology
Summer term 2024
300156 SE Current topics in philosophy, theology and biology - Interdisciplinary discussions of current topics in Philosophy, Theology and Biology
970048 KU univie: summer school Scientific World Conceptions - The Philosophy of Mathematics
Winter term 2023
180085 SE Deflationism
300156 SE Current topics in philosophy, theology and biology - Interdisciplinary discussions of current topics in Philosophy, Theology and Biology
Schiemer, G 2024, Carnap on the formality of logic and mathematics. in A Richardson & AT Tuboly (eds), Interpreting Carnap: Critical Essays. Cambridge University Press. https://doi.org/10.1017/9781009099080.013




Schiemer, G 2021, Logicism in logical empiricism. in Origins and Varieties of Logicism: On the Logico-Philosophical Foundations of Mathematics. Routledge, New York. https://doi.org/10.4324/9780429277894

Schiemer, G 2021, Non-standard logicism. in The Handbook of Logical Empiricism. Routledge. https://doi.org/10.4324/9781315650647

Schiemer, G, Reck, E & Schlimm, D 2021, Rudolf Carnap, Collected Works, Vol. III. Oxford University Press.


Schiemer, G & Wigglesworth, J (eds) 2020, Foundations of Mathematical Structuralism. Philosophia Mathematica: philosophy of mathematics, its learning, and its application, no. 3, vol. 28, Oxford Academic, Oxford.

Schiemer, G 2020, Carnap's structuralist thesis. in EH Reck & G Schiemer (eds), The Prehistory of Mathematical Structuralism. Oxford University Press, Oxford, pp. 383-420.

Schiemer, G & Reck, E 2020, Introduction and Overview: The Prehistory of Mathematical Structuralism. in EH Reck & G Schiemer (eds), The Prehistory of Mathematical Structuralism. Oxford University Press, pp. 1-20.

Reck, E & Schiemer, G (eds) 2020, The Prehistory of Mathematical Structuralism. Oxford University Press, Oxford.

Schiemer, G 2020, Transfer principles, Klein's Erlangen Program, and methodological structuralism. in EH Reck & G Schiemer (eds), The Prehistory of Mathematical Structuralism. Oxford University Press, Oxford, pp. 106-141.





Schiemer, G 2019, Mathematik in den Wissenschaften. in Einheit und Vielfalt der Wissenschaften. De Gruyter.



Hilbert's conservativity program

Georg Schiemer (Speaker)

5 Dec 2023

Activity: Talks and presentationsTalk or oral contributionScience to Public


Instrumental devices

Georg Schiemer (Speaker)

23 Oct 2023

Activity: Talks and presentationsTalk or oral contributionScience to Public


Instrumental devices

Georg Schiemer (Speaker)

19 Oct 2023

Activity: Talks and presentationsTalk or oral contributionScience to Public


How geometry became structural

Georg Schiemer (Speaker)

15 Oct 202316 Oct 2023

Activity: Talks and presentationsTalk or oral contributionScience to Public


Instrumental devices

Georg Schiemer (Speaker)

20 Sep 2023

Activity: Talks and presentationsTalk or oral contributionScience to Public


Instrumental devices

Georg Schiemer (Speaker)

8 Sep 2023

Activity: Talks and presentationsTalk or oral contributionScience to Public


Formal content and meaning in mathematics

Georg Schiemer (Speaker)

24 Jul 202329 Jul 2023

Activity: Talks and presentationsTalk or oral contributionScience to Science


What is implicit structure?

Georg Schiemer (Speaker)

28 Jun 202329 Jun 2023

Activity: Talks and presentationsTalk or oral contributionScience to Public


Formalism and scientific objectivity

Georg Schiemer (Speaker)

27 Apr 2023

Activity: Talks and presentationsTalk or oral contributionScience to Public


Instrumental formalism and conservativity

Georg Schiemer (Speaker)

15 Dec 2022

Activity: Talks and presentationsTalk or oral contributionScience to Science


What is implicit structure?

Georg Schiemer (Speaker)

13 Dec 2022

Activity: Talks and presentationsTalk or oral contributionScience to Science


Instrumental formalism and conservativity

Georg Schiemer (Speaker)

1 Dec 2022

Activity: Talks and presentationsTalk or oral contributionScience to Science


Formal content and meaning in mathematics

Georg Schiemer (Speaker)

14 Nov 2022

Activity: Talks and presentationsTalk or oral contributionScience to Science


Hilbert’s Early Metatheory Revisited: Categoricity and Interpretability

Georg Schiemer (Speaker)

30 Sep 2022

Activity: Talks and presentationsTalk or oral contributionScience to Science


Mathematik als "Formenlehre"

Georg Schiemer (Speaker)

20 Sep 2022

Activity: Talks and presentationsTalk or oral contributionScience to Science


What is implicit structure?

Georg Schiemer (Speaker)

5 Sep 2022

Activity: Talks and presentationsTalk or oral contributionScience to Science


Carnap's formalist thesis

Georg Schiemer (Speaker)

6 Jul 20228 Jul 2022

Activity: Talks and presentationsTalk or oral contributionScience to Science


Implicit definitions and structuralism

Georg Schiemer (Speaker)

4 Jul 20225 Jul 2022

Activity: Talks and presentationsTalk or oral contributionScience to Science


Hilbert's early semantics revisited: isomorphism and interpretability

Georg Schiemer (Speaker)

20 Jun 202223 Jun 2022

Activity: Talks and presentationsTalk or oral contributionScience to Science


What is (implicit) structure?

Georg Schiemer (Speaker)

28 May 2022

Activity: Talks and presentationsTalk or oral contributionScience to Science


Hilbert's early semantics revisited: isomorphism and interpretability

Georg Schiemer (Speaker)

27 May 2022

Activity: Talks and presentationsTalk or oral contributionScience to Science


Implicit definitions and structuralism

Georg Schiemer (Speaker)

23 May 202224 May 2022

Activity: Talks and presentationsTalk or oral contributionScience to Science


Carnap's formalist thesis

Georg Schiemer (Speaker)

5 May 20227 May 2022

Activity: Talks and presentationsTalk or oral contributionScience to Science


Logical concepts and structural properties

Georg Schiemer (Speaker)

21 Apr 202223 Apr 2022

Activity: Talks and presentationsTalk or oral contributionScience to Science


Instrumental formalism and conservativity

Georg Schiemer (Speaker)

4 Apr 20229 Apr 2022

Activity: Talks and presentationsTalk or oral contributionScience to Science


The roots of structuralism

Georg Schiemer (Speaker)

17 Mar 2022

Activity: Talks and presentationsTalk or oral contributionScience to Science


How geometry became structural

Georg Schiemer (Speaker)

18 Jan 2022

Activity: Talks and presentationsTalk or oral contributionScience to Science


Scientific objectivity and the formalist turn

Georg Schiemer (Speaker)

25 Nov 2021

Activity: Talks and presentationsTalk or oral contributionScience to Science


Structuralism and mathematical representation

Georg Schiemer (Speaker)

17 Nov 2021

Activity: Talks and presentationsTalk or oral contributionScience to Science


Carnap's formalist thesis, Lecture

Georg Schiemer (Speaker)

10 Nov 2021

Activity: Talks and presentationsTalk or oral contributionScience to Science


How geometry became structural

Georg Schiemer (Speaker)

9 Nov 2021

Activity: Talks and presentationsTalk or oral contributionScience to Science


How geometry became structural

Georg Schiemer (Speaker)

4 Nov 2021

Activity: Talks and presentationsTalk or oral contributionScience to Science


Hilbert's Early Metatheory Revisited

Georg Schiemer (Speaker) & Eduardo Nicolás Giovannini (Speaker)

7 Oct 2021

Activity: Talks and presentationsTalk or oral contributionScience to Science


Symmetries and implicit structure

Georg Schiemer (Speaker)

6 Oct 2021

Activity: Talks and presentationsTalk or oral contributionScience to Science


Two ways to think about implicit structure

Georg Schiemer (Speaker)

16 Sep 2021

Activity: Talks and presentationsTalk or oral contributionScience to Science


Hilbert's Early Views on Completeness and Categoricity (online meeting)

Georg Schiemer (Speaker)

25 Jan 2021

Activity: Talks and presentationsTalk or oral contributionScience to Science


Hilbert on Completeness, Categoricity, and Maximal Models (online meeting)

Georg Schiemer (Speaker)

10 Dec 2020

Activity: Talks and presentationsTalk or oral contributionScience to Science


Hilbert's Early Views on Completeness and Categoricity (online meeting)

Georg Schiemer (Speaker)

23 Oct 2020

Activity: Talks and presentationsTalk or oral contributionScience to Science


Carnap's structuralist thesis

Georg Schiemer (Speaker)

15 Sep 2020

Activity: Talks and presentationsTalk or oral contributionScience to Science


Klein's geometrical structuralism

Georg Schiemer (Speaker)

21 Aug 2020

Activity: Talks and presentationsTalk or oral contributionScience to Science


Structural and logical properties (postponed to 2021)

Georg Schiemer (Speaker)

4 May 2020

Activity: Talks and presentationsTalk or oral contributionScience to Science


Two ways to think about (implicit) structure

Georg Schiemer (Speaker)

6 Mar 2020

Activity: Talks and presentationsTalk or oral contributionScience to Science


Logicism in Logical Empiricism

Georg Schiemer (Speaker)

28 Feb 2020

Activity: Talks and presentationsTalk or oral contributionScience to Science


How geometry became structural

Georg Schiemer (Speaker)

27 Nov 2019

Activity: Talks and presentationsTalk or oral contributionScience to Public


How geometry became structural

Georg Schiemer (Speaker)

4 Oct 2019

Activity: Talks and presentationsTalk or oral contributionScience to Public


Structuralism as a mathematical style: Klein, Hilbert, and 19th-Century Geometry

Georg Schiemer (Speaker)

5 Aug 201910 Aug 2019

Activity: Talks and presentationsTalk or oral contributionScience to Public


Semantics in type theory

Georg Schiemer (Speaker)

17 Jun 201919 Jun 2019

Activity: Talks and presentationsTalk or oral contributionScience to Public


Padoa, Carnap, and Tarski on deductive theories

Georg Schiemer (Speaker)

15 May 201917 May 2019

Activity: Talks and presentationsTalk or oral contributionScience to Public


Structuralism and informal provability

Georg Schiemer (Speaker) & John Wigglesworth (Speaker)

6 May 2019

Activity: Talks and presentationsTalk or oral contributionScience to Public


Two ways to think about (implicit) structure

Georg Schiemer (Speaker)

11 Apr 201913 Apr 2019

Activity: Talks and presentationsTalk or oral contributionScience to Public


How geometry became structural

Georg Schiemer (Speaker)

6 Mar 2019

Activity: Talks and presentationsTalk or oral contributionScience to Public


Two ways to think about (implicit) structure

Georg Schiemer (Speaker)

4 Mar 2019

Activity: Talks and presentationsTalk or oral contributionScience to Public


Two ways to think about (implicit) structure

Georg Schiemer (Speaker)

1 Mar 2019

Activity: Talks and presentationsTalk or oral contributionScience to Public


Structuralism and `Ordnungsgefüge'

Georg Schiemer (Speaker) & Francesca Biagioli (Speaker)

13 Dec 2018

Activity: Talks and presentationsTalk or oral contributionScience to Public


Implicit structure

Georg Schiemer (Speaker)

3 Dec 2018

Activity: Talks and presentationsTalk or oral contributionScience to Public


Two ways to think about (implicit) structure

Georg Schiemer (Speaker)

8 Nov 201810 Nov 2018

Activity: Talks and presentationsTalk or oral contributionScience to Public


What are implicit definitions?

Georg Schiemer (Speaker)

6 Nov 2018

Activity: Talks and presentationsTalk or oral contributionScience to Public


Mathematical structuralism and implicit structure

Georg Schiemer (Speaker)

8 Oct 201812 Oct 2018

Activity: Talks and presentationsTalk or oral contributionScience to Public


Two ways to think about (implicit) structure

Georg Schiemer (Speaker)

14 Sep 2018

Activity: Talks and presentationsTalk or oral contributionScience to Public


Husserl and Carnap on completeness

Georg Schiemer (Speaker)

3 Sep 20184 Sep 2018

Activity: Talks and presentationsTalk or oral contributionScience to Science


Two ways to think about (implicit) structure

Georg Schiemer (Speaker)

5 Aug 201811 Aug 2018

Activity: Talks and presentationsTalk or oral contributionScience to Science


Transfer principles and Klein's structuralism

Georg Schiemer (Speaker)

13 Jul 201814 Jul 2018

Activity: Talks and presentationsTalk or oral contributionScience to Science


Implicit definitions and the development of modern axiomatics

Georg Schiemer (Speaker)

9 Jul 201812 Jul 2018

Activity: Talks and presentationsTalk or oral contributionScience to Science


Transfer principles and Klein's group-theoretic structuralism

Georg Schiemer (Speaker)

9 Jul 201812 Jul 2018

Activity: Talks and presentationsTalk or oral contributionScience to Science


Two ways to think about (implicit) structure

Georg Schiemer (Speaker)

21 Jun 2018

Activity: Talks and presentationsTalk or oral contributionScience to Science


Carnap's Der Raum and the notion of `Ordnungsgefüge'

Georg Schiemer (Speaker)

29 May 2018

Activity: Talks and presentationsTalk or oral contributionScience to Science


On the History of Metatheory in Modern Type Theory

Georg Schiemer (Speaker)

9 May 2018

Activity: Talks and presentationsTalk or oral contributionScience to Public


Metatheory in Type Theory

Georg Schiemer (Speaker)

22 Feb 2018

Activity: Talks and presentationsTalk or oral contributionScience to Public


Two ways to think about mathematical structure

Georg Schiemer (Speaker)

13 Dec 201714 Dec 2017

Activity: Talks and presentationsTalk or oral contributionScience to Science


Two ways to think about mathematical structure

Georg Schiemer (Speaker)

10 Dec 201712 Dec 2017

Activity: Talks and presentationsTalk or oral contributionScience to Science


Transfer Principles and Structural Equivalence

Georg Schiemer (Speaker)

24 Nov 2017

Activity: Talks and presentationsTalk or oral contributionScience to Science


Putnam on conditional logicism and modalism

Georg Schiemer (Speaker)

15 Nov 2017

Activity: Talks and presentationsTalk or oral contributionScience to Science


Carnap's structuralism

Georg Schiemer (Speaker)

5 Oct 20176 Oct 2017

Activity: Talks and presentationsTalk or oral contributionScience to Science


Implicit definitions and the development of modern mathematics

Georg Schiemer (Speaker)

18 Sep 201720 Sep 2017

Activity: Talks and presentationsTalk or oral contributionScience to Science


Klein's program and structural equivalence

Georg Schiemer (Speaker)

14 Jul 2017

Activity: Talks and presentationsTalk or oral contributionScience to Science


Transfer principles

Georg Schiemer (Speaker)

13 Jul 201714 Jul 2017

Activity: Talks and presentationsTalk or oral contributionScience to Science


Logical concepts and structural properties

Georg Schiemer (Speaker)

21 Jun 2017

Activity: Talks and presentationsTalk or oral contributionScience to Science


Carnap's structuralist thesis

Georg Schiemer (Speaker)

8 May 201710 May 2017

Activity: Talks and presentationsTalk or oral contributionScience to Science


The structuralist thesis reconsidered

Georg Schiemer (Speaker)

5 May 20177 May 2017

Activity: Talks and presentationsTalk or oral contributionScience to Science


The structuralist thesis reconsidered

Georg Schiemer (Speaker)

4 Apr 20176 Apr 2017

Activity: Talks and presentationsTalk or oral contributionScience to Science


Geometrical roots of model theory

Georg Schiemer (Speaker)

9 Jan 201712 Jan 2017

Activity: Talks and presentationsTalk or oral contributionScience to Science


Transfer principles and structural equivalence

Georg Schiemer (Speaker)

1 Dec 2016

Activity: Talks and presentationsTalk or oral contributionScience to Science


Cassirer, Klein, and geometrical structuralism

Georg Schiemer (Speaker)

4 Nov 20165 Nov 2016

Activity: Talks and presentationsTalk or oral contributionScience to Science


Felix Klein's invariant-theoretic structuralism

Georg Schiemer (Speaker)

24 Jun 201626 Jun 2016

Activity: Talks and presentationsTalk or oral contributionScience to Science


`Wissenschaftslogik' in the International Encyclopedia of Unified Science

Georg Schiemer (Speaker)

2 Jun 20163 Jun 2016

Activity: Talks and presentationsTalk or oral contributionScience to Science


Transfer principles and structuralism

Georg Schiemer (Speaker)

25 Jan 2016

Activity: Talks and presentationsTalk or oral contributionScience to Science


Cassirer, Klein, and geometrical structuralism

Georg Schiemer (Speaker)

23 Jan 2016

Activity: Talks and presentationsTalk or oral contributionScience to Science


Transfer principles and mathematical structuralism

Georg Schiemer (Speaker)

21 Jan 2016

Activity: Talks and presentationsTalk or oral contributionScience to Science


Transfer principles and Klein's geometrical structuralism

Georg Schiemer (Speaker)

15 Jan 201616 Jan 2016

Activity: Talks and presentationsTalk or oral contributionScience to Science


Carnap on logicism and the application of mathematics

Georg Schiemer (Speaker)

12 Nov 201513 Nov 2015

Activity: Talks and presentationsTalk or oral contributionScience to Science


Duality and transfer principles: The rise of model-theoretic methods in projective geometry

Georg Schiemer (Speaker)

2 Nov 20154 Nov 2015

Activity: Talks and presentationsTalk or oral contributionScience to Science


Theoretical terms and structural content

Georg Schiemer (Speaker)

16 Oct 2015

Activity: Talks and presentationsTalk or oral contributionScience to Science


What is theoretical truth?

Georg Schiemer (Speaker)

24 Sep 201526 Sep 2015

Activity: Talks and presentationsTalk or oral contributionScience to Science


Klein’s invariant-theoretic structuralism

Georg Schiemer (Speaker)

18 Sep 2015

Activity: Talks and presentationsTalk or oral contributionOther


Geometrical roots of model theory: duality and relative consistency

Georg Schiemer (Speaker)

9 Jul 2015

Activity: Talks and presentationsTalk or oral contributionScience to Science


The geometrical roots of model theory

Georg Schiemer (Speaker)

29 Jun 2015

Activity: Talks and presentationsTalk or oral contributionOther


Hilbert’s epsilon terms, Russell’s indefinites, and indexed epsilon terms

Georg Schiemer (Speaker)

10 Jun 201512 Jun 2015

Activity: Talks and presentationsTalk or oral contributionScience to Science


Husserl and Carnap on Completeness

Georg Schiemer (Speaker)

5 Jun 2015

Activity: Talks and presentationsTalk or oral contributionOther


What is theoretical truth

Georg Schiemer (Speaker)

23 Apr 201524 Apr 2015

Activity: Talks and presentationsTalk or oral contributionScience to Science


"Two approaches to theoretical truth"

Georg Schiemer (Speaker)

13 Apr 2015

Activity: Talks and presentationsTalk or oral contributionOther


The structuralist thesis

Georg Schiemer (Speaker)

18 Mar 201521 Mar 2015

Activity: Talks and presentationsTalk or oral contributionScience to Science


Carnap on logicism and structuralism

Georg Schiemer (Speaker)

16 Mar 2015

Activity: Talks and presentationsTalk or oral contributionScience to Science


Carnap's Early Metatheory

Georg Schiemer (Speaker)

27 Feb 2015

Activity: Talks and presentationsTalk or oral contributionOther


Structuralism and structural properties

Georg Schiemer (Speaker)

11 Dec 201412 Dec 2014

Activity: Talks and presentationsTalk or oral contributionScience to Science


What are structural properties?

Georg Schiemer (Speaker)

8 Jul 2014

Activity: Talks and presentationsTalk or oral contributionScience to Science


Carnap on invariants and model structures

Georg Schiemer (Speaker)

4 Jun 2014

Activity: Talks and presentationsTalk or oral contributionScience to Science


Workshop "The Prehistory of Mathematical Structuralism"

Georg Schiemer (Speaker)

4 Jun 2014

Activity: Talks and presentationsTalk or oral contributionOther


What are structural properties?

Georg Schiemer (Speaker)

29 May 201431 May 2014

Activity: Talks and presentationsTalk or oral contributionScience to Science


Carnap’s Gabelbarkeitssatz reconsidered

Georg Schiemer (Speaker)

16 Apr 201420 Apr 2014

Activity: Talks and presentationsTalk or oral contributionScience to Science


Husserl and Carnap on Completeness

Georg Schiemer (Speaker)

24 Jan 2014

Activity: Talks and presentationsTalk or oral contributionOther


Zwei Metatheoreme von Carnap

Georg Schiemer (Speaker)

17 Jan 2014

Activity: Talks and presentationsTalk or oral contributionOther


Strukturelle Eigenschaften

Georg Schiemer (Speaker)

2 Dec 2013

Activity: Talks and presentationsTalk or oral contributionOther


The epsilon-reconstruction of theories and scientific structuralism

Georg Schiemer (Speaker)

28 Aug 201331 Aug 2013

Activity: Talks and presentationsTalk or oral contributionOther


Weyl on Brouwer - Reply to Toader

Georg Schiemer (Speaker)

21 Jun 2013

Activity: Talks and presentationsTalk or oral contributionOther


Invariants and mathematical structuralism

Georg Schiemer (Speaker)

30 May 2013

Activity: Talks and presentationsTalk or oral contributionOther


Semantics in type theory

Georg Schiemer (Speaker)

15 May 2013

Activity: Talks and presentationsTalk or oral contributionOther


The epsilon-reconstruction of theories and scientific structuralism

Georg Schiemer (Speaker)

4 Apr 2013

Activity: Talks and presentationsTalk or oral contributionOther


Carnap’s mathematical structuralism

Georg Schiemer (Speaker)

21 Nov 2012

Activity: Talks and presentationsTalk or oral contributionScience to Science


Invariants and mathematical structuralism

Georg Schiemer (Speaker)

15 Oct 2012

Activity: Talks and presentationsTalk or oral contributionOther


Carnap’s mathematical structuralism

Georg Schiemer (Speaker)

21 Jun 201224 Jun 2012

Activity: Talks and presentationsTalk or oral contributionScience to Science


Semantics in type theory

Georg Schiemer (Speaker)

6 Dec 2011

Activity: Talks and presentationsTalk or oral contributionScience to Science


Carnap, Tarski und frühe Modelltheorie

Georg Schiemer (Speaker)

2 Jun 2011

Activity: Talks and presentationsTalk or oral contributionOther


Carnap’s Explizitbegriffe: axiomatics, structuralism, logicism

Georg Schiemer (Speaker)

18 Nov 2010

Activity: Talks and presentationsTalk or oral contributionOther


Hintikka and Hilbert on quantification

Georg Schiemer (Speaker)

18 Oct 2010

Activity: Talks and presentationsTalk or oral contributionOther


Carnap’s Explizitbegriffe: axiomatics, structuralism, logicism

Georg Schiemer (Speaker)

28 Jun 2010

Activity: Talks and presentationsTalk or oral contributionOther


Carnap's Reception of Fraenkel's Axiom of Restriction

Georg Schiemer (Speaker)

27 Jun 2010

Activity: Talks and presentationsTalk or oral contributionOther


Carnap’s reception of Fraenkel’s axiom of restriction

Georg Schiemer (Speaker)

27 Jun 2010

Activity: Talks and presentationsTalk or oral contributionOther


Carnap’s Explizitbegriffe: axiomatics, structuralism, logicism

Georg Schiemer (Speaker)

5 Mar 2010

Activity: Talks and presentationsTalk or oral contributionOther


Department of Philosophy

Universitätsstraße 7 (NIG)
1010 Wien
Room: C0216

T: +43-1-4277-46482

georg.schiemer@univie.ac.at