David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 148 (3):639 - 657 (2006)
In standard model theory, deductions are not the things one models. But in general proof theory, in particular in categorial proof theory, one finds models of deductions, and the purpose here is to motivate a simple example of such models. This will be a model of deductions performed within an abstract context, where we do not have any particular logical constant, but something underlying all logical constants. In this context, deductions are represented by arrows in categories involved in a general adjoint situation. To motivate the notion of adjointness, one of the central notions of category theory, and of mathematics in general, it is first considered how some features of it occur in set-theoretical axioms and in the axioms of the lambda calculus. Next, it is explained how this notion arises in the context of deduction, where it characterizes logical constants. It is shown also how the categorial point of view suggests an analysis of propositional identity. The problem of propositional identity, i.e., the problem of identity of meaning for propositions, is no doubt a philosophical problem, but the spirit of the analysis proposed here will be rather mathematical. Finally, it is considered whether models of deductions can pretend to be a semantics. This question, which as so many questions having to do with meaning brings us to that wall that blocked linguists and philosophers during the whole of the twentieth century, is merely posed. At the very end, there is the example of a geometrical model of adjunction. Without pretending that it is a semantics, it is hoped that this model may prove illuminating and useful.
|Keywords||Philosophy Philosophy Epistemology Logic Metaphysics Philosophy of Language|
No categories specified
(categorize this paper)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Kosta Dosen (2006). Models of Deduction. Synthese 148 (3):639 - 657.
Dermot Cassidy (2013). The Logical Deduction of Doctrine. Heythrop Journal 54 (2):203-213.
Stephan Hartmann & Roman Frigg (2006). Models in Science. In Ed Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford
C. Ulises Moulines (2006). Ontology, Reduction, Emergence: A General Frame. Synthese 151 (3):313-323.
James W. Garson (2010). Expressive Power and Incompleteness of Propositional Logics. Journal of Philosophical Logic 39 (2):159-171.
Sjoerd D. Zwart (2005). Updating Theories. Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):375-395.
Karlis Podnieks (2012). Freges Puzzle From a Model-Based Point of View. The Reasoner 6 (1):5--6.
H. P. Barendregt (1984). The Lambda Calculus: Its Syntax and Semantics. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..
Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi (2010). Proof-Theoretic Semantics for Subsentential Phrases. Studia Logica 94 (3):381 - 401.
Matt Kaufmann (1983). Blunt and Topless End Extensions of Models of Set Theory. Journal of Symbolic Logic 48 (4):1053-1073.
M. Randall Holmes (1995). The Equivalence of NF-Style Set Theories with "Tangled" Theories; the Construction of Ω-Models of Predicative NF (and More). Journal of Symbolic Logic 60 (1):178-190.
Mark L. Taper, David F. Staples & Bradley B. Shepard (2008). Model Structure Adequacy Analysis: Selecting Models on the Basis of Their Ability to Answer Scientific Questions. Synthese 163 (3):357 - 370.
L. Taper Mark, F. Staples David & B. Shepard Bradley (2008). Model Structure Adequacy Analysis: Selecting Models on the Basis of Their Ability to Answer Scientific Questions. Synthese 163 (3).
Andreas Blass (1981). The Model of Set Theory Generated by Countably Many Generic Reals. Journal of Symbolic Logic 46 (4):732-752.
Added to index2011-05-29
Total downloads5 ( #528,910 of 1,934,424 )
Recent downloads (6 months)1 ( #434,207 of 1,934,424 )
How can I increase my downloads?