Architecture and Archaeology of Modern Logic

Chapter 1: A brief summary of Goeran 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.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Filosofia da linguagem
• História das idéias
• Filosofia: a lógica
• Filosofia

Philosophy of logic and Goeran Sundholm;History of modern logic and Goeran Sundholm;Goeran Sundholm on intuitionism;Martin-Loef type theory;Gottlob Frege and analytic philosophy;Goeran Sundholm;Goeran Sundholm and history of philosophy;Goeran Sundholm and philosophy of language