truthmakers for 1st order sentences - a proposal

Archive.Org (2020)
Download Edit this record How to cite View on PhilPapers
Abstract
The purpose of this paper is to communicate - as a proposal - a general method of assigning a 'truthmaker' to any 1st order sentence in each of its models. The respective construct is derived from the standard model theoretic (recursive) satisfaction definition for 1st order languages and is a conservative extension thereof. The heuristics of the proposal (which has been somewhat idiosyncratic from the current point of view) and some more technical detail of the construction may be found in my article on part I of Spinoza's `ethica, ordine geometrico demonstrata', which is the context within which I elaborated the assignment. But this context need not be repeated here, the presentation of the truthmaker assignment will be comprehensible to anybody with solid basic knowledge in 1st order model theory, anything used is standard and no advanced techniques are required.
PhilPapers/Archive ID
GRATFS-4
Upload history
Archival date: 2020-08-24
View other versions
Added to PP index
2020-08-24

Total views
99 ( #44,506 of 2,448,598 )

Recent downloads (6 months)
23 ( #28,126 of 2,448,598 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.