Ass.-Prof. Mag. Mag. Dr. Georg Schiemer

Consultation hours: Dienstag, 11.30 - 12:30

https://sites.google.com/site/georgschiemeracademic/home

Winter term 2019
Summer term 2019
180050 SE Logic of Science
180051 SE Philosophy of Mathematics - Selected Topics
Winter term 2018

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




Schiemer, G 2019, Carnap's structuralist thesis. in The Prehistory of Mathematical Structuralism. Oxford University Press.

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

Schiemer, G 2019, Non-standard logicism. in The Handbook of Logical Empiricism. Routledge.


Schiemer, G & Reck, E 2019, The Prehistory of Mathematical Structuralism. Oxford University Press.

Schiemer, G 2019, Transfer principles, Klein's Erlangen Program, and methodological structuralism. in The Prehistory of Mathematical Structuralism. Oxford University Press.



















Schiemer, G 2010, Fraenkel’s axiom of restriction: axiom choice, intended models, and categoricity. in B van Kerkhove (ed.), Philosophical perspectives on mathematical practice. Texts in philosophy, vol. 12, College Publications, London, pp. 307-340.

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
F: +43-1-4277-846482

georg.schiemer@univie.ac.at