- Quine's Conception of Explication: and Why It Isn't Carnap's.Martin Gustafsson - 2013 - In Gilbert Harman & Ernest LePore (eds.), A Companion to W. V. O. Quine. Wiley-Blackwell.details
|
|
Logical foundations of probability.Rudolf Carnap - 1950 - Chicago]: Chicago University of Chicago Press.details
|
|
Measuring the Size of Infinite Collections of Natural Numbers: Was Cantor’s Theory of Infinite Number Inevitable?Paolo Mancosu - 2009 - Review of Symbolic Logic 2 (4):612-646.details
|
|
Conceptions of Set and the Foundations of Mathematics.Luca Incurvati - 2020 - Cambridge University Press.details
|
|
Introduction.Johan van Benthem, Theo Kuipers & Henk Visser - 2011 - Synthese 179 (2):203-206.details
|
|
Kolmogorov and mathematical logic.Vladimir A. Uspensky - 1992 - Journal of Symbolic Logic 57 (2):385-412.details
|
|
Solvable and Unsolvable Problems.A. M. Turing - 1955 - Journal of Symbolic Logic 20 (1):74-74.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
Was Carnap entirely wrong, after all?Howard Stein - 1992 - Synthese 93 (1-2):275-295.details
|
|
Squeezing arguments.P. Smith - 2011 - Analysis 71 (1):22-30.details
|
|
A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.details
|
|
Step by recursive step: Church's analysis of effective calculability.Wilfried Sieg - 1997 - Bulletin of Symbolic Logic 3 (2):154-180.details
|
|
An Abstract Model For Parallel Computations: Gandy’s Thesis.Wilfried Sieg & John Byrnes - 1999 - The Monist 82 (1):150-164.details
|
|
X - Phi and Carnapian Explication.Joshua Shepherd & James Justus - 2015 - Erkenntnis 80 (2):381-402.details
|
|
Can Church’s thesis be viewed as a Carnapian explication?Paula Quinon - 2019 - Synthese 198 (Suppl 5):1047-1074.details
|
|
Formal Reductions of the General Combinatorial Decision Problem.Emil L. Post - 1943 - Journal of Symbolic Logic 8 (1):50-52.details
|
|
Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization.Catarina Dutilh Novaes & Erich Reck - 2017 - Synthese 194 (1):195-215.details
|
|
S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 (1935–1936), S. 727–742.S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):38-38.details
|
|
Carnap on concept determination: methodology for philosophy of science. [REVIEW]James Justus - 2012 - European Journal for Philosophy of Science 2 (2):161-179.details
|
|
The Tarskian Turn: Deflationism and Axiomatic Truth.Leon Horsten - 2011 - MIT Press.details
|
|
An explication of 'explication'.Joseph F. Hanna - 1968 - Philosophy of Science 35 (1):28-44.details
|
|
The concept of logical consequence.John Etchemendy - 1990 - Cambridge, Mass.: Harvard University Press.details
|
|
A natural axiomatization of computability and proof of Church’s thesis.Nachum Dershowitz & Yuri Gurevich - 2008 - Bulletin of Symbolic Logic 14 (3):299-350.details
|
|
Explicating ‘Explication’ via Conceptual Spaces.Matteo De Benedetto - 2020 - Erkenntnis 87 (2):853-889.details
|
|
Explicating ‘Explication’ via Conceptual Spaces.Matteo De Benedetto - 2022 - Erkenntnis 87 (2):853-889.details
|
|
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.details
|
|
The Logical Foundations of Probability. [REVIEW]Rudolf Carnap - 1950 - Journal of Philosophy 60 (13):362-364.details
|
|
An Abstract Model For Parallel Computations.John Byrnes - 1999 - The Monist 82 (1):150-164.details
|
|
Explication as a Method of Conceptual Re-engineering.Georg Brun - 2016 - Erkenntnis 81 (6):1211-1241.details
|
|
Conceptual re-engineering: from explication to reflective equilibrium.Georg Brun - 2020 - Synthese 197 (3):925-954.details
|
|
Carnap's ideal of explication and naturalism.Pierre Wagner (ed.) - 2012 - New York, NY: Palgrave-Macmillan.details
|
|
Carnap and Twentieth-Century Thought: Explication as Enlightenment.A. W. Carus - 2007 - New York: Cambridge University Press.details
|
|
On formal and informal provability.Hannes Leitgeb - 2009 - In Ø. Linnebo O. Bueno (ed.), New Waves in Philosophy of Mathematics. pp. 263--299.details
|
|
What is an algorithm.Yuri Gurevich - 2012 - Lecture Notes in Computer Science.details
|
|
Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.details
|
|
Logical Foundations of Probability.Rudolf Carnap - 1950 - Mind 62 (245):86-99.details
|
|
Carnap’s Views on Conceptual Systems versus Natural Languages in Analytic Philosophy.Peter F. Strawson - 1963 - In Paul Arthur Schilpp (ed.), The Philosophy of Rudolf Carnap. Open Court: La Salle. pp. 503--518.details
|
|
Carnapian Explication : A Case Study and Critique.Erich Reck - 2012 - In Pierre Wagner (ed.), Carnap's Ideal of Explication and Naturalism. London: Palgrave-Macmillan. pp. 96--116.details
|
|
The Concept of Logical Consequence.John Etchemendy - 1990 - Mind 100 (3):382-385.details
|
|
Church's Thesis and Principles for Mechanisms.Robin Gandy - 1980 - In The Kleene Symposium. North-Holland. pp. 123--148.details
|
|
Foundational analyses of computation.Yuri Gurevich - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 264--275.details
|
|
Calculations by Man and Machine: Conceptual Analysis.Wilfried Sieg - unknowndetails
|
|
The Concept of Logical Consequence.John Etchemendy - 1994 - Erkenntnis 41 (2):281-284.details
|
|
An Introduction to Gödel's Theorems.Peter Smith - 2009 - Bulletin of Symbolic Logic 15 (2):218-222.details
|
|
Calculations by Man and Machine: Mathematical Presentation.Wilfried Sieg - unknowndetails
|
|
K-Graph Machines: Generalizing Turing's Machines and Arguments.Wilfried Sieg & John Byrnes - unknowndetails
|
|