First Order Expressivist Logic

• 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.

Ämnesord

HUMANIORA  -- Filosofi, etik och religion (hsv//swe)

HUMANITIES  -- Philosophy, Ethics and Religion (hsv//eng)

Publikations- och innehållstyp

ref (ämneskategori)

art (ämneskategori)