Rekonstrukcja argumentu

Slides:



Advertisements
Podobne prezentacje
Wprowadzenie do metodologii eksperymentu biologicznego.
Advertisements

Wprowadzenie w problematykę związaną z twierdzeniem Gödla
RACHUNEK ZDAŃ.
REGUŁOWO-MODELOWE SKORUPOWE SYSTEMY EKSPERTOWE Część 1
Matematyka Dyskretna, G.Mirkowska, PJWSTK
Liczby Pierwsze - algorytmy
O zbędności podziału ekonomii na pozytywną i normatywną Pozytywizm i falsyfikacjonizm a sądy wartościujące w ekonomii B.Czarny.
STRUKTURA WYJAŚNIENIA NAUKOWEGO
Struktura wyjaśniania naukowego
Indukcjonistyczna filozofia nauki
Wyjaśnianie naukowe Opracowano na podstawie:
Sztuczna Inteligencja Reprezentacja wiedzy I Reprezentacja logiczna
Materiały pomocnicze do wykładu
Materiały pomocnicze do wykładu
DANE INFORMACYJNE Gimnazjum Nr 43 w Szczecinie ID grupy: 98/38_MF_G2
FUNKTORY Katarzyna Radzio Kamil Sulima.
Jest to wyrażenie jednoznacznie stwierdzające, na gruncie danego języka, iż tak a tak jest albo że tak a tak nie jest. Zazwyczaj określa się, iż takim.
Prawda.
Umiejętności logiczne
Rachunek nazw Rachunek nazw.
Główne pojęcia logiki.
Jak wypadliśmy na maturze z matematyki w 2010 roku?
I. Informacje podstawowe
Paradoksy logiczne i inne 4 marca 2010.
Nie taki diabeł straszny czyli o zadaniach: wykaż , uzasadnij , udowodnij Piotr Ludwikowski.
Argumentacja jako proces poznawczy
Wnioskowanie w systemach sztucznych
WCZESNA FILOZOFIA NOWOŻYTNA XV-XVII wiek HISTORIA ETYKI (HISTORIA FILOZOFII)
Języki i automaty część 3.
Algorytmy.
Rachunki Gentzena Joanna Witoch.
Podstawowe pojęcia rachunku zdań
FILOZOFIA NOWOŻYTNA XVII-XVIII WIEK
Metody zapisu wiedzy.
Sylogistyka.
PRZYGOTOWALI Bartosz Pawlik Daniel Sawa Marcin Turbiński.
Semantyczna teoria prawdy Tarskiego
Falsyfikacjonizm Theme created by Sakari Koivunen and Henrik Omma
Sylogistyka II Michał Białek.
KNW- Wykład 3 Powtórzenie. PROGRAM WYKŁADU NR 3 Przykładowe zadania z logiki Modele możliwych światów.
DONALD N. McCloskey Retoryka w Ekonomii by Maciej Dorociak.
Logika i argumentacja dla prawników
PHP Instrukcja warunkowa if Damian Urbańczyk. Warunek? Instrukcję warunkową wykorzystujemy wtedy, gdy chcemy sprawdzić pewien fakt, który może być prawdziwy.
Filozoficzno-Teologiczne
Czym jest to co zwiemy nauką A. Chalmers, rozdziały I-III
Systemy wspomagające dowodzenie twierdzeń
Logika i argumentacja dla prawników
Wstęp do filozofii Wykład nr 5 (JW) Argument ontologiczny jako przykład argumentacji filozoficznej.
Logika dla prawników Wykład 2: Argumentacja. Pojęcie argumentu Sens argumentu według Monty Pythona: Argument jest ciągiem logicznie powiązanych zdań celem.
Wykład I: Pytania o logikę
Wnioskowania prawnicze
ZDANIE.
KNW - wykład 3 LOGIKA MODALNA.
Funktory zdaniotwórcze ekstensjonalneintensjonalne.
Metodologia nauk (1) Elementy logiki 1. Logika Logika = nauka o języku jako systemie znaków, w szczególności o związkach między wartościami logicznymi.
FUNKCJE RÓŻNOWARTOŚCIOWE
Wnioskowania nieprawnicze
Logika dla prawników.
Zdanie w sensie logicznym
Funktory prawdzwościowe
Wykład I: Pytania o logikę
WNIOSEK - definicja 1) TO, CO Z CZEGOŚ WYNIKA, WYNIK ROZUMOWANIA, KONKLUZJA; 2) TWIERDZENIE WYPROWADZONE Z INNYCH ZDAŃ UZNANYCH ZA PRAWDZIWE Słownik języka.
Logika dla prawników Wykład 2: Argumentacja.
H.L.A. Hart uważał, iż pod terminem „pozytywizm” kryje się we współczesnej literaturze brytyjskiej i amerykańskiej zbiór następujących twierdzeń:
Logika dla prawników Tautologia.
Podstawy logiki praktycznej
Elementy logiki modalnej
Wnioskowania prawnicze
…czyli nie taki diabeł straszny
Instrukcja warunkowa if
Zapis prezentacji:

Rekonstrukcja argumentu Wyodrębnianie przesłanek i wniosku

Argument Sens argumentu wg Monty Pythona: http://www.youtube.com/watch?gl=PL&hl=pl&v=bPiRyjaku9w Argument jest ciągiem powiązanych zdań celem udowodnienia jasno określonego twierdzenia.

Argumentacja Perswazyjna funkcja języka Cel – uzasadnianie zdania (wniosku) za pomocą innych zdań (przesłanek) Stosowana w celu zmiany przekonań tzw. słowa – wskaźniki: skoro … to; a zatem; więc; ponieważ; dlatego, że; albowiem itp. /P1/ /P2/ /PX/ ------------------ /W/

By wypowiedź została uznana za argumentacyjną musi zawierać dowolne rozumowanie Argument jest podstawową jednostką rozumowania Konieczna jest standaryzacja argumentu Argument powinien być przedstawiany w sposób: Zwięzły Jasny Neutralny

Rekonstrukcja argumentu Jako że każdy człowiek jest śmiertelny, a Sokrates – możecie mi wierzyć – jest człowiekiem, więc także on jest śmiertelny. P1: Każdy człowiek jest śmiertelny. P2: Sokrates jest człowiekiem. W: Sokrates jest śmiertelny.

[P1] Chociaż okno salonu jest otwarte, jednak na zewnątrz nie widać żadnych śladów, podczas gdy ziemia jest miękka po wczorajszym deszczu. [P2] Klamra zamykająca pudełko nie była wyłamana, lecz otwarta za pomocą klucza, który leżał schowany za zegarem. [P3] Nikt nie słyszał szczekania psa, więc pies nie zaszczekał. [W] Przestępstwo popełniła osoba mieszkająca w tym domu.

ćwiczenie A/ Ludzie albo zgadzają się co do wartości, albo spierają się ze sobą. A jeśli spierają się ze sobą, to zgadzają się, że warto się spierać. Zatem ludzie nie zgadzają się co do wartości tylko wtedy, gdy zgadzają się, że warto się spierać.

Struktura argumentu Argument prosty - zawiera tylko jedną przesłankę

2. Argument szeregowy – przesłanki wspierają konkluzję w sposób łączny.

3. Argument równoległy – przesłanki wspierają konkluzję w sposób niezależny.

4. Argument mieszany – niektóre grupy przesłanek są połączone szeregowo, a niektóre wspierają konkluzję niezależnie

5. Argument złożony – zawiera przynajmniej jeden podargument.

„Jeśli księgi tej biblioteki są co do swej treści zgodne z Koranem, to są niepotrzebne. Jeśli zaś księgi tej biblioteki co do swej treści nie są zgodne z Koranem, to są szkodliwe. A zatem te księgi są albo niepotrzebne, albo szkodliwe.”

Argument dedukcyjny Postać wnioskowania, w którym wniosek wynika logicznie z przesłanek Relacja wynikania logicznego przebiega zgodnie z kierunkiem implikacji Postać wnioskowania niezawodnego

Metody sprawdzania – metoda dowodu „nie wprost” Założenie, że implikacja, będąca głównym funktorem w badanej funkcji jest FAŁSZYWA Z matrycy implikacji wiemy, że jest ona fałszywa tylko w jednym przypadku – kiedy poprzednik jest prawdziwy, a następnik fałszywy Jeśli podczas przeprowadzania wnioskowania wystąpi sprzeczność – początkowe założenie jest fałszywe, czyli funkcja jest prawdziwa (tautologiczna)