Theory of Debate

Formalna teoria debaty...

Micha Jarmoc, Andrzej Fulbiszewski

Uniwersytet Szczeciski

...

I Parlamentarna debata o zwizkach partnerskich,

I pojcie DEBATY,I luka terminologiczna,I brak narzdzia badawczego;

I Parlamentarna debata o zwizkach partnerskich,I pojcie DEBATY,

I luka terminologiczna,I brak narzdzia badawczego;

I Parlamentarna debata o zwizkach partnerskich,I pojcie DEBATY,I luka terminologiczna,

I brak narzdzia badawczego;

I Parlamentarna debata o zwizkach partnerskich,I pojcie DEBATY,I luka terminologiczna,I brak narzdzia badawczego;

Casus Parlamentarnej debaty. . . czyli debatapozorna

Stan obecny wedug PWN

powana i duga dyskusja na wany temat

Terminynieprecyzyjne, subiektywne, nieoddajce istoty zjawiska.

Stan obecny wedug PWN

powana i duga dyskusja na wany temat Terminynieprecyzyjne, subiektywne, nieoddajce istoty zjawiska.

Czy Monika i Grzegorz powinni wzi lub?

Intuicyjne, przedteoretyczne rozumienie debaty

Wedug intuicyjnego i przedteoretycznego rozumienia pojcia,debata jest to sformalizowana i instytucjonalna dyskusja naistotny spoecznie temat.

Przykady autentycznych debat

Podstawowy warunek istnienia debaty

Jeeli wiemy, czym jest debata, zadajmy sobiepytanie jak j bada

Pojcia pierwotne

I Pojciami pierwotnymi s: agent, przekonanie idwuargumentowa relacja bycia przekonanym, e.

I B(A, p) - agent A jest przekonany, e p.I L = {,B}

Relewantne przekonania

I Kady agent rozpoczyna debat z relewantnym zbioremprzekona B(A) = {p : B(A, p)}

I Relewantnymi przekonaniami nazywamy te, ktre mogzosta wykorzystane w ruchach w debacie.

Podmiot racjonalny

Niech L bdzie zbiorem wszystkich formu poprawnychsyntaktycznie w danym jzyku. Niech Cn : 2L 2L bdzieoperacj konsekwencji logicznej Mwimy, e agent A jestpodmiotem racjonalnym o ile dla dowolnego X B(A).:I X Cn(X )I CnCn(X ) Cn(X )I Cn(B(A)) B(A)

Przestrze debaty

I Przestrze debaty to suma zbiorw relewantnychprzekona wszystkich agentw: P(D) =

n B(An)

I Wsplny grunt to zbir przekona podzielanych przezwszystkich agentw: G (D) =

n B(An)

I Rdze agenta to przekonania podzielane wycznie przezniego: C (A) = B(A)/G (D)

I Aksjomat: G (D) 6= 6= P(D)

Przestrze debaty

n B(An)

Przestrze debaty

n B(An)

Przestrze debaty

n B(An)

Przestrze debaty

n B(An)

Przestrze debaty

B(A1)

B(A2) B(A3)

G(D)

Stanowisko w debacie

W rdzeniu agenta wyrniamy pewien podzbir przekonaS(A) C (A), ktry nazywamy stanowiskiem w debacie.Rozwizaniem debaty nazywamy sytuacj w ktrej wszyscyagenci podzielaj to samo stanowisko.AIAJ [S(AI ) = S(Aj)]

Stan pocztkowy debaty: [S(A) C (A)]

Stanowisko w debacie

W rdzeniu agenta wyrniamy pewien podzbir przekonaS(A) C (A), ktry nazywamy stanowiskiem w debacie.Rozwizaniem debaty nazywamy sytuacj w ktrej wszyscyagenci podzielaj to samo stanowisko.AIAJ [S(AI ) = S(Aj)]Stan pocztkowy debaty: [S(A) C (A)]

Moliwe sposoby zakoczenia debaty

I Debata koncyliacyjna: Agenci porzucaj stanowiska zeswoich rdzeni i przyjmuj jako rozwizanie przekonanie zewsplnego gruntu.A[S(A) G (D)] AnAm[S(An) = S(Am)]

I Debata Agon: Agenci porzucaj wasne stanowiska iprzyjmuj jako rozwizanie problemu stanowisko jednegoz agentw. A1[S(A1) C (A1) An 6=1[S(A1) 6= S(An)]

I Debata twrcza: Agenci porzucaj wasne stanowiska iwsplnie formuuje nowe z poza pola debaty.A[S(A) 6 P(D)] AnAm

I Debata rozpaczliwa:Agenci porzucaj wasne stanowiska inie przyjmuj adnego nowego.A[S(A) = ]

Operacje na zbiorach przekona

Na zbiorach przekona moemy wykonywa podstawoweoperacje znane z logiki zmiany przekona.I Rozszerzenie zbioru przekona definiujemy jako:B(A) + p = Cn(B(A) {p})

I Zamy, e p B(A), wtedy z aksjomatu otrzymujemyp Cn(B(A)), z twierdzenia o zwartoci otrzymujemy, eistnieje taki podzbir C B(A), e p Cn(C ),Kontrakcj zbioru przekona z uwagi na p nazywamy takoperacj, ktra pozwala nam wyeliminowa zbir C, takby p 6 Cn(B(A)) i oznaczamy B(A) p. W literaturzeprzedmiotu rozwaa si rne operacje kontrakcji.

I Wreszcie rewizj zbioru B(A) z uwagi na przekonanie p,definiujemy przy pomocy identycznoci Leviego:B(A) p = (B(A) p) + p

Ruchy w debacie

Agenci wykonuj podczas debaty okrelone akty mowynazywane ruchami. Celem tych aktw, jest zmianaprzekona.

Aksjomat: Kada debata skada si z conajmniejjednego ruchu.

Ruchy w debacie

Agenci wykonuj podczas debaty okrelone akty mowynazywane ruchami. Celem tych aktw, jest zmianaprzekona.Aksjomat: Kada debata skada si z conajmniejjednego ruchu.

Wnioskowanie

I Ruch polega na wskazaniu logicznej konsekwencjiwsplnie uznawanych przesanek.

I Agenci aby pozosta racjonalnymi musz :a) wskazabd formalny (czyli wykaza, e wniosek nie jest logicznkonsekwencj przesanek) lub b) wskaza bd materialny(czyli zrewidowa prawdziwo przesanek) lub c) dokonarewizji zbioru przekona z uwagi na wniosek

I Wyzwalacze: zatem, w zwizku z tym, a wic, dlatego te.I Przykad: W roku 2012 ponad 100 osb zmaro pozayciu paracetamolu. Jeeli jaka substancja powodujezgon, to naley zakaza jej sprzeday. Zatem naleyzakaza sprzeday paracetamolu.

Wnioskowanie

I Wyzwalacze: zatem, w zwizku z tym, a wic, dlatego te.

I Przykad: W roku 2012 ponad 100 osb zmaro pozayciu paracetamolu. Jeeli jaka substancja powodujezgon, to naley zakaza jej sprzeday. Zatem naleyzakaza sprzeday paracetamolu.

Wnioskowanie

Uzasadnianie

I Ruch polega na wskazaniu wsplnie uznawanychprzesanek, ktrych konsekwencj logiczn jest dana teza.

I Agenci aby pozosta racjonalnymi musz: a) wskazabd formalny (czyli wykaza, e wniosek nie jest logicznkonsekwencj przesanek) lub b) wskaza bd materialny(czyli zrewidowa prawdziwo przesanek) lub c) dokonarewizji zbioru przekona z uwagi na przesanki

I Wyzwalacze: poniewa ,dlatego e, skoro uznalimy e, namocy tego e.

I Przykad: aley ograniczy prdko na drogach, poniewazmniejszy to ilo wypadkw drogowych.

Uzasadnianie

Nie jest uzsadnianiem:I Naley odrzuci omawian ustaw, poniewa jest ona

szkodliwa dla spoeczestwa. (przekonanie uzasadniajcenie naley do wsplnego gruntu, jest przekonaniem zrdzenia).

I Wszystkie ksiki powinny by okrge, dlatego eziemia jest okrga (przekonanie uzasadniane nie jestlogiczn konsekwencj przekonania uzasadniajcego).

Uzasadnianie

Nie jest uzsadnianiem:I Naley odrzuci omawian ustaw, poniewa jest ona

szkodliwa dla spoeczestwa. (przekonanie uzasadniajcenie naley do wsplnego gruntu, jest przekonaniem zrdzenia).

I Wszystkie ksiki powinny by okrge, dlatego eziemia jest okrga (przekonanie uzasadniane nie jestlogiczn konsekwencj przekonania uzasadniajcego).

Symulowanie

I Ruch ten polega na prbie postawienia agentw wokrelonej sytuacji i pokazaniu, e zachowaliby si oni wtej sytuacji w sposb niezgodny ze swoimi przekonaniami.Gdyby postpowali zgodnie ze swoimi przekonaniami, toodczuwaliby dyskomfort emocjonalny.

I Wyzwalacze: wyobramy sobie e, postaw si na jegomiejscu, pomyl sobie co musi czu, spjrz na niego,powiedz to jemu

I Przykad: Naley zaostrzy kary za jazd pod wpywemalkoholu. Jak Ty by si czu, gdyby Twoje dzieckozgino pod koami samochodu prowadzonego przezpijanego kierowc?

I Odpowied: Czubym si strasznie, ale to nie zmieniafaktu, e wci jestem przeciwny zaostrzaniu kar.

Symulowanie

Faktowanie

I Faktowanie polega na dodaniu do wsplnego rdzenia,przekonania, e p, o ile p jest przekonaniem o jakimfakcie, a nie opini czy pogldem.

I Pozostali agenci dokonuj ceteris paribus rewizji zbioruprzekona z uwagi na p.

Faktowanie

I Faktowanie polega na dodaniu do wsplnego rdzenia,przekonania, e p, o ile p jest przekonaniem o jakimfakcie, a nie opini czy pogldem.

I Pozostali agenci dokonuj ceteris paribus rewizji zbioruprzekona z uwagi na p.

Przypisanie

I Wskazanie, e przekonanie p naley do zbioru przekonaagenta.

Przypisanie

I Wskazanie, e przekonanie p naley do zbioru przekonaagenta.

Wstpny katalog ruchw

Ruchy w debacie, a akty mowy

I Agenci musz kooperowa w mocnym sensie(Girceowskim)

I Ruchem w debacie nazywamy tylko takie akty mowy,ktre dotycz przekona w sposb nietrywialny.

I Pozostae akty mowy s dziaanami na rzecz lubprzeciwko kooperacji. Przykadowo obraanie uczestnikwdebaty jest dziaaniem przeciwko kooperacji, aprzepraszanie na rzecz.