Kłamstwo a implikatura konwersacyjna Szkic streszczenia referatu;)

Podobne dokumenty
Kłamstwo a implikatura konwersacyjna

Kultura logiczna Klasyczny rachunek zdań 2/2

Wstęp do logiki. Klasyczny Rachunek Zdań II

LOGIKA I TEORIA ZBIORÓW

Klasyczny rachunek zdań 1/2

Kultura logiczna Klasyczny rachunek zdań 1/2

Logika Matematyczna (1)

Logika Matematyczna (1)

Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

Wstęp do logiki. Pytania i odpowiedzi

Wprowadzenie do logiki Język jako system znaków słownych

Rachunek logiczny. 1. Język rachunku logicznego.

Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi.

Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0

Filozofia z elementami logiki Język jako system znaków słownych część 2

166 Wstęp do statystyki matematycznej

RACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.

dr hab. Maciej Witek, prof. US PRAGMATYKA rok akademicki 2016/2017

Wstęp do logiki. Semiotyka

Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do

Rok akademicki: 2017/2018 Kod: HKL s Punkty ECTS: 4. Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne

Kultura logicznego myślenia

Logika Matematyczna (10)

Logika Matematyczna (2,3)

PRAGMATYKA rok akademicki 2015/2016 semestr zimowy. Temat 2: Grice a teoria znaczenia

IDEOLOGIA, POSTAWA A KOMUNIKACJA

JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca Imię i Nazwisko:... FIGLARNE POZNANIANKI

Lista 1 (elementy logiki)

dr hab. Maciej Witek, prof. US TEORIE KOMPETENCJI KOMUNIKACYJNEJ rok akademicki 2017/2018, semestr letni

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.

Wstęp do Matematyki (4)

Podstawy logiki praktycznej

dr hab. Maciej Witek, prof. US Etyka i komunikacja rok akademicki 2014/15

JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 18 czerwca Imię i Nazwisko:... I

Kumulowanie się defektów jest możliwe - analiza i potwierdzenie tezy

Metody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia

Tomasz A. Puczyłowski Zmiana przekonań w funkcji implikatury wypowiedzi. Filozofia Nauki 9/3,

Paradoksy log o i g czne czn i inne 4 marca 2010

Wstęp do logiki. Semiotyka cd.

Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne

Wstęp do logiki. Klasyczny Rachunek Predykatów I

Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.

CZY PYTANIE MUSI MIEĆ ZNAK ZAPYTANIA? O SPOSOBACH FORMUŁOWANIA PYTAŃ PRZEZ DZIECI

Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I

1 Przestrzeń liniowa. α 1 x α k x k = 0

4 Klasyczny rachunek zdań

Podstawowe Pojęcia. Semantyczne KRZ

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń

Myślenie szybkie, myślenie wolne, implikatury skalarne

Presupozycje próby wyjaśnienia zjawiska

Co to jest znaczenie? Współczesne koncepcje znaczenia i najważn. i najważniejsze teorie semantyczne

Logika. Michał Lipnicki. 15 stycznia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 15 stycznia / 37

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki

Metoda Tablic Semantycznych

Idea. θ = θ 0, Hipoteza statystyczna Obszary krytyczne Błąd pierwszego i drugiego rodzaju p-wartość

WPROWADZENIE DO KOMUNIKACJI JĘZYK

SZCZEGÓŁOWE KRYTERIA OCENIANIA DLA KLASY IV

Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

WYMAGANIA PROGRAMOWE DLA KLASY IV SZKOŁY PODSTAWOWEJ Z PRZEDMIOTU JĘZYK POLSKI NA ROK SZKOLNY 2014/2015

powiat gmina szkoła 6A 6B

Faza Określania Wymagań

Podstawy Informatyki. Algorytmy i ich poprawność

Wymagania edukacyjne niezbędne do otrzymania przez ucznia śródrocznych i rocznych ocen klasyfikacyjnych. z przedmiotu etyka

Cele kształcenia wymagania ogólne

P. H. Grice i teoria implikatury. sytuacja problemowa zastana przez Grice'a: teza o wieloznaczności versus teorie semantyczne Russella i Fregego

CBOS Vilmorus Ltd CENTRUM BADANIA OPINII SPOŁECZNEJ SEKRETARIAT OŚRODEK INFORMACJI

I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych.

Logika pragmatyczna. Logika pragmatyczna. Kontakt: Zaliczenie:

Filozofia z elementami logiki Klasyfikacja wnioskowań I część 1

1 Podstawowe oznaczenia

Statystyka matematyczna i ekonometria

Wartościowanie wymuszone a szacunek dla odbiorcy w dyskursie politycznym

II. FUNKCJE WIELU ZMIENNYCH

Logika pragmatyczna dla inżynierów

LOGIKA Klasyczny Rachunek Zdań

Statystyka matematyczna i ekonometria

Wstęp do logiki. Klasyczny Rachunek Zdań III

Algebra liniowa z geometrią

KRYTERIA OCEN Z JĘZYKA POLSKIEGO DLA UCZNIÓW KLAS IV ZGODNE Z PROGRAMEM NAUCZANIA JĘZYKA POLSKIEGO SŁOWA NA START W KLASIE IV i VI SZKOŁY PODSTAWOWEJ.

Andrzej Wiśniewski Logika II. Wykład 6. Wprowadzenie do semantyki teoriomodelowej cz.6. Modele i pełność

Elementy logiki matematycznej

Metoda tabel semantycznych. Dedukcja drogi Watsonie, dedukcja... Definicja logicznej konsekwencji. Logika obliczeniowa.

Rozkład figury symetrycznej na dwie przystające

vf(c) =, vf(ft 1... t n )=vf(t 1 )... vf(t n ).

Wstęp do Techniki Cyfrowej... Teoria automatów

Notatki z Analizy Matematycznej 2. Jacek M. Jędrzejewski

Pytania semantyki filozoficznej: (i) jaki mechanizm ustala/stabilizuje semantyczne własności słów? (ii) dzięki czemu słowa coś znaczą?

Rozwiązania około dwustu łatwych zadań z języków formalnych i złożoności obliczeniowej i być może jednego chyba trudnego (w trakcie tworzenia)

P. H. Grice ( ) i teoria implikatury. sytuacja problemowa zastana przez Grice'a:

TOUCAN Team Evaluator OPIS FUNKCJONALNOŚCI

Wstęp do logiki. Klasyczny Rachunek Zdań IV

Drzewa Semantyczne w KRZ

PRZEWODNIK PO PRZEDMIOCIE

Matematyczne Podstawy Informatyki

5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH

Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:

PODSTAWY WNIOSKOWANIA STATYSTYCZNEGO czȩść II

Kontekst. (1) Kontekst, w którym odbyła się dyskusja, miał wpływ na jakość użytych w niej argumentów.

Transkrypt:

Tomasz Puczyłowski Kłamstwo a implikatura konwersacyjna Szkic streszczenia referatu;) 1. W referacie zaproponuję definicję kłamstwa skorzystam z aparatury formalnej, zaprojektowanej przez G. Gazdara i M. Tokarza do analizy odpowiednio implikatur konwersacyjnych i wypowiedzi performatywnych. Nie ma kłamstwa bez intencji skłamania. Kłamca chce bym ze względu na jego (odpowiednio sformułowaną i wygłoszoną) wypowiedź zmienił swoje przekonania w określony sposób. Zmiana ta polegać może tak na przyjęciu przeze mnie pewnego przekonania, którego on (kłamca) nie podziela, jak i na odrzuceniu przeze mnie przekonania, które on żywi. Przekonanie, które mam przyjąć lub odrzucić dotyczyć może tak jego przekonań, przekonań kłamcy, jak dotyczyć też może czegoś od nich różnego. Kłamać można więc na wiele sposobów. Gdy znacząco milcząc pozwolę i świadomie spowoduję, że mój interlokutor nabierze błędnych przekonań dotyczących tego, co sam sądzę, lub jaki stan rzeczy w moim mniemaniu ma miejsce, to i wtedy takie zachowanie określić będzie można mianem, jeśli nie kłamstwa, to przynajmniej oszustwa. W naszym referacie skupimy się jednak na analizie wyrażenia Wypowiedziane z określoną intencją przez nadawcę do odbiorcy zdanie α jest kłamstwem kłamstwo odniesiemy wyłącznie do wytworów czynności związanych z intencjonalnym wypowiadaniem zdań. Prace poświęcone kłamstwu koncentrują się zwykle wokół asercji zdań oznajmujących. Zdania te, za pomocą których nadawca stwierdza pewien stan rzeczy, wydają się być wzorcowym środkiem do celowego wprowadzenia adresata w błąd co do stwierdzanych w tych zdaniach stanów rzeczy lub przekonań za ich pomocą wyrażanych. Inne zdania, pytajne, rozkazujące, o ile użyte jako pytania, prośby, rozkazy itp. rzadziej były brane pod rozwagę jako potencjalne środki, którymi posługuje się ten, kto chce skłamać. W referacie zastanowię się również, czy pytanie o ile jego postawienie będzie skutkiem posiadania pewnej intencji może zostać uznane za kłamstwo. 2. Przekonania wygodnie jest modelować na zbiorach. W referacie nieskończony, domknięty na konsekwencje i niesprzeczny zbiór przekonań odbiorcy oznaczymy przez O a odpowiedni zbiór przekonań nadawcy N. Gdy prawdą będzie to, że p O, powiemy, że odbiorca jest przekonany, że p; gdy p O odbiorca nie jest przekonany, że p; gdy jednocześnie p O i p O odbiorca nie wie, czy p. Interesować nas również będzie pewien podzbiór przekonań odbiorcy dotyczący przekonań nadawcy określonej wypowiedzi: jeżeli odbiorca przekonany jest, że nadawca uważa, że p piszemy: B(n, p) O; jeśli nie jest B(n, p) O. Odbiorca może być również przekonany, iż nadawca sądzi, że nieprawda, że p piszemy wtedy B(n, p) O. Odbiorca może być przekonany, że nadawca nie jest przekonany, że p B(n, p) O), lub, że nadawca nie jest przekonany, że nieprawda, że p ( B(n, p) O). W końcu odbiorca może nie mieć wyrobionego przekonania, co do tego, czy odbiorca jest przekonany, że p: prawdą wtedy jest więc to, że B(n, p) O oraz B(n, p) O, jak i B(n, p) O, oraz B(n, p) O. Niesprzeczny i domknięty na konsekwencje logiczne zbiór przekonań X dowolnej osoby x określają następujące reguły (dla dowolnego y):

Jeżeli B(y, α) X, to jeśli B(y, α β) X, to B(y, β) X; Jeżeli B(y, α) X, to B(y, α) X; Jeżeli B(y, α) X, to B(y, α) X; Jeżeli B(y, α) X, to B(y, α) X; B(y, B(y, α)) X zawsze i tylko wtedy, gdy B(y, α) X; B(y, B(y, α)) X zawsze i tylko wtedy, gdy B(y, α) X; Jeżeli α jest tautologią krz, to B(y, α) X α X zawsze i tylko wtedy, gdy B(x, α) X 3. Sytuację, w której mamy do czynienia z kłamstwem reprezentować będziemy: SK = <<N, <W(O), W(O[α])>>, α, <O, O[α]>> gdzie kolejne elementy oznaczają: nadawcę, wypowiedź nadawcy wygłaszaną ze względu na jego intencję, oraz odbiorcę to, co ma zostać wypowiedzią zmienione. Nadawca jest reprezentowany jako para <N, <W(O), W(O[α])>>, gdzie pierwszy element reprezentuje przekonania nadawcy, a drugi jego intencję, którą spełnia wypowiadając zdanie o określonej treści semantycznej. Intencję nadawcy reprezentujemy, ponownie, jako parę, gdzie pierwszy element reprezentuje wyobrażenie nadawcy zbioru przekonań odbiorcy, drugi jest formalną reprezentacją tego, jaki ma być (w zamyśle nadawcy) po wypowiedzi zbiór przekonań jej adresata. Odbiorca jest również reprezentowany jako para zbiór przekonań odbiorcy przed wypowiedzią α oraz zbiór przekonań odbiorcy powstający pod wpływem użycia zdania α, o ile w chwili wypowiedzi zbiór przekonań odbiorcy tworzył zbiór O. I tak, na przykład, intencję okłamania odbiorcy przez nadawcę (w sytuacji SK) określimy następująco: (DEF. 1) Nadawca chce swą wypowiedzią α okłamać odbiorcę, gdy istnieje x taki, że: x N i x W(O) i x W(O[α]), lub gdy istnieje x taki, ze: x N i x W(O) i x W(O[α]). 4. Przyjmiemy, że zmianę z O na O[α n+1 ] to jakich przekonań (dotyczących nadawcy) nabiera odbiorca na podstawie wypowiedzi α kodyfikuje algorytm G. Gazdara. Algorytm ten jest próbą częściowej formalizacji koncepcji implikatur konwersacyjnych Grice a. Gazdar zaproponował precyzyjny sposób wyliczania tego, jakie przekonania odbiorca może przypisać nadawcy w oparciu o wypowiedziane przez nadawcę zdanie (o określonych własnościach syntaktycznych i semantycznych), o ile określone są przekonania tegoż odbiorcy przed daną wypowiedzią: O[α] = (((O! f q (α))! f c (α))! f s (α))! f p (α), gdzie Im-plikatura jakościowa f q (α) oznacza skończony zbiór potencjalnych implikatur jakościowych wypowiedzi α. Potencjalną implikaturę jakościową wypowiedzi α (gdzie α jest asercją zdania oznajmującego) definiuje się następująco: f q (α) := {B(n, α)} Gdy nadawca zadaje odbiorcy pytanie α, której odpowiedzi właściwe tworzą zbiór {p 1,,p n } (n>1), potencjalną implikaturą jakościową 1 pytania n(α) jest f Q (α, {p 1,..., p n }) := { B(n, p 1 ),, B(n, p n ), B (n, p 1 ),, B (n, p n )} Gdy nadawca zadaje pytanie α o zbiorze odpowiedzi właściwych {p 1,,p n } (n>1) odbiorcy, potencjalna implikaturą jakościową 2 pytania α jest f Q (α, {p 1,..., p n }) := {B(n, B(o, p 1 ) B(o, p n ))}.

Kto bowiem zadaje pytanie jakiejś osobie, ten przyjmuje, że respondent wie, która z odpowiedzi właściwych jest prawdziwa. Potencjalną implikaturą jakościową pytania określamy jako sumę potencjalnej implikatury jakościowej 1 oraz jakościowej 2 f Q (α, {p 1,..., p n }) = f Q (α, {p 1,..., p n }) f Q (α, {p 1,..., p n }) Im-plikatura skalarna f s (α) skończony zbiór potencjalnych implikatur skalarnych Potencjalną implikaturę skalarną f s (α) asercji α określić można następująco: f s (α) := {B(o 1, β[w i ])} dla dowolnych β[w i ], takich, że dla dowolnej skali ilościowej S i dowolnych w i, w i + 1 S: α zawiera wyrażenie w i + 1 oraz β[w i ] α[w i + 1 ], gdzie α[w i + 1 ] i β[w i ] różnią się tym jedynie, że tam, gdzie w α[w i + 1 ] jest wyrażenie w i + 1, tam w β[w i ] jest wyrażenie w i nie będące w β[w i ] w zasięgu żadnego spójnika logicznego o zasięgu szerszym niż w i. Czyli β[w i ] i α[w i + 1 ] są parą prostych zamienników ze względu na w i i w i + 1. Wyrażenie α jest proste ze względu na β, gdy β nie występuje w α w zasięgu żadnego spójnika. Wyrażenie α[w i + 1 /w i ] oznacza wyrażenie powstałe z α[w i ] poprzez zastąpienie w i przez w i + 1 w miejscu, w którym stało w α[w i ] wyrażenie w i ; α[w i + 1 ] jest zamiennikiem wyrażenia α[w i ] ze względu na w i i w i + 1, gdy α[w i + 1 /w i ] = α[w i + 1 ] Ciąg <w 1,, w n > jest skalą jeśli dla każdego wyrażenia prostego α ze względu na w i : α α[w i + 1 /w i ] i nieprawda, że α[w i + 1 /w i ] α. Na przykład skalą jest: <wszyscy, niektórzy>, <i, lub>. Gdy nadawca zadaje pytanie α o zbiorze odpowiedzi właściwych {p 1,, p n } (n>1), potencjalną implikaturą skalarną jest zbiór f S (α, {p 1,..., p n }) := {B(n, p): p f s (p 1 ) f s (p n )}. Im-plikatura składnikowa f c (α) skończony zbiór potencjalnych implikatur składnikowych Potencjalną implikaturę składnikową asercji α określić można następująco: f c (α) := { B(n, β), B(n, β)} dla wszystkich zdań β: β jest zdaniem podrzędnym w zdaniu α; non(α β) non(α β) α ma jakiś zamiennik wyrażeniowy α[δ] ze względu na β i δ, gdzie δ jest zdaniem: δ β B(n, δ) f p (α[δ]) B(n, δ) f p (α[δ]) Gdy nadawca zadaje pytanie α o zbiorze odpowiedzi właściwych {p 1,, p n } (n>1), potencjalną implikaturą składnikową jest zbiór f f C (α, {p 1,..., p n }) := {B(n, p): p f c (p 1 ) f c (p n )}. Im-plikatura presupozycyjna f p (α) skończony zbiór potencjalnych presupozycji pragmatycznych Potencjalną presupozycję f p (α) wypowiedzi α można określić jako sumę f p (α), f p (α), f p (α) następująco: f p (α) := {B(n, β): α jest zdaniem postaci X v, że β Y, gdzie v jest czasownikiem faktywnym a X i Y są dowolnymi ciągami wyrażeń} f p (α) := {B(n, istnieje β): α jest zdaniem, w którym występuje deskrypcja określona β} f p (α) := {B(n, β): α jest zdaniem, w którym zdanie β występuje w zasięgu słowa zanim } Gdy osoba zadaje pytanie α o zbiorze odpowiedzi właściwych {p 1,, p n } (n>1), im-plikaturą presupozycyjną jest zbiór

f P (α, {p 1,..., p n }) := {B(n, p): p f p (p 1 ) f p (p n )}. Im-plikatura założeniowa Gdy osoba nadawca zadaje pytanie, takie, że p jest jednym z jego z założeń, to potencjalną implikaturą założeniową jego pytania jest f Z (α, {p 1,..., p n }) := {B(n, p)}. Implikatury potencjalne mogą zostać odwołane. By formalnie oddać kasację implikatury potencjalnej, wprowadzone jest działanie!. Definicja działania! przedstawia się następująco: X! Y = X {y: y Y ( Z X Y )[(Z {y}) NSP Z NSP]}. Zbiór X powiększamy o te elementy zbioru Y, które są niesprzeczne z dowolnym niesprzecznym podzbiorem X Y. W referacie zaproponujemy modyfikację algorytmu Gazdara, dzięki której możliwe będzie opisanie rewizji i kontrakcji przekonań ze względu na wypowiedź α. Zmianę O w O[α] w sytuacji, w której padło określone pytanie α o zbiorze odpowiedzi właściwych {p 1,, p n } (n>1), proponujemy zaś obliczać zgodnie ze wzorem: O[α n ] = ((((O! f Q (α,{p 1,, p n }))! f Z (α,{p 1,, p n }))! f C (α,{p 1,, p n } ))! f S (α,{p 1,, p n }))! f P (α,{p 1,, p n }) Literatura Gazdar, Gerald, (1979), Pragmatics: Implicature, Presupposition, and Logical Form. London: Academic Press Tokarz, Marek (1993), Elementy pragmatyki logicznej. Warszawa: Państwowe Wydawnictwo Naukowe PWN