caa a22 4500 60553909X CHVBK 20210128100905.0 cr unu---uuuuu 210128e20150801xx s 000 0 eng 10.1007/s10992-014-9323-9 doi (NATIONALLICENCE)springer-10.1007/s10992-014-9323-9 Angere Staffan Department of Philosophy, University of Lund, Lund, Sweden aut The Logical Structure of Truthmaking [Elektronische Daten] [Staffan Angere] 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. Springer Science+Business Media Dordrecht, 2014 Truthmaking nationallicence Nondeterministic necessitation nationallicence Logic-world connection nationallicence Journal of Philosophical Logic Springer Netherlands 44/4(2015-08-01), 351-374 0022-3611 44:4<351 2015 44 10992 https://doi.org/10.1007/s10992-014-9323-9 text/html Onlinezugriff via DOI BK010053 XK010053 XK010000 Metadata rights reserved Springer special CC-BY-NC licence nationallicence 1 research-article jats NATIONALLICENCE NATIONALLICENCE NL-springer NATIONALLICENCE 856 40 https://doi.org/10.1007/s10992-014-9323-9 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Angere Staffan Department of Philosophy, University of Lund, Lund, Sweden aut NATIONALLICENCE 773 0- Journal of Philosophical Logic Springer Netherlands 44/4(2015-08-01), 351-374 0022-3611 44:4<351 2015 44 10992