Prezentacja - CALCULEMUS.ORG

Trust-logic jako podstawa formalizacji
wypowiedzi
Who?
From?
When?
dr Robert Piechowicz
Wydział Filozoficzny UPJPII w Krakowie
Warszawa, 6.11.2015
Plan
Standardowe logiki wypowiedzi
Problemy logik standardowych,
Podstawy trust-logic,
Trust-logic a konwersacja.
Ujęcia standardowe
Aksjomatyka
Tozuvarasa:
U(p → q) → (Up → Uq),
¬U⊥,
Up ≡ UUp,
¬Up ≡ U¬Up.
Ujęcia standardowe
Aksjomatyka
Tozuvarasa:
U(p → q) → (Up → Uq),
¬U⊥,
Up ≡ UUp,
¬Up ≡ U¬Up.
Aksjomatyka
Tokarza:
U(p ∧ q) → (Up ∧ Uq),
jeśli p jest prostsze składniowo, niż q oraz logicznie
silniejsze od niego, to Up → (Bp ∧ ¬Bq).
Ujęcia standardowe
Aksjomatyka
Tozuvarasa:
U(p → q) → (Up → Uq),
¬U⊥,
Up ≡ UUp,
¬Up ≡ U¬Up.
Aksjomatyka
Tokarza:
U(p ∧ q) → (Up ∧ Uq),
jeśli p jest prostsze składniowo, niż q oraz logicznie
silniejsze od niego, to Up → (Bp ∧ ¬Bq).
Aksjomatyka
minimalna:
Up → Bp.
Ku ujęciu alternatywnemu
Mankamenty:
monologiczność,
doksastyczna okazjonalność.
Remedium
System BIT
(Churn-Jung
Liau):
Bi p — osoba i sądzi, że p,
Iij p — osoba i otrzymała od j informację, że p,
Tij p — osoba i ufa osądowi j na temat p.
Aksjomaty:
[Bi (p → q) ∧ Bi p] → Bi q,
¬Bi ⊥,
Bi p → Bi Bi p,
¬Bi p → Bi ¬Bi p,
Aksjomaty:
[Bi (p → q) ∧ Bi p] → Bi q,
¬Bi ⊥,
Bi p → Bi Bi p,
¬Bi p → Bi ¬Bi p,
[Iij (p → q) ∧ Iij p] → Iij q,
¬Iij ⊥,
Aksjomaty:
[Bi (p → q) ∧ Bi p] → Bi q,
¬Bi ⊥,
Bi p → Bi Bi p,
¬Bi p → Bi ¬Bi p,
[Iij (p → q) ∧ Iij p] → Iij q,
¬Iij ⊥,
(Tij p ∧ Bi Iij p) → Bi p,
Tij p ≡ Bi Tij p.
Aksjomaty:
[Bi (p → q) ∧ Bi p] → Bi q,
¬Bi ⊥,
Bi p → Bi Bi p,
¬Bi p → Bi ¬Bi p,
[Iij (p → q) ∧ Iij p] → Iij q,
¬Iij ⊥,
(Tij p ∧ Bi Iij p) → Bi p,
Tij p ≡ Bi Tij p.
Reguły:
MP, RG (dla B oraz I), RE (dla T).
Maksymy konwersacyjne Grice’a
Zasada
współpracy:
Twoja wypowiedź winna wnosić do konwersacji taki
wkład, jakiego się oczekuje na danym etapie z punktu
widzenia celu wymiany zdań w której uczestniczysz.
Maksymy konwersacyjne Grice’a
Zasada
współpracy:
Twoja wypowiedź winna wnosić do konwersacji taki
wkład, jakiego się oczekuje na danym etapie z punktu
widzenia celu wymiany zdań w której uczestniczysz.
Maksymy:
maksyma jakości — nie wygłaszaj poglądów, o których
sądzisz, że są fałszywe lub niedostatecznie uzasadnione,
maksyma ilości — nie udzielaj ani więcej ani mniej
informacji, niż jest to konieczne na danym etapie
konwersacji,
maksyma relewancji – mów na temat, nie wypowiadaj
sądów nieistotnych z punktu widzenia tematu
konwersacji
maksyma sposobu — mów w sposób zrozumiały,
unikając niejasności i wieloznaczności, mów krótko i w
sposób uporządkowany.
Zaufanie właściwe
Definicja:
TSij p = Bi [(Iij p → Bj p) ∧ (Bj p → p)]
Zaufanie właściwe
Definicja:
TSij p = Bi [(Iij p → Bj p) ∧ (Bj p → p)]
Twierdzenie:
Zaufanie właściwe
Definicja:
TSij p = Bi [(Iij p → Bj p) ∧ (Bj p → p)]
Twierdzenie:
(TSij p ∧ Bi Iij p) → Bi p,
TSij p ≡ Bi TSij p,
(Bi Iij p ∧ TSij p) → Bi p.
Zaufanie właściwe — komentarz
filozoficzny
Perspektywa
badawcza
zaufanie odbiorcy względem nadawcy jako podstawa
komunikacji,
przekonanie o zgodności komunikatu z przekonaniami,
przekonanie o zgodności przekonań ze światem,
problematyczność maksymy relewancji.