Advanced

The Logical Structure of Truthmaking

Angere, Staffan LU (2015) In Journal of Philosophical Logic 44(4). p.351-374
Abstract
This paper is an investigation in the use of truthmaker theory for exploring the relation of logic to world, and as a tool for metaphysics. A variant of truthmaker theory, which we call the simple theory, is defined and defended against objections. It is characterized formally, and its central features are derived. As part of this project, we give a formal metaphysics based on nondeterministic necessitation relations among possible entities. In what is called the fundamental theorem of truthmaking, it is shown that, as long as a logic is sound and complete, its inferential structure will be isomorphic to the necessitation structure of our metaphysics. We thus arrive at a purely structural logic-world relationship which can be used for... (More)
This paper is an investigation in the use of truthmaker theory for exploring the relation of logic to world, and as a tool for metaphysics. A variant of truthmaker theory, which we call the simple theory, is defined and defended against objections. It is characterized formally, and its central features are derived. As part of this project, we give a formal metaphysics based on nondeterministic necessitation relations among possible entities. In what is called the fundamental theorem of truthmaking, it is shown that, as long as a logic is sound and complete, its inferential structure will be isomorphic to the necessitation structure of our metaphysics. We thus arrive at a purely structural logic-world relationship which can be used for metaphysical investigations. Other products of our investigation are a sound and complete semantics for first-order logic with identity and a solution to a result of Restall (Australian Journal of Philosophy, 74, 331-340, 1996) which has threatened to make truthmaker theory trivial. (Less)
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Contribution to journal
publication status
published
subject
keywords
Truthmaking, Nondeterministic necessitation, Logic-world connection
in
Journal of Philosophical Logic
volume
44
issue
4
pages
351 - 374
publisher
Springer
external identifiers
  • wos:000358784600001
  • scopus:84938586678
ISSN
0022-3611
DOI
10.1007/s10992-014-9323-9
language
English
LU publication?
yes
id
ced6ef5f-5054-42bf-a7c1-4c6f22e58834 (old id 7978785)
date added to LUP
2015-09-24 15:07:44
date last changed
2017-01-01 03:15:24
@article{ced6ef5f-5054-42bf-a7c1-4c6f22e58834,
  abstract     = {This paper is an investigation in the use of truthmaker theory for exploring the relation of logic to world, and as a tool for metaphysics. A variant of truthmaker theory, which we call the simple theory, is defined and defended against objections. It is characterized formally, and its central features are derived. As part of this project, we give a formal metaphysics based on nondeterministic necessitation relations among possible entities. In what is called the fundamental theorem of truthmaking, it is shown that, as long as a logic is sound and complete, its inferential structure will be isomorphic to the necessitation structure of our metaphysics. We thus arrive at a purely structural logic-world relationship which can be used for metaphysical investigations. Other products of our investigation are a sound and complete semantics for first-order logic with identity and a solution to a result of Restall (Australian Journal of Philosophy, 74, 331-340, 1996) which has threatened to make truthmaker theory trivial.},
  author       = {Angere, Staffan},
  issn         = {0022-3611},
  keyword      = {Truthmaking,Nondeterministic necessitation,Logic-world connection},
  language     = {eng},
  number       = {4},
  pages        = {351--374},
  publisher    = {Springer},
  series       = {Journal of Philosophical Logic},
  title        = {The Logical Structure of Truthmaking},
  url          = {http://dx.doi.org/10.1007/s10992-014-9323-9},
  volume       = {44},
  year         = {2015},
}