First Order Expressivist Logic
2013 (English)In: Erkenntnis, ISSN 0165-0106, E-ISSN 1572-8420, Vol. 78, no 6, 1381-1403 p.Article in journal (Refereed) Published
This paper provides finitary jointly necessary and sufficient acceptance and rejection conditions for the logical constants of a first order quantificational language. By introducing the notion of making an assignment as a distinct object level practice-something you do with a sentence-(as opposed to a meta-level semantic notion) and combining this with the practice of (hypothetical and categorical) acceptance and rejection and the practice of making suppositions one gains a structure that is sufficiently rich to fully characterize the class of classical first order theories. The analysis thus provides a way of characterizing classical first order quantification by expressivist means.
Place, publisher, year, edition, pages
2013. Vol. 78, no 6, 1381-1403 p.
Philosophy, Ethics and Religion
IdentifiersURN: urn:nbn:se:kth:diva-140092DOI: 10.1007/s10670-012-9421-4ISI: 000328839900009ScopusID: 2-s2.0-84890867159OAI: oai:DiVA.org:kth-140092DiVA: diva2:688726
QC 201401172014-01-172014-01-172014-01-21Bibliographically approved