1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework :...
Transcript of 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework :...
![Page 1: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/1.jpg)
1. Introduction1. Introduction
1. Introduction : What is the problem ?
2. Framework : Applicative formalism and Combinatory Logic with types
3. Four Theories of Quantification
I/ Fregean Theories
(A) Classical presentation : with bound variables
(B) with λ-calculus (Church, Montague)
(C) Illative quantifiers (Curry) without bound variables
II/ A non Fregean theory :
(D) Star Theory without bound variables
III/ Reduction of Illative Theory to Star Theory
IV/ Logical cube
![Page 2: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/2.jpg)
PROBLEM :PROBLEM :
• Classical Logic (or fregean logic) is not fully adequate toa deep logical analysis of natural languages.
• In classical logic, there are different operations for buildingpropositions :
- connection between propositions ;- negation, modalities ;- predication (or application of a predicate onto terms) ;- quantification (or application of a quantifier ontopredicate to build a proposition or another predictate).
• In natural languages, these operations are used for buildingstatements but there are other fundamental operations :
- topicalization, voices (diatheses) ;- enunciatice operation (uttering or speech acts) ;- determination.
![Page 3: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/3.jpg)
• A determination is used to bring information about anexpression (terms, predicates); different synytacticalcategories (adjectives, relatives, articles, adverbs …)express a determination operation.
• In classical logic, after Frege, determination is not takeninto account :
adjectives, common names, intransitive verbs are analysedby a predicative operation.
John is reading an excellent book
(∃ x) [ is-reading (John, x) & book (x) & excellent (x) ]
• With Anca Pascu, we are studying a new formalism to takeinto account the logical operations of determination innatural languages and their different consequences.
• This formalism is called Logic of Determination of Objects(LDO) (presented in other meetings).
![Page 4: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/4.jpg)
Logic of Determination of Objects(LDO)
• We start with the fundamental distinction of G. Frege(1893) : concepts (predicates) are operators thatexpress an « unsaturation » (or « no completion ») andobjects express « saturation » (or completedexpression).
• In LDO, we study different kinds of objects :
- fully determinate objects ;- more and less determinate objects ;- typical objects ;- atypical objects ;- determination of more determinated objects from an
underterminate object …
![Page 5: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/5.jpg)
• A concept is an operator such that it can be applied todifferent objects. If the object « falls under the concept », theresult of the application is « true ».
• To each concept ‘f’ is associated its « intension » and its« essence ».
• The « intension » ‘Int(f)’ is an ordered set of properties whosethe meanings are contained in the meaning of the concept ‘f’.
• The « essence », ‘Ess (f)’, is a part of the « intension », ‘Int(f)’.
• To each concept ‘f’ is canonically associated an uniqueabstract object ‘τ(f)’ and a determination operator ‘δ(f)’.
• The object ‘τ(f)’ represents, as an object, the concept ‘f’; it iscompletly undeterminate.
• The operator ‘δ(f)’, associated to the concept ‘f’, contributes todetermine different objects.
![Page 6: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/6.jpg)
• The object ‘τ(f)’ is called « the typical object »; it representsthe concept ‘f’ as an completly undeterminate object.
• It is a generator of differnt more or less determinate objectswhich fall under the concept ‘f’.
• The object which falls under the concept (or, when the conceptis applied to it with the result « true ») is belongs to theexpanse of the concept ‘f’, noted ‘Exp(f)’.
• When this object is fully determinate, it belongs to theextension of f, noted ‘Ext(f)’, a part of the expanse of ‘f’.
![Page 7: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/7.jpg)
To-be-dog
τ(to-be-dog)
to-be-animal
to-be-mortal-being
(black)(τ(dog))
u1 u2 u3(white)(τ(dog))
whiteblack
Int(to be dog)
Exp(to-be-dog)
concept
Typical object
v1 v2
to-be-mammal
determination by « black »
determination by « white »
![Page 8: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/8.jpg)
τ(f)
f
δ(g1) (τ(f))
Int(f)
Expansion(f)
z
δ(g2) (τ(f)) u
Typical object
Ext (f)Extτ (f)Typical fully specified instances
does not belongto Expansion(f)
![Page 9: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/9.jpg)
f
τ(f)
x
y = δ(g1)(x)
δ(g1)
y = δ(g2)(x)
y = δ(g3)(x) δ(g2) δ(g3)
τ
Typical instances
All instances
Ess(f)
h3 = Ng3
Int(f)h2 = Ng2
An atypical instance
An instance outthe category
specified instance of x
contradictiong1∉Int(f)g2∉Int(f) ∧(∃ h2∈Int(f) -Ess(f); h2= Ng2g3∉Int(f) ∧(∃ h3∈ Ess(f) ⊆ Int(f) ; h3 = Ng3
![Page 10: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/10.jpg)
• An object is a typical in stance of a concept ‘f’ when this object
1°) falls under the concept ‘f’
2°) it inherits all properties of the intension of ‘f’.
• An object is an atypical instance of ‘f’ when
1°) it falls under the concept ‘f’
2°) there is some property of the intension of ‘f’ such that this object does not inherit.
• All objects that fall under ‘f’
inherit all properties of the essence of ‘f’.
![Page 11: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/11.jpg)
EXTENSION = class of fully determinate men
Typical menAn atypical man
Abraham LincolnSocrates
ConfuciusLao Tseu
General properties : « to have two eyes, two legs, two arms … » in Intension of « man »
Specific Property :« to have onlyone leg »
Cyclopewith only one eye
![Page 12: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/12.jpg)
Different expressions of LDO are defined insidethe general framework of Combinatory Logicof Curry with functional types.
2. Combinatory Logic with types2. Combinatory Logic with types
![Page 13: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/13.jpg)
Applicative ExpressionsApplicative Expressions • We use applicative expressions and functional types (or categories of functors) from given basic types (or basic categories). • The application is a fundamental operation; it builds all applicative expressions from more elementary expressions. • The applicative expression ‘XY’ is the result of the application ‘@’ of the operator X to the operand Y. The application is represented by means of the following applicative tree :
X Y----------------> X applies to Y and builds a result XY = X@Y
• There are different types of applicative expressions
![Page 14: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/14.jpg)
Typed Applicative ExpressionsTyped Applicative Expressions
• Application rule:[A-Exp] If X and Y are applicative expressions then XY is an
applicative expression.• Church’s Functional types:
•• Basic types •• Functional types are recursively defined by using a two-placeconstructor, designated by ‘FF’, with two rules:
[Type 1] the basic types are functional types;[Type 2]if α and β are types then ‘FFαβ’ is a functional type.
Assignment of a type α to an applicative expression X is designated [α : X ]
• Inference rule for application wit types:Oαβ : X α : Y
[APPL] ---------------------------->β : XY
![Page 15: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/15.jpg)
CurryCurry’’s Combinatory Logics Combinatory Logic
The Curry’s Combinatory Logic is an applicative formalism with Combinators. It is a logic of operators and composition of operators.
A combinator is an abstract operator which builds a “complex operator” from more elementary operators or transform an operator in another. EXAMPLE: The combinator BB builds a complex operator ‘BBXY’ from the given applicative expressions X and Y. When this complex operator is applied to the operand ‘Z’, then the result is the applicative expression ‘X(YZ)’ :
BB X------------------> BBX Y --------------------------->
BBXY Z-------------------------------->
BBXYZ-------- =X(YZ)
β-reduction: BBXYZ ->β X(YZ)
![Page 16: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/16.jpg)
Elimination rule Introduction rule Meaning
If f--- [e-I] --- [i-I] identity
f If
Kfa f----- [e-K] ---- [i-K] scope extension
f Kfa
Wfa faa----- [e-W] ------- [i-W] duplication,
faa Wfa diagonalization
C*xf fx------- [e-C*] ------- [i-C*] transposition
fx C*xf
![Page 17: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/17.jpg)
Elimination rule Introduction rule Meaning
Cfab fba------ [e-C] ------ [i-C] converse, permutation
fba Cfa
Bfga f(ga)------ [e-B] ------ [i-B] functional composition
f(ga) Bfga
Sfga fa(ga)------ [e-S] ------- [i-S] complex functional
fa(ga) Sfga composition
φfgha f(ga)(ha)------- [e-φ] ---------- [i-φ] intricationf(ga)(ha) φfgha
![Page 18: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/18.jpg)
3. Four Theories of Quantification3. Four Theories of Quantification
![Page 19: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/19.jpg)
I/ Fregean Theories with bound variables
• Theory A : Classical Theory in First Order Language
• Theory B : Montague’s Quantification expressedin Church’s λ-Calculus
II/ Fregean Theory without bound variables
• Theory C : Illative Theory expressedin Curry’s Combinatory Logic
III/ Non Fregean Theory without bound variables
• Theory D : Star Theory expressedin Curry’s Combinatory Logic
![Page 20: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/20.jpg)
Fregean Approach Non Fregean Approach
With bound variables
Without bound variables
Theory A : classicalFirst Order Languages (LPO)
Theory B using Church’s λ-calculus(Montague, Dowty …)
Theory C using Curry’s combinatory LogicIllative Theory of Quantification
Theory D using Curry’s Combinatory Logic: Star Theory of QuantificationFor processing of natural languages
Theories of QuantificationTheories of Quantification
![Page 21: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/21.jpg)
Questions about Fregean QuantificationQuestions about Fregean Quantification
(i) Are there variables in natural languages ?
(ii) Are necessary variables for analysing phrases withquantifiers ?Can we conceive another logical analysis of naturallanguage,different of Frege’s and Montague’s analyses ?
(iii) Is there a formalism which can adequatly formalizethe quantifications expressed by natural languages ?
(iv) Is it possible to build logical representations“without (bound) variables” such that the structures ofthese representations are more adequate to thestructures (and meanings) of these sentences ?
![Page 22: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/22.jpg)
I/ Fregean theoriesI/ Fregean theories
Theories (A), (B) and (C)Theories (A), (B) and (C)
![Page 23: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/23.jpg)
Predicates and QuantifiersPredicates and Quantifiers
Predicates• [Otp : P1] means “ P1 is a one-place predicate”• [OtOtp : P2] means “ P2 is a two-place predicate”
Fregean Quantifiers• [OOtpp : Q ] means “Q is a fregean quantifier” : it builds a proposition from an one-place predicate.• [OOtpOOtpp : Q ] means “Q is a fregean restricted quantifier” : it builds a proposition from two one-place predicates. No Fregean quantifiers• [OOtpt : Q* ] means “Q* is an operator (star quantifier) which builds a term from a one-place predicate” :it builds a term from a predicate.
![Page 24: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/24.jpg)
John is happy
John is happyN* S\N*---------> [T]S/(S\N*)----------------------------------------------->
S
0. John is happy----------------------------------------------
1. [N* : John] x [S/N* : is happy]2. [S/(S\N*): C*John] x [S/N* :is-happy]3. [S : (C*John) (is-happy)]
----------------------------------------------4. (p : (C*John’) (is-happy’))5. (p: (is-happy’)(John’))6. (is-happy) (John)
![Page 25: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/25.jpg)
FREGEAN ANALYSIS of QUANTIFIERSin FIRST ORDER LANGUAGE (Theory A)
(1) Jane is pretty(1’) is-pretty’ (Jane’)
(2) Everybody is pretty(2’) (∀x) [is-pretty’(x)]
(3) Every girl is pretty(3’) (∀x) [girl’(x) => pretty’(x)]
(4) Someone is pretty(4’) (∃x) [is-pretty’(x)]
(5) Some girl is pretty(5’) (∃x) [girl’(x) & is-pretty’(x)]
![Page 26: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/26.jpg)
LOGICAL REPRESENTATIONS OFLOGICAL REPRESENTATIONS OFQUANTIFIERS (Theory B)QUANTIFIERS (Theory B)
Using Church’s λ-calculus, logical interpretations of quantifiers everybody, someone, every and some (Montague, 1974, Partee, Dowty) become:
everybody’ =def λP.(∀x) [P(x)]
someone’ = def λP.(∃x) [P(x)]
every’ = def λP.λQ.(∀x) [P(x) => Q(x)]
some’ = def λP.λQ.(∀x) [P(x) & Q(x)]
![Page 27: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/27.jpg)
Everybody is pretty(2”) (λP.((∀x) [P(x)]) (is-pretty’)(2’) (∀x) [is-pretty’(x)]
Every girl is pretty(3”) (λP.λQ.((∀x)[P(x) => Q(x)]) (girl’) (is-pretty’)(3’) (∀x) [girl’(x) => pretty’(x)]
Someone is pretty
(4”) (λP.((∃x)[P(x)]) (is-pretty’)(4’) (∃x) [is-pretty’(x)]
Some girl is pretty(5”) (λP.λQ.((∀x)[P(x) & Q(x)]) (girl’) (is-pretty’)(5’) (∃x) [girl’(x) & is-pretty’(x)]
![Page 28: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/28.jpg)
PROBLEM : Are there bound variablesin natural languages ?
Linguists must explain how natural languages capture and encode by specificstructures the different quantification and determination operations.For analysing the constitution of sentences with quantification, the formalrepresentations given by the classical predicate calculus are not adequate sincenatural languages do not use bound variables in semiotic quantification strategy. For linguistics, bound variables are only useful artefacts. Is it possible to give logical representations “without (bound) variables” so that thestructures of these representations are more adequate to the syntactical structures ofsentences?
More precisely, the logical representations must explain how the analysed sentencesare build and also how they are related to a syntactic analysis.
![Page 29: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/29.jpg)
ILLATIVE QUANTIFIERSILLATIVE QUANTIFIERSin illative Combinatory Logic Frameworkin illative Combinatory Logic Framework
(Theory C)(Theory C)
• Illative operators “represent” classical quantifiers insideCurry’s Combinatory Logic formalism. • Illative operators are adjoined to the “pure” applicativeformalism and their actions are defined, by means ofelimination and introduction rules in Gentzen’s NaturalDeduction style, without using bound variables.
![Page 30: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/30.jpg)
« Classical » Categorial Analysis(Categorial Grammars) => Fregean Quantifiers
Every student admire some lecturer O. Every student admire some lecturerU*/N N (S\N)/N V*/N N---------------> ----------------------> U* V* 1. (every student) x admire x (some lecturer)
= S/(S\N) = (S\N) \((S\N)/N) -----------------------------------<
(S\N) 2. (every student) x ((some lecturer) admire)----------------------------------------------------->
S 3. (every student) ((some lecturer) admire)
-------------------------------------------------------------
4. [p : (every student) ((some lecturer) admire)]
5. (Π2 student) ((Σ222 lecturer) admire)
![Page 31: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/31.jpg)
Illative Universal Quantifiers :Illative Universal Quantifiers :ΠΠ11 and and ΠΠ22€€
• Types and applicative quantified expressions building •• OOtpp : Π1 OOtpp : Π1 Otp : g
----------------------------------->p : Π1g
•• OOtpOOtpp : Π2 OOtpOOtpp : Π2 Otp : f--------------------------------------------->
Otp : Π2f Otp : g---------------------------------------------->
p : Π2fg
•• “Π1f” (“every is f”) and “Π2fg” (“every f is g”) are propositions
![Page 32: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/32.jpg)
Elimination and introduction rules ofElimination and introduction rules ofUniversal Quantifiers Universal Quantifiers ΠΠ11 and and ΠΠ22
in Gentzenin Gentzen’’s styles style
Π1f Π2fg fx------ [e-Π1] ---------------------------> [e-Π2]fx gx
[t : x] [t : x]fx fx /- gx
-------- [i-Π1] ---------- [i-Π2]Π1f Π2fg
•• The elimination rule [e-Π2] generalizes modus ponens
•• λ-representations :[ Π1 =def λP. (∀x) [P(x)] ][ Π2 =def λP.λQ. (∀x) [P(x) => Q(x)] ]
![Page 33: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/33.jpg)
The two quantifiers Π1 and Π2 are not independent since it is possible to defineΠ2 , inside Combinatory Logic, from Π1 by the following relation betweenoperators:
[ Π2 =def ((B(CB2)Φ) => Π1) ] This relation shows that the restricted illative quantifier Π2 is defined by means ofa Combinator B(CB2)Φ that combines the implication operator => with thequantifier Π1.
1. Π2fg hyp.
2. [ Π2 =def (B(CB2)Φ) => Π1 ] def. de Π2
3. ((B(CB2)Φ) => Π1) fg rempl. 2., 1.
4. (CB2)(Φ =>) Π1 fg [e-B]
5. B2 Π1 (Φ =>) fg [e-C]6. Π1 (Φ => fg) [e-B2]
The elimination rule [e-Π2] is deduced from [e-Π1]:
1. Π1 (Φ => fg) hyp.2. fx hyp.3. (Φ => fg) x [e-Π1],1.4. =>(fx)(gx) [e-Φ],3.5. gx modus ponens
![Page 34: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/34.jpg)
Illative Existential QuantifiersIllative Existential QuantifiersΣΣ11 and and ΣΣ22
• Types and applicative building •• OOtpp : Σ1 OOtpp : Σ1 Otp : g
--------------------------------->p : Σ1g
•• OOtpOOtpp : Σ2 OOtpOOtpp : Σ2 Otp : f--------------------------------------------->
Otp : Σ2f Otp : g---------------------------------------------->
p : Σ2fg
•• “Σ1f” (“there is a f”) and “Π2fg” (“there is a f which is g”) are propositions
![Page 35: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/35.jpg)
Elimination and introduction rules ofElimination and introduction rules ofExistential Quantifier Existential Quantifier ΣΣ11 and and ΣΣ22
in Gentzenin Gentzen’’s styles style
fx fx, gx------- [i-Σ1] --------- [i-Σ2]Σ1f Σ2fg
Σ1f /- B Σ2fg, fx /-B, gx /-B ---------- [e-Σ1] ------------------------- [e-Σ2]
B B • λ-representations :
[ Σ1 =def λP. (∃x) [P(x)] ][ Σ2 =def λP.λQ.(∃x) [P(x) & Q(x)] ]
• Expression of Σ2 in terms of & (conjunction) and Σ1 : [ Σ2 =def (B(CB2)Φ) & Σ1 ]
![Page 36: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/36.jpg)
Illative Representations whitout bound variables(Theory C : Illative Combinatory Logic)
(1) Jane is pretty(1’) (Jane’*) (is-pretty’)(1’’) (C*Jane’)(is-pretty’)
(2) Everybody is-pretty(2’) (everybody’) (is-pretty’)(2’’) Π1 (is-pretty’)
(3) Every girl is pretty(3’) (every’(girl’)) (is-pretty’)(3’’) (Π2 (girl’)) (is-pretty’)
![Page 37: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/37.jpg)
(4) Somebody runs
(4’) (somebody’) (runs’)
(4’’) Σ1 (runs’)
(5) Some girl is pretty
(5’) (some’ (girl’)) (is-pretty’)
(5’’) (Π2 (girl’)) (is-pretty’)
With two quantifiers ?
(6) Every boy love some girl
(6’) (some’(boy’)) ((some’(girl’)) loves’)
(6’’) (Π2 (boy’)) ((Σ 222 (girl’)) loves’)
![Page 38: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/38.jpg)
« Classical » Categorial Analysis(Categorial Grammars) => Fregean Quantifiers
Every student admire some lecturer O. Every student admire some lecturerU*/N N (S\N)/N V*/N N---------------> ----------------------> U* V* 1. (every student) x admire x (some lecturer)
= S/(S\N) = (S\N) \((S\N)/N) -----------------------------------<
(S\N) 2. (every student) x ((some lecturer) admire)----------------------------------------------------->
S 3. (every student) ((some lecturer) admire)
-------------------------------------------------------------
4. [p : (every student) ((some lecturer) admire)]
5. (Π2 student) ((Σ222 lecturer) admire)
![Page 39: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/39.jpg)
Arguments against theories (A), (B) and (C) (fregean theories)
• There are not bound variables in natural languages (against A). • Proper names and quantified phrases Subjects are not represented by the sameprocess (against A). • Logical decomposition in Subject and Predicate does not work (against A). • Common nouns, adjectives and intransitive verbs are represented by the sameprocess (against A, B, C). • Determination operations are not expressed (against A,B,C). • It is not easy to represent topicalization operations (against A,B,C). • The fregean logical represntations do not take in account the problems of typicalityand atypicality (from Rösch approach of categorization) (against A,B,C).
![Page 40: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/40.jpg)
II/ Star Theory of QuantificationII/ Star Theory of Quantification
a non Fregean Approacha non Fregean Approachof Quantifiersof Quantifiers
in Natural Languagesin Natural Languages
![Page 41: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/41.jpg)
Star Theory of Quantification :non Fregean Quantifiers Q*
Quantifiers considered as building terms operators and not as building propositionsfrom predicates
The expressions with a freagean restricted universal quantifier :
(∀x) (student’(x) => (∃ y) (lecturer’ (y) & admire’ (y)(x)))
(Π2 student’)((Σ 222 lecturer’) admire’) are logical representations of the sentence : Every student admires some lecturer
=> Fregean Quantifiers build propositions or predicates from predicates.
We are going to define two new operators Π∗Π∗ and Σ∗Σ∗ (building terms) which aremore elementary than the quantifiers Π2 and Σ222 in the above representations:
[ Π2 =def ΒC*Π∗Π∗ ] [Σ222 = def ΒC*Σ∗Σ∗ ]
![Page 42: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/42.jpg)
Applicative Tree with Star QuantifiersApplicative Tree with Star Quantifiers
Now, the building of the proposition is given by the applicative tree:
OOtpt : Σ∗Σ∗ Otp : lecturer’-------------------------------------------->
OtOtp : admire t : Σ∗Σ∗ lecturer’--------------------------------------------------------->Otp : admire (Σ∗Σ∗ lecturer’) OOtpt: Π∗Π∗ Otp:student’
--------------------------------------->t : Π∗Π∗ student’
--------------------------------------------------------------------------------------------------------------->p : (admire (Σ∗Σ∗ lecturer’)) (Π∗Π∗ student’)
![Page 43: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/43.jpg)
Logical RepresentationsLogical Representationswith Star Quantifierswith Star Quantifiers
• In the applicative expression :
admire’ (Σ∗Σ∗ lecturer’) (Π∗Π∗ student’) the quantifiers Σ∗Σ∗ and Π∗Π∗ are operators whose operands are considered asproperties with the assigned type Otp.
It follows that the types of Σ∗Σ∗ and Π∗Π∗ must be O(Otp)t .
• These new operators Σ∗Σ∗ and Π∗Π∗ build terms from properties.
![Page 44: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/44.jpg)
We have the following β-reduction : (Π2 student’) ((Σ222 lecturer’) admire’)
->β admire’ (Σ∗Σ∗ lecturer’) (Π∗Π∗ student’)
1. (Π2(student’)) ((Σ222 (lecturer’)) (admire’)) hyp.
2. [ Π2 =def ΒC*Π∗Π∗ ] def.3. [ Σ 222 =def ΒC*Σ∗Σ∗ ] def. 4. ΒC*Π∗Π∗(student’)(ΒC*Σ∗Σ∗(lecturer’)(admire’)) rempl.2,1.5. C*(Π∗Π∗ (student’)) (ΒC*Σ∗Σ∗ (lecturer’) (admire’)) [e-B],
4.6. (ΒC*Σ∗Σ∗ (lecturer’) (admire’)) (Π∗Π∗(student’)) [e-C*]1. C*(Σ∗Σ∗ (lecturer’)) (admire’) (Π∗Π∗ (student’)) [e-B], 6.
8. (admire’) (Σ∗Σ∗ (lecturer’)) (Π∗Π∗ (student’)) [e-C*],7
![Page 45: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/45.jpg)
Every student admires some lecturerby means of Categorial Applicative Grammar with Type Raising and N*
Every student admire some lecturer O. Every student admires some lecturerN*/N N (S\N*)/N* N*/N N ---------------> -----------------> N* N* 1. [N*:every student] x [(S\N*)/N*:admires]
x [N*:some lecturer]------------->[T] ----------------->[T] S\(S/N*) S\(S/N*) 2. [S/(S\N*):C*(every student)]x[(S\N*)/N*:admire]
x [S\(S/N*): C*(some lecturer)]------------------------->[B]
S/N* 3. [S/N*: B(C*(every student)) admire)] x [S\(S/N*): C*(some lecturer)
--------------------------------------------------------<S 4. [S: (C*(some lecturer)) (B(C*(every student))
admire)]-------------------------------------------------------------------------------------5. (p:(C*(some’ lecturer’))(B(C*(every student’)) admire’)
6. (B(C*(every’ student’)) admire’) (some’ lecturer’) 7. (C*(every’ student’))(admire’ (some’ lecturer’)) 8. (admire’ (some’ lecturer’)) (every’ student’)
9. (admire’ (Σ∗Σ∗ lecturer’)) (Π∗Π∗ student’)
![Page 46: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/46.jpg)
III /III / β β-Reduction-Reductionof Fregean Quantifiersof Fregean Quantifiers
totoNon Fregean QuantifiersNon Fregean Quantifiers
(Star Theory) (Star Theory)
![Page 47: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/47.jpg)
Classical Universal Quantifier Π2reduces to the Star Quantifier ΠΠ**
[ Π2 = BC* Π* ] (law) Π2 is defined in terms of the quantifier ΠΠ** Reduction : (Π2f)g ->β g(ΠΠ**f)
1. (Π2 f)g hyp.
2. [ Π2 = BC* ΠΠ** ] law
3. BC* ΠΠ** fg rempl.
4. C* (ΠΠ** f) g [B-e]
5. g( ΠΠ** f) [C*-e]
![Page 48: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/48.jpg)
Ext(g) = { y ; build dams (y) }
Ext(f) = { x ; is-a-beaver (x) }
All f are g : All beavers build dams
Reference framework
Ext(f) ⊆ Ext(g)
![Page 49: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/49.jpg)
Ext(g)
All f are g : A (typical) beaver builds damsIF all f are g THEN a typical f is (a fortiori) g
Reference framework
Ext(f)
Ext(f) ⊆ Ext(g)
Extτ(f)
![Page 50: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/50.jpg)
A typical beaver builds dams
does not imply that
All beavers build dams
Example :
A (typical) Frenchman groans
does not imply that
All Frenchmen groan.
Extτ(f) ⊆ Ext(g)
![Page 51: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/51.jpg)
Elimination and introduction rulesfor illative and star theories :
Universal quantifiers
[ Π2 = BC* Π* ]
(Π2f)g ->β g(Π*f)
Quantifier Π2 Quantifier Π* (Π2f)g, x ∈ Ext (f) g(Π*f), x ∈ Extτ (f)----------------------- [e-Π2] -------------------------- [e-Π*]
g(x) g(x) fx \- gx x ∈ Extτ (f), fx \- gx--------------- [i-Π2] ---------------------------- [i-Π*] (Π2f)g g(Π* f)
![Page 52: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/52.jpg)
• In other words : Classical Universal Quantification Star Universal Quantification
Ext(f)€⊆ Ext(g), x ∈ Ext(f) Extτ(f) ⊆ Ext (g), x ∈ Extτ(f)------------------------------ --------------------------------- x ∈ Ext(g) x ∈ Ext(g) x ∈ Ext(f) => x ∈ Ext(g) x ∈ Extτ(f) => x ∈ Ext(g)-------------------------- -------------------------------- Ext(g)€ ⊆ Ext (f) Ext (g)€ ⊆ Extτ (f)
(Π2f)g <=> Ext(f) €⊆ Ext(g)
g(Π* f) <=> Extτ (f) €⊆ Ext (g)
We deduce :
![Page 53: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/53.jpg)
Elimination and introduction rulesElimination and introduction rulesfor illative and star theories :for illative and star theories :
Existential QuantifiersExistential Quantifiers
[ Σ2 = BC* Σ* ]
(Σ2f)g ->β g(Σ*f)Quantifier Σ2 Quantifier Σ* x ∈ Extτ(f), fx \- gx x ∈ Ext(f), gx-------------------------- [i-Σ2] -------------------- [i-Σ*]
(Σ2f)g g(Σ* f) (Σ2f)g, fx /- B, gx /-B g(Σ* f),fx /- B,gx /-B-------------------------- [e-Σ2] ----------------------- [e-Σ*]
B B
We deduce : (Σ2f)g = True Extτ (f) ∩ Ext (g) ≠ ∅
g(Σ*f) = True Ext (f) ∩ Ext (g) ≠ ∅
![Page 54: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/54.jpg)
The classical existantial Quantifier Σ2 reduces tothe existantial Star Quantifier ΣΣ**
[ Σ2 = BC* ΣΣ** ] (law) Reduction of Σ2 to Σ*
Reduction : (Σ2f)g ->β g(ΣΣ**f)
1. (Σ2f)g hyp.
2. [ Σ2 = BC* ΣΣ** ] law
3. BC* ΣΣ** fg rempl.
4. C* (ΣΣ** f) g [B-e]
5. g( ΣΣ** f) [C*-e]
![Page 55: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/55.jpg)
Ext(g)
Ext(f)
Referential
Extτ(f) ∩ Ext(g) ≠ ∅
Some (typical) f is gSome (typical) beaver builds dams(Σ2f)g Extτ(f) ∩ Ext(g) ≠ ∅
Extτ(f)
IF there is a f which is g THEN a fortiorithere is an f which is gExample : Some typical beaver builds dams=> There is a beaver which builds dams
![Page 56: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/56.jpg)
Ext(g)
Ext(f)
Referential
Ext(f) ∩ Ext(g) ≠ ∅
There is a beaver which builds damsg (Σ*f) Ext(f) ∩ Ext(g) ≠ ∅
Extτ(f)
IF there is an f which is gDoes not imply necessarly that the indetermined instance which is f and is g f et gIs a typical instance Example : There is a Frenchman who does not groan does not imply that this Frenchman is a typical instance of Frenchmeen
![Page 57: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/57.jpg)
IV/ Logical IV/ Logical « « CubeCube » » of ofFregean and non FregeanFregean and non Fregean
Quantifiers.Quantifiers.A new Interpretation ofA new Interpretation of
Fregean and non FregeanFregean and non FregeanQuantifiersQuantifiers
![Page 58: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/58.jpg)
Meaning of star quantifiers
• The terms Π∗(f) and Σ∗(f) denote objects ofExp (f) (Expanse of ‘f’).
- Π∗(f) denotes an abstract « whatever, any » object; anytypical object of Ext(f) is determined from Π∗(f)
- Σ∗(f) denotes an abstract « undeterminate » object. Atypical object which exists in Ext(f) can be gerneratedby successive determinations from Σ∗(f).
![Page 59: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/59.jpg)
All Frenchmen groan A (typical) Frenchman groans
There is a (typical)Frenchmanwho groans
Some Frenchman groans
There is a Frenchman
Typical and classical quantifiersTypical and classical quantifiers
![Page 60: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/60.jpg)
(Π2) fg
(Σ2) fg
g(Π*f)
g(Σ*f)
All f are g A typical f is g
There is a typical fwhich is g
Some f is g
Σf
β-reduction
β-reduction
β-reduction
β-reduction
There is a f
![Page 61: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/61.jpg)
AristotleAristotle’’s Squares Square
(Π2 f)g
(Σ2 f)g
(Π2 f) (Ng)
(Σ2 f) (Ng)
There is a f
contraries
contradictories
subcontraries
![Page 62: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/62.jpg)
Square of the reduction of Square of the reduction of « « classicalclassical » » (fregean) (fregean)quantifiers toquantifiers to
star (non fregean) quantifiersstar (non fregean) quantifiers
(Π2f) g
(Σ2f) g
Σ1 f
g (Π∗Π∗f)
g (ΣΣ**f)
ΣΣ* * (f)
β-reduction
β-reduction
![Page 63: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/63.jpg)
Square of Star QuantifiersSquare of Star Quantifiers(non Fregean Quantifiers)(non Fregean Quantifiers)
g (ΠΠ**ff)
g (ΣΣ**f)
(Ng) (ΠΠ**ff)
(Ng) (ΣΣ**f)
There isan f
contradiction
![Page 64: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/64.jpg)
Square of star quantifiersSquare of star quantifiers
g (ΠΠ**f)
g (ΣΣ**f)
(Ng) (ΠΠ**f)
(Ng) (ΣΣ**f)
ΣΣ* (* (f)
![Page 65: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/65.jpg)
(Π(Π22f) g
(Σ(Σ22f) g
(ΠΠ22 f) (Ng)
(ΣΣ2 2 f )(Ng)
ΣΣf
g(ΠΠ∗f)
g(ΣΣ*f)
(Ng)(ΠΠ*f)
(Ng)(ΣΣ*f)
ΣΣ*(f)
opposite
disjunction
![Page 66: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/66.jpg)
All f are g No f is g
There isa f
A typical f is g
Some fis g
A typical f is not g
There is a fwhich is not g
There isa typical f
« « CubeCube » » of quantifiers of quantifiers
There is a typical f which is not g
Some typical f is g
![Page 67: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/67.jpg)
All beavers build dams No beaver build dams
There is a beaver
A typical beaverbuilds dams
Some beaverbuilds dams
A typical beaverdoes not build dams
There is a beaverwhich does not build dams
There is a typical beaver
« Cube » of quantifiers : examples
There is a typical beaver which does not build damsThere is a typical beaver
which builds dams
![Page 68: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/68.jpg)
All f are g
There is a typical f which is g
No f is g
There i a typical f which is not g
There is a f
A typical f is g
Some f is g
A f typique n’est pas g
There is a f which is not g
There is A typical f
Fregean quantificationFregean quantification
No fregeanNo fregeanquantification =quantification =star quantification star quantification
![Page 69: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/69.jpg)
All f are g No f is g
There is f
A typical f is g
Some fis g
No typical f is g
There is a f which is not g
There is a f
Typical quantification
Aristotle’s square
Square of star quantifiers
There is a typical fwhich is g
There is a typical f which is not g
![Page 70: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/70.jpg)
• In classical Logic
Exp(f) = Ext(f)Ext(f) ⊆ Ext(g) Int(f) ⊇ Int(g)
All objects are typical objects, no atypicalobjects
Star qunatifiers are classical quantifiers
![Page 71: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/71.jpg)
BibliographyBibliography
![Page 72: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/72.jpg)
BOURBAKI N., 1970, Eléments de mathématiques, théorie des ensembles, Hermann,Paris.CURRY H.B. , FEYS R. 1958 ,Combinatory Logic, Amsterdam : North Holland.DESCLES J.-P. , GUENTCHEVA Z, 1980, “Recherches sur les valeurs des indéfinisNJAKOJ et NJAKAKAV en bulgare, Opérations de détermination, Théorie etdescription, Volume 1, Laboratoire de linguistique formelle, Université de Paris 7,pp. 239-286.DESCLES, J.-P., 1981, “De la notion d’opération à celle d’opérateur ou à larecherche de formalismes intrinsèques”, Mathématiques et sciences humaines, Paris,1981, pp. 5-32.DESCLES J.-P., FROIDEVAUX C., 1982, “Axiomatisation de la notion de repérageabstrait, Mathématiques et sciences humaines, 78, pp. 73-119.DESCLES J.-P., 1986, “L’implication entre concepts : la notion de typicalité” ,Travaux de Linguistique et de Littérature, XXIV, 1, pp. 179-102.DESCLES J.-P., 1987, “Réseaux sémantiques : la nature logique et linguistique desrelateurs” , Langages, 87. DESCLES J.-P., 1988, “Approximation et typicalité”, L’à-peu-près, Aspects anciens etmodernes de l’approximation , Editions de l’Ecole des Hautes Etudes en SciencesSociales, Paris, pp. 183-195.DESCLES J.-P., 1990, Langages applicatifs , langues naturelles et cognition, Paris :Hermès.
![Page 73: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/73.jpg)
DESCLES J.-P., 1993, “Dialogue sur la typicalité”, Modèles et concepts pour la sciencecognitive, hommage à Jean-François Le Ny, (ed. M. Denis, G. Sabah), Presses del’Université de Grenoble, pp. 139-163.DESCLES J.-P., 1993,”Auto-applicativité, paradoxes et logique combinatoire”, LesCahiers du CREA, Epistémologie et anthropologie, CREA/ Ecole Polytechnique, Paris,pp. 63-119. DESCLES J.-P., 1996," Cognition, compilation, langage"in (ed. G. Chazal, M.-N.Terrasse) , Philosophie du langage et informatique, Paris, Hermès, 1996, pp. 103-145.DESCLES J.-P.,1997, “Schèmes, notions, prédicats et termes”, Logique, discours etpensée, Mélanges offerts à Jean-Blaize Grize, Peter Lang, pp. 9-36.DESCLES J.-P., 1997, “La logique combinatoire, types, preuves et langage naturel”,Introduction aux logiques non classiques, (ed. D. Mieville), Centre de Recherchessémiologiques, Neuchâtel, pp. 91-160.DESCLES, J.-P., 2002, « Categorization : A Logical Approach of a CognitiveProblem”, Journal of Cognitive Science, Vol. 3, n° 2, 2002, pp. 85-137.DESCLES, Jean-Pierre, 2003, « Combinatory Logic, Language, and CognitiveRepresentations », in Paul Weingartner (editor) Alternative Logics. Do Sciences NeedThem ?, Springer, pp. 115-148. DESCLES J.-P.,GUENTCHEVA Z., 1997, “Quantification Without Bound variables”,International Meeting on Free Variables Semantics, Université d ‘Osnabrück,septembre 1997.
![Page 74: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/74.jpg)
DESCLES J.-P., GUENTCHEVA Z., 1997, “Quel est l’opérande du quantificateur?”, Colloque “Analyse formelle et contrastive des langues naturelles, Université deVarsovie, mai 1997, Semantyka a konfrontacja jezykowa, II, Warszawa, 1998 DESCLES J.-P., GUENTCHEVA Z., 1998, “A Non Fregean Approach ofQuantifiers in Natural Languages”, International Meeting on Logics , Languageand Artificial Intelligence, Fortaleza, 9-13 juillet 1998.DESCLES J.-P., KANELLOS I., 1991, ““La notion de typicalité : une approcheformelle” in D. Dubois, pp. 225-244.DESCLES J.-P., PASCU A., 1998, “Quantification non frégéenne et théorie de latypicalité”, Institut des Sciences Humaines Appliquées, Université de Paris-Sorbonne, juin 1998.DUBOIS D. , 1991, Sémantique et cognition : catégories, prototypes, typicalité,Editions du CNRS, Paris.FREGE, G., 1884, Die Grundlagen des Arithmetik, Verlag von Wilhem Koebner,Breslau.FREGE, G., 1967 1893, The Basic Laws of Arithmetic, exposition of the system,translated and edited, with an introduction, by Montgomery Furth, University ofCalifornia Press, Berkeley and Los Angeles.FROIDEVAUX C., 1983, “ La fonction logique du epsilon de Hilbert à travers les‘Grundlagen der Mathematik”, Mathématiques et sciences humaines, 84, pp. 65-82.HILBERT D., BERNAYS P., 1939/1970, Grundlagen der Mathematik, II? Springer-Verlag, Berlin.
![Page 75: 1. Introduction · 1. Introduction 1. Introduction : What is the problem ? 2. Framework : Applicative formalism and Combinatory Logic with types 3. Four Theories of Quantification](https://reader034.fdocuments.in/reader034/viewer/2022050603/5faaa007250e1a2c3d2c385d/html5/thumbnails/75.jpg)
HINDLEY, J.R., LERCHER B., SELDIN, 1972, J.P. Introduction to CombinatoryLogic, Cambridge University Press.LE NY, J.-F., 1989, Science cognitive et compréhension du langage, PressesUniversitaires de France.PASCU, A., 1999, Approche logique de la typicalité, Dissertation, University of Paris-SorbonnePASCU, A., 2006, Les objets dans la représentation des connaissances. Applicationaux processus de catégorisation en informatique et sciences humaines, Habilitation àdiriger des recherches, Paris-Sorbonne.