- Minimalism and the generalisation problem: on Horwich’s second solution.Cezary Cieśliński - 2018 - Synthese 195 (3):1077-1101.details
|
|
(1 other version)A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.details
|
|
In defence of PKF.Ian Rumfitt - 2023 - Synthese 201 (2):1-21.details
|
|
Reflection algebras and conservation results for theories of iterated truth.Lev D. Beklemishev & Fedor N. Pakhomov - 2022 - Annals of Pure and Applied Logic 173 (5):103093.details
|
|
Proving that the Mind Is Not a Machine?Johannes Stern - 2018 - Thought: A Journal of Philosophy 7 (2):81-90.details
|
|
Truth is Simple.Leon Horsten & Graham E. Leigh - 2016 - Mind:fzv184.details
|
|
All sets great and small: And I do mean ALL.Stewart Shapiro - 2003 - Philosophical Perspectives 17 (1):467–490.details
|
|
Some Notes on Truths and Comprehension.Thomas Schindler - 2018 - Journal of Philosophical Logic 47 (3):449-479.details
|
|
Axiomatic Theories of Partial Ground II: Partial Ground and Hierarchies of Typed Truth.Johannes Korbmacher - 2018 - Journal of Philosophical Logic 47 (2):193-226.details
|
|
(1 other version)The proof-theoretic analysis of Σ11 transfinite dependent choice.Christian Rüede - 2003 - Annals of Pure and Applied Logic 122 (1-3):195-234.details
|
|
Simplicity and incompleteness.Panu Raatikainen - 1998 - Synthese 116 (3):357-364.details
|
|
The Implicit Commitment of Arithmetical Theories and Its Semantic Core.Carlo Nicolai & Mario Piazza - 2019 - Erkenntnis 84 (4):913-937.details
|
|
(1 other version)Gaps, gluts, and theoretical equivalence.Carlo Nicolai - 2022 - Synthese 200 (5):1-22.details
|
|
Equivalences for Truth Predicates.Carlo Nicolai - 2017 - Review of Symbolic Logic 10 (2):322-356.details
|
|
Stable and Unstable Theories of Truth and Syntax.Beau Madison Mount & Daniel Waxman - 2021 - Mind 130 (518):439-473.details
|
|
(1 other version)Naive Infinitism: The Case for an Inconsistency Approach to Infinite Collections.Toby Meadows - 2015 - Notre Dame Journal of Formal Logic 56 (1):191-212.details
|
|
(1 other version)S. Feferman. Reflecting on incompleteness. The Journal of Symbolic Logic, vol. 56 , no. 1, pp. 1–49. - W. N. Reinhardt. Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, vol. 15 , no. 2, pp. 219–251. - V. Halbach and L. Horsten. Axiomatizing Kripke’s theory of truth. The Journal of Symbolic Logic, vol. 71 , no. 2, pp. 667–712 - H. Friedman and M. Sheard. An axiomatic approach to self-referential truth.Annals of Pure and Applied Logic, vol. 33 , no. 1, pp. 1–21. - V. Halbach. A system of complete and consistent truth. Notre Dame Journal of Formal Logic, vol. 35 , no. 3, pp. 311–327. [REVIEW]Graham E. Leigh - 2010 - Bulletin of Symbolic Logic 16 (3):424-428.details
|
|
The Groundedness Approach to Class Theory.Jönne Kriener - 2014 - Inquiry: An Interdisciplinary Journal of Philosophy 57 (2):244-273.details
|
|
On reflection principles.Peter Koellner - 2009 - Annals of Pure and Applied Logic 157 (2-3):206-219.details
|
|
Fixed point theories and dependent choice.Gerhard Jäger & Thomas Strahm - 2000 - Archive for Mathematical Logic 39 (7):493-508.details
|
|
A proof-theoretic framework for logic programming.Gerhard Jäger & Robert F. Stärk - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 639--682.details
|
|
The Substitutional Analysis of Logical Consequence.Volker Halbach - 2019 - Noûs 54 (2):431-450.details
|
|
Tarski hierarchies.Volker Halbach - 1995 - Erkenntnis 43 (3):339 - 367.details
|
|
(1 other version)Truth and reduction.Volker Halbach - 2000 - Erkenntnis 53 (1-2):97-126.details
|
|
(1 other version)A System Of Complete And Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (3):311-327.details
|
|
Fitch's Argument and Typing Knowledge.Alexander Paseau - 2008 - Notre Dame Journal of Formal Logic 49 (2):153-176.details
|
|
Epistemic optimism.Mihai Ganea - 2008 - Philosophia Mathematica 16 (3):333-353.details
|
|
Slow reflection.Anton Freund - 2017 - Annals of Pure and Applied Logic 168 (12):2103-2128.details
|
|
Short Proofs for Slow Consistency.Anton Freund & Fedor Pakhomov - 2020 - Notre Dame Journal of Formal Logic 61 (1):31-49.details
|
|
An Open Formalism against Incompleteness.Francesc Tomàs - 1999 - Notre Dame Journal of Formal Logic 40 (2):207-226.details
|
|
Absolutely general knowledge.Rachel Elizabeth Fraser & Beau Madison Mount - 2020 - Philosophy and Phenomenological Research 103 (3):547-566.details
|
|
Compositional Principles vs. Schematic Reasoning.Hartry Field - 2006 - The Monist 89 (1):9-27.details
|
|
A Structured Argumentation Framework for Modeling Debates in the Formal Sciences.Marcos Cramer & Jérémie Dauphin - 2020 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (2):219-241.details
|
|
The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.details
|
|
Unifying the Philosophy of Truth.Theodora Achourioti, Henri Galinon, José Martínez Fernández & Kentaro Fujimoto (eds.) - 2015 - Dordrecht, Netherland: Springer.details
|
|
(1 other version)Axiomatizing Truth: How and Why.Solomon Feferman - unknowndetails
|
|
(1 other version)Predicativity.Solomon Feferman - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press. pp. 590-624.details
|
|