default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSynthese, Volume 148
Volume 148, Number 1, January 2006
- Johan van Benthem, Vincent F. Hendricks, John Symons:
Editorial. 1-3 - Stefano Predelli:
The Problem with Token-reflexivity. 5-29 - Paul Tomassi:
Truth, Warrant and Superassertibility. 31-56 - Francesco Orilia
:
Quantum-mechanical Statistics and the Inclusivist Approach to the Nature of Particulars. 57-77 - Manuel de Pinedo:
Anomalous Monism: Oscillating between Dogmas. 79-97 - O. Bradley Bassler:
The Surveyability of Mathematical Proof: A Historical Perspective. 99-133 - José L. Zalabardo:
Bonjour, Externalism and The Regress Problem. 135-169 - Matthias Schirn:
Hume's Principle and Axiom V Reconsidered: Critical Reflections on Frege and His Interpreters. 171-227 - Amos Nathan:
Probability Dynamics. 229-256
Volume 148, Number 2, January 2006
- Prasanta S. Bandyopadhyay, Gordon G. Brittan:
Acceptibility, Evidence, and Severity. 259-293 - P. D. Magnus:
What's New about the New Induction? 295-301 - Baron Reed:
Shelter for the Cognitively Homeless. 303-308 - Peter Zahn:
A Normative Model of Classical Reasoning in Higher Order Languages. 309-343 - Hans Johann Glock:
Truth in the Tractatus. 345-368 - Sungho Choi:
The Simple Vs. Reformed Conditional Analysis of Dispositions. 369-379 - Steven Weinstein:
Superluminal Signaling and Relativity. 381-399 - Mark Moyer:
Statues and Lumps: A Strange Coincidence? 401-423 - Sven Ove Hansson:
Category-specified Value Statements. 425-432 - Jon Pérez Laraudogoitia:
A Look at the Staccato Run. 433-441 - John Earman:
Two Challenges to the Requirement of Substantive General Covariance. 443-468 - Eugen Fischer:
Philosophical Pictures. 469-501
Volume 148, Number 3, February 2006
- Reinhard Kahle, Peter Schroeder-Heister:
Introduction: Proof-theoretic Semantics. 503-506 - Dag Prawitz:
Meaning Approached Via Proofs. 507-524 - Peter Schroeder-Heister:
Validity Concepts in Proof-theoretic Semantics. 525-571 - Patrizio Contu:
The Justification of the Logical Laws Revisited. 573-588 - Lars Hallnäs:
On the Proof-theoretic Foundation of General Definition Theory. 589-602 - William W. Tait:
Proof-theoretic Semantics for Classical Mathematics. 603-622 - Göran Sundholm:
Semantic Values for Natural Deduction Derivations. 623-638 - Kosta Dosen:
Models of Deduction. 639-657 - Reinhard Kahle:
A Proof-theoretic View of Necessity. 659-673 - Gabriele Usberti:
Towards a Semantics Based on the Notion of Justification. 675-699 - Grigori Mints:
Notes on Constructive Negation. 701-717 - Michael Rathjen:
Theories and Ordinals in Proof Theory. 719-743
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-22 19:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
