Cover Image

Peter Schroeder-Heister on Proof-Theoretic Semantics /

This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter...

Full description

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Piecha, Thomas (Editor), Wehmeier, Kai F. (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edition:	1st ed. 2024.
Series:	Outstanding Contributions to Logic, 29
Subjects:	Philosophy. Logic. Language and languages > Philosophy. Mathematics > Philosophy. Mathematical logic. Linguistics. Philosophy of Language. Philosophy of Mathematics. Mathematical Logic and Foundations. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Advances in Proof-Theoretic Semantics /
Published: (2016)

Handbook of Philosophical Logic : Volume III: Alternatives in Classical Logic /
by: Gabbay, D.
Published: (1986)

The Frege reader /
by: Frege, Gottlob, 1848-1925
Published: (1997)

An Essay in Universal Semantics /
by: Varzi, Achille C.
Published: (1999)

Logic in linguistics /
by: Allwood, Jens S., 1947-
Published: (1977)

Vagueness : An Investigation into Natural Languages and the Sorites Paradox /
by: Burns, Linda Claire
Published: (1991)

Constructive philosophy /
by: Lorenzen, Paul, 1915-1994
Published: (1987)

Constructive philosophy /
by: Lorenzen, Paul, 1915-1994
Published: (1987)

Logic, Meaning and Computation : Essays in Memory of Alonzo Church /
by: Anderson, C. Anthony
Published: (2001)

Proof Theory : History and Philosophical Significance /
by: Hendricks, Vincent F.
Published: (2000)

Logic, semantics, metamathematics : papers from 1923 to 1938 /
by: Tarski, Alfred, 1901-1983
Published: (1956)

On proof for the existence of God, and other reflective inquiries /
by: Vjecsner, Paul
Published: (1988)

Word and object /
by: Quine, W. V. (Willard Van Orman)
Published: (2013)

From signs to propositions : the concept of form in eighteenth-century semantic theory /
by: Land, Stephen K.
Published: (1974)

The Mathematical Representation of Physical Reality /
by: Hacyan, Shahen
Published: (2023)

Word and object.
by: Quine, W. V. (Willard Van Orman)
Published: (1960)

Major works : selected philosophical writings /
by: Wittgenstein, Ludwig, 1889-1951
Published: (2009)

Mind, Meaning and Mathematics : Essays on the Philosophical Views of Husserl and Frege /
by: Haaparanta, Leila
Published: (1994)

The Philosophy of Michael Dummett /
by: McGuinness, Brian
Published: (1994)

Tractatus logico-philosophicus. : The German text Logisch-philosophische Abhandlung /
by: Wittgenstein, Ludwig, 1889-1951
Published: (1961)

Prototractatus ; an early version of Tractatus logico-philosophicus /
by: Wittgenstein, Ludwig, 1889-1951
Published: (1971)

Notebooks, 1914-1916 /
by: Wittgenstein, Ludwig, 1889-1951
Published: (1979)

Tractatus logico-philosophicus /
by: Wittgenstein, Ludwig, 1889-1951
Published: (1922)

Tractatus logico-philosophicus /
by: Wittgenstein, Ludwig, 1889-1951
Published: (2001)

Logik fur Linguisten /
by: Allwood, Jens S., 1947-
Published: (1973)

Proofs and refutations : the logic of mathematical discovery /
by: Lakatos, Imre, 1922-1974
Published: (1976)

Doing Worlds with Words : Formal Semantics without Formal Metaphysics /
by: Peregrin, Jaroslav
Published: (1995)

Truth through proof : a formalist foundation for mathematics /
by: Weir, Alan
Published: (2010)

Truth through proof : a formalist foundation for mathematics /
by: Weir, Alan
Published: (2010)

Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics /
by: Tranchini, Luca
Published: (2024)

Intensionality : lecture notes in logic 22 /
Published: (2005)

The Lvov-Warsaw School and Contemporary Philosophy /
by: Kijania-Placek, Katarzyna
Published: (1998)

Lingua universalis vs. calculus ratiocinator : an ultimate presupposition of twentieth-century philosophy /
by: Hintikka, Jaakko, 1929-2015
Published: (1997)

The Logical Writings of Karl Popper /
Published: (2022)

Introduction to semantics : and Formalization of logic.
by: Carnap, Rudolf, 1891-1970
Published: (1959)

A primer of formal logic /
by: Cooley, John Cleveland, 1903-
Published: (1942)

First-Order Modal Logic /
by: Fitting, Melvin
Published: (1998)

Multi-Dimensional Modal Logic /
by: Marx, Maarten
Published: (1997)

Logic, semantics, metamathematics : papers from 1923 to 1938 /
by: Tarski, Alfred, 1901-1983
Published: (1983)

The Oxford handbook of philosophy of mathematics and logic /
Published: (2005)