𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Reality and logical form

✍ Scribed by André Maury

Publisher
Springer Netherlands
Year
1983
Tongue
English
Weight
585 KB
Volume
56
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Truth and logical form
Truth and logical form
✍ Robert Cummins 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 939 KB
Logical form and agency
Logical form and agency
✍ Douglas Walton 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 760 KB

A good deal of Donald Davidson's important and widely influential paper, 'The Logical Form of Action Sentences', 1 is taken up with demonstrating the failure of the Kenny-Chisholm-von Wright style 2 account of the syntax of agency to adequately cope with a varied collection of problems. The approach

Subtyping in Logical Form
Subtyping in Logical Form
✍ Ugo de'Liguoro 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 216 KB

By using intersection types and filter models we formulate a theory of types for a λ-calculus with record subtyping via a finitary programming logic. Types are interpreted as spaces of filters over a subset of the language of properties (the intersection types) which describes the underlying type fr

Deep structure as logical form
Deep structure as logical form
✍ Gilbert Harman 📂 Article 📅 1970 🏛 Springer Netherlands 🌐 English ⚖ 994 KB

A transformational derivation of a sentence is a sequence of labeled phrase structure trees. The last tree in the sequence represents the surface structure of the sentence. The first tree represents the deep structure of the sentence# Each later tree is derived from its predecessor via the applicati