✦ LIBER ✦

Berkeley in logical form

✍ Scribed by A. N. PRIOR

Book ID: 114915925
Publisher: Wiley (Blackwell Publishing)
Year: 2008
Tongue: English
Weight: 234 KB
Volume: 21
Category: Article
ISSN: 1755-2567
DOI: 10.1111/j.1755-2567.1955.tb00252.x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Beyond Logical Form

✍ Brendan Jackson 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 264 KB

Logical Form in Natural Language

✍ TILES, J. E. 📂 Article 📅 2009 🏛 John Wiley and Sons ⚖ 205 KB

Continuous Domains in Logical Form

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

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