๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Intensional Logic in Extensional Language

โœ Scribed by Giere, Ronald


Book ID
105698134
Tongue
English
Weight
1 MB
Category
Fiction

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Representing knowledge in two distinct d
โœ Tetsuo Tomiyama; Paul J.W. ten Hagen ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 911 KB

This paper describes a theory of knowledge on which future CAD systems can stand. First, w.e present two distinct description methods, viz. extensional and intensional. Second, these two are compared in the context of CAD applications and their advantages and disadvantages are clarified. It is shown

ฮป-Normal forms in an intensional logic f
โœ Joyce Friedman; David S. Warren ๐Ÿ“‚ Article ๐Ÿ“… 1980 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 916 KB

Montague [7] translates English into a tensed intensional logic, an extension of the typed J-calculus. We prove that each translation reduces to a for-m~da without J-applications, unique to within change of bound variable. The proof has two main steps. We first prove that translations of :English p

[Lecture Notes in Computer Science] Logi
โœ Aloni, Maria; Kimmelman, Vadim; Roelofsen, Floris; Sassoon, Galit W.; Schulz, Ka ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 196 KB

This book contains the revised papers presented at the 8th Amsterdam Colloquium 2011, held in Amsterdam, The Netherlands, in December 2011. The 46 thoroughly refereed and revised contributions out of 137 submissions presented together with 2 invited talks are organized in five sections. The first se

Logical structures in language
โœ Chomsky, Noam ๐Ÿ“‚ Article ๐Ÿ“… 1957 ๐Ÿ› Wiley (John Wiley & Sons) โš– 748 KB
Intensional and extensional analogy item
โœ Roger Chaffin; Leslie Peirce; Isaac Bejar ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 740 KB

Is there a relationship between academic field and ability to use different types of semantic relation? Performance on two types of analogy item in the Graduate Record Examination (GRE) General Test was compared. Intensional relations are inherent in the meanings of the words and are based on shared