✦ LIBER ✦

Logical form and agency

✍ Scribed by Douglas Walton

Publisher: Springer Netherlands
Year: 1976
Tongue: English
Weight: 760 KB
Volume: 29
Category: Article
ISSN: 0031-8116
DOI: 10.1007/bf00355286

No coin nor oath required. For personal study only.

✦ Synopsis

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 repudiated by Davidson enjoins partitioning an action-sentence into an agent, a state of affairs, and an operation of bringing about: 'Socrates drops the cup'. becomes 'Socrates brings it about that the cup falls'. I call this style of analysis the Anselmian approach, arguing that not only can this approach deal wel[ enough with Davidson's problems to restore itself as an interesting subject of investigation, but in some respects it handles these problems so perspicuously that we can begin to see them in an entirely new perspective, one that is favorable to the Anselmian approach.

📜 SIMILAR VOLUMES

Truth and logical form

✍ Robert Cummins 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 939 KB

Reality and logical form

✍ André Maury 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 585 KB

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

Continuous Domains in Logical Form

✍ Mathias Kegelmann 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 109 KB

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

The logical form of determiners

✍ Peter Ludlow 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 997 KB