Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
4Activity

Table Of Contents

0 of .
Results for:
No results containing your search query
P. 1
Logic

Logic

Ratings: (0)|Views: 223 |Likes:
Published by Nifflheim

More info:

Published by: Nifflheim on Nov 08, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

04/19/2013

pdf

text

original

 
λ
w...
 
L
 
L

Christopher PottsUMass AmherstLSA Institute 2007, Stanford, July 1–3
M
,g,
c
 
June 14, 2007 Christopher PottsThis work is licensed under the Creative Commons Attribution-Noncommercial-ShareAlike3.0License. Toviewacopyofthislicense, visithttp:
 // 
creativecommons.org
 / 
licenses
 / 
by-nc-sa
 / 
3.0
 / 
or send a letterto CreativeCommons, 171 Second Street, Suite 300, San Francisco, California, 94105,USA.
 
Contents
1 About this course1
1.1 Ambitions and limitations. . . . . . . . . . . . . . . . . . . . . . . . . . 11.2 The language–logic connection. . . . . . . . . . . . . . . . . . . . . . . 21.3 Biases of this mini-course. . . . . . . . . . . . . . . . . . . . . . . . . . 31.4 Useful texts. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.5 Logic elsewhere in linguistics. . . . . . . . . . . . . . . . . . . . . . . . 41.6 Course requirements. . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2 Foundational concepts5
2.1 Truth conditions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52.2 Compositionality. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82.3 Models and talking about models. . . . . . . . . . . . . . . . . . . . . . 102.4 Direct and indirect interpretation. . . . . . . . . . . . . . . . . . . . . . 10
3 Technical preliminaries12
3.1 Sets. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123.2 Ordered tuples. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173.3 Relations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183.4 Functions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4 Propositional logic21
4.1 The usual presentation of PL. . . . . . . . . . . . . . . . . . . . . . . . 214.2 Functions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 224.3 PL
: A functional perspective on PL. . . . . . . . . . . . . . . . . . . . 224.4 Comparing PL
with PL. . . . . . . . . . . . . . . . . . . . . . . . . . . 264.5 A linguistic theory. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 274.6 Assessment of the linguistic theory. . . . . . . . . . . . . . . . . . . . . 274.7 The intensionality of propositional logic. . . . . . . . . . . . . . . . . . 29
5 Extensional lambda calculus30
5.1 Background. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 305.2 Lambda caculi: General definition. . . . . . . . . . . . . . . . . . . . . 305.3 Defining specific lambda calculi in your work. . . . . . . . . . . . . . . 325.4 Commentary. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 335.5 Linguistic theory. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 385.6 Assessment. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 385.7 Type mismatches. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39i

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->