Gutscheinbedingungen

**Gültig am 28.06.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads (außer Abo), nicht preisgebundene Bücher und Kalender online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind preisgebundene Artikel, Abos & Flatrates, eBooks, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.

Produktbild: The Architecture and Archaeology of Modern Logic
Band 61 - 16%

The Architecture and Archaeology of Modern Logic Studies Dedicated to Göran Sundholm

16% sparen

146,99 € UVP 175,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

03.10.2024

Herausgeber

Ansten Klev

Verlag

Springer

Seitenzahl

510

Maße (L/B/H)

24,1/16/3,4 cm

Gewicht

934 g

Sprache

Englisch

ISBN

978-3-031-52410-3

Beschreibung

Portrait

Ansten Klev is a researcher in the Institute of Philosophy at the Czech Academy of Sciences in Prague, where has been since 2015. Before moving to Prague, he obtained a PhD in philosophy under Göran Sundholm at Leiden University. Most of his work concerns philosophical aspects of Per Martin-Löf's constructive type theory. A topic of special interest, on which he has published a number of articles, has been the treatment of identity within this type theory. His other research interests include the philosophies of logic and mathematics more broadly, as well as the words and works of Rudolf Carnap, Richard Dedekind, Gottlob Frege, and Edmund Husserl.

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

03.10.2024

Herausgeber

Ansten Klev

Verlag

Springer

Seitenzahl

510

Maße (L/B/H)

24,1/16/3,4 cm

Gewicht

934 g

Sprache

Englisch

ISBN

978-3-031-52410-3

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • Produktbild: The Architecture and Archaeology of Modern Logic
  • Chapter 1: A brief summary of Göran Sundholm's philosophical work.- Chapter 2: Formative experiences.- Chapter 3: Bibliography.- Chapter 4: Epistemic assumptions: Are they assumed to be backwards vindicated or forwards vindicable?.- Chapter 5: Dialogical logic and constructive type theory: New explorations.- Chapter 6:  Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics.- Chapter 7: How to classify varieties of consequence.- Chapter 8: Informal classical and intuitionistic proofs together.- Chapter 9: Judgmental and definitional equality from a Fregean perspective.- Chapter 10: "Sind die Zahlformeln beweisbar?".- Chapter 11: Handling mobility failures by modal types.- Chapter 12: The ideal of unity of science tested against the Liar.- Chapter 13: Vindicating the future: A dialogical stance on Belnap's approach to tomorrow's sea battle.- Chapter 14: Goodbye Oxhead. Prolegomena to the philosophy of the letter.- Chapter 15: Logical deducibility and logicality in 1837.- Chapter 16: Frege on knowing the fundamental laws of logic.- Chapter 17: Sundholm on Wittgenstein and Realism.- Chapter 18: Becker's rule is not Becker's rule.- Chapter 19: Judgment and commitment.- Chapter 20: Natural constructive proofs of A via A ¿ B, proof paradoxes, and impredicativity.- Chapter 21: Gastronomical Platonism.