CAPI

di
si
parla LOGICA MODALE = ☐

Poss
Ip IMP =
7ps esprimere
necessità è

}
= . ☐ ✗

[7 p VERITA
'

NEC = ☐ NON NEC = nec avere una A PRIORI

p
.

3 GRADI DI ACCETTAZIONE

] idea di
3
gradi di accettazione x
comprendere nec .

Nec dell' asserzione

e) Nec « 9 >5» in cui è
predicato che si riferisce al
nonze
2) nec
(9 > 5) in cui nec e-
operatore assertivo che si
appone
alle asserzioni stesse

7g
3) necessita
operatore enunciati ti ✗ [ ✗ = 9 (x > s) ]
'
=D nec
espressa con un es .
- ☐

7 si Tullio al
OCCORRENZE : ☐
riferisce a ma nome in sé

g.
lettere
→
referenziati l' occorrenza si
riferisce
al suo
oggetto « Cic » 8
: - ☐ . .

↳
accettano il criterio di sostitutivita dell' identita - -

CONTESTO :

lo e- + in
ref OPACO inseriamo asserzione un'occ
p reg quel contesto
☐
se vi non
-
- ☐ .
: . . . .

la
ls .
LURGOUEITE !

i _ =

a
* sostituzione TARSKI toglie OCCORRENZA =D NON + RREF VREE OPACA .

OCCORRENZA nero FUNZIONAle -

PREMESSE : the : DIMOSTRAZIONE

classe
LA
9
→
pf
asserzione senza varianti libere ! di in Fé v.

}
LA
g Anp ^ E ( ^^
p) =\
E ( ^^
p)
=
occorrenza ✗ it
=p
r = ☐ ✗ =
-
☐
p
= =

p p
= .
: = ✗ =

a
p,
Fip ) = asserzione a cui e
più
+ contesto F
p
: F =D ✗ = ^^
p
te § adore =D
Fcp ) = FEE (✗ =

Rap ) ]
r
che intense di
non
Kg opaco . +
permette .

{ )
F I (✗
equivalenti logici deduco da viola
Hp è
ref se (
=
valore di verità =D
Anp ) è
( nnq)
✗

p q
×
opaco x = =
.
non . =

t -

q
= ass .
= valore di verita di '

q Fcq ) = FEE (✗ = ^^
g) = LA] ⇐ + E (✗ =

Anp ) occ .

pur reg
.
entrambe o = ^ o = ln
¥
è (✗
p)
^^ è sostituti uita dell' identita
puramente veg si
applica
-
occ
-
= . .

=D PERCHÉ Questa Dimostrazione?

che intense è
✗
agg se si vuole abbandonare l' estensionalita se
equiu logici sono necessaria revisione
logica dei termini singolari
-

,
.
una .

tu
ad ! È contesto !
es se usassimo nel ☐ NO
ref opaco
-
.
.

tu
se si usa come
operatore assertivo allora No