✦ LIBER ✦

Beyond Logical Form

✍ Scribed by Brendan Jackson

Book ID: 106495481
Publisher: Springer Netherlands
Year: 2006
Tongue: English
Weight: 264 KB
Volume: 132
Category: Article
ISSN: 0031-8116
DOI: 10.1007/s11098-005-2466-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Comments on logical form

✍ Yehoshua Bar-Hillel 📂 Article 📅 1951 🏛 Springer Netherlands 🌐 English ⚖ 262 KB

Berkeley in logical form

✍ A. N. PRIOR 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 234 KB

Context and Logical Form

✍ Jason Stanley 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 164 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

Truth and logical form

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