Webbläsaren som du använder stöds inte av denna webbplats. Alla versioner av Internet Explorer stöds inte längre, av oss eller Microsoft (läs mer här: * https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Var god och använd en modern webbläsare för att ta del av denna webbplats, som t.ex. nyaste versioner av Edge, Chrome, Firefox eller Safari osv.

The Logical Structure of Truthmaking

In English

Författare

  • Staffan Angere

Summary, in English

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.

Avdelning/ar

Publiceringsår

2015

Språk

Engelska

Sidor

351-374

Publikation/Tidskrift/Serie

Journal of Philosophical Logic

Volym

44

Issue

4

Dokumenttyp

Artikel i tidskrift

Förlag

Springer

Ämne

  • Philosophy

Nyckelord

  • Truthmaking
  • Nondeterministic necessitation
  • Logic-world connection

Status

Published

ISBN/ISSN/Övrigt

  • ISSN: 0022-3611