Click Here ">
Make your own free website on Tripod.com
« June 2007 »
S M T W T F S
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
You are not logged in. Log in
Entries by Topic
All topics  «
Counterfactuals
defl@tionism
GENERAL LOGIC
HUMAN SEMANTICS
Interconnections
PARACONSISTENCY
Polemics
SCIENCE & NEWS
Cognition & Epistemology
Notes on Pirah?
Ontology&possible worlds
PRAGMATICS
PROPAEDEUTICS
Syn-Sem Interface
Temporal Logic
Blog Tools
Edit your Blog
Build a Blog
RSS Feed
View Profile
Translate this
INTO JAPANESE
BROTHER BLOG
MAIEUTIKOS
LINGUISTIX&LOGIK, Tony Marmo's blog
Friday, 29 June 2007

On the Distinction between Relational and Functional Type Theory
 
By Paul E. Oppenheimer and Edward N. Zalta
 
It is commonly believed that it makes no difference whether one starts with relational types or functional types in formulating type theory, since one can either start with relations as primitive and represent functions as relations or start with functions as primitive and represent relations as functions. It is also commonly believed that the formula-based logic of relational type theory is equivalent to the term-based logic of functional type theory. However, in this paper, the authors argue that there are systems with logics that can be properly characterized in relational type theory, but not in functional type theory.
 
Source: Online Papers in Philosophy 

Posted by Tony Marmo at 17:08 BST
Updated: Friday, 29 June 2007 17:19 BST

View Latest Entries