Logika dla socjologów Część 2: Przedmiot logiki

Podobne dokumenty
Logika dla archeologów

Konspekt do wykładu z Logiki I

ćwiczenia 15 zaliczenie z oceną

Wstęp do logiki. Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża,

Liczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 15 zaliczenie z oceną

Logika dla prawników

Rozdział VII. Znaczenie logiki dla prawa i pracy prawnika Zadania i odpowiedzi 20

WSTĘP ZAGADNIENIA WSTĘPNE

Logika dla socjologów Część 3: Elementy teorii zbiorów i relacji

Logika dla socjologów

Liczba godzin Punkty ECTS Sposób zaliczenia. konwersatoria 30 zaliczenie z oceną

K A R T A P R Z E D M I O T U

K A R T A P R Z E D M I O T U

Logika dla socjologów

Wstęp do logiki. Semiotyka cd.

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

Języki programowania zasady ich tworzenia

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

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

PRZEWODNIK PO PRZEDMIOCIE

Semantyka rachunku predykatów

Logika dla socjologów Część 4: Elementy semiotyki O pojęciach, nazwach i znakach

PRZEWODNIK PO PRZEDMIOCIE

Kultura logicznego myślenia

Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki

Sylabus dla przedmiotu Logika i ogólna metodologia nauk

Opis efektów kształcenia dla programu kształcenia (kierunkowe efekty kształcenia) WIEDZA. rozumie cywilizacyjne znaczenie matematyki i jej zastosowań

LOGIKA Klasyczny Rachunek Zdań

Uniwersytet Śląski w Katowicach str. 1 Wydział

Podstawy Sztucznej Inteligencji (PSZT)

Konspekt do wykładu z Logiki I

Podstawowe Pojęcia. Semantyczne KRZ

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

Logika Matematyczna (1)

Logika Stosowana. Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta. Marcin Szczuka. Instytut Informatyki UW

Logika formalna SYLABUS A. Informacje ogólne

Logika dla archeologów Część 5: Zaprzeczenie i negacja

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

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

Z-ZIP Logika. Stacjonarne Wszystkie Katedra Matematyki Dr Beata Maciejewska. Podstawowy Nieobowiązkowy Polski Semestr trzeci

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

Monoidy wolne. alfabetem. słowem długością słowa monoidem wolnym z alfabetem Twierdzenie 1.

KARTA PRZEDMIOTU. 1. NAZWA PRZEDMIOTU: Statystyka matematyczna (STA230) 2. KIERUNEK: MATEMATYKA. 3. POZIOM STUDIÓW: I stopnia

Programowanie komputerów

Krakowska Akademia im. Andrzeja Frycza Modrzewskiego. Karta przedmiotu. obowiązuje studentów, którzy rozpoczęli studia w roku akademickim 2012/2013

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

LOGIKA Wprowadzenie. Robert Trypuz. Katedra Logiki KUL GG października 2013

Katedra Teorii i Filozofii Prawa Poznań, dnia 12 lutego 2013 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS)

KARTA PRZEDMIOTU. 1. NAZWA PRZEDMIOTU: Algebra liniowa (ALL010) 2. KIERUNEK: MATEMATYKA. 3. POZIOM STUDIÓW: I stopnia 4. ROK/ SEMESTR STUDIÓW: I/1

Z-ID-203. Logika. Podstawowy Obowiązkowy Polski Semestr II. Semestr zimowy Wiedza i umiejętności z matematyki w zakresie szkoły średniej NIE

Michał Lipnicki (UAM) Logika 11 stycznia / 20

Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r.

Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja

Logika Matematyczna (1)

INFORMATYKA a FILOZOFIA

2. Wymagania wstępne w zakresie wiedzy, umiejętności oraz kompetencji społecznych (jeśli obowiązują): BRAK

Matematyczne podstawy informatyki Mathematical Foundations of Computational Sciences. Matematyka Poziom kwalifikacji: II stopnia

WIEDZA zna na poziomie podstawowym co najmniej jeden pakiet oprogramowania, służący do obliczeń symbolicznych

Akademia Wychowania Fizycznego i Sportu w Gdańsku SYLABUS NA CYKL KSZTAŁCENIA

Adam Meissner.

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

Semiotyka logiczna (1)

Metoda Tablic Semantycznych

KARTA PRZEDMIOTU. 12. PRZEDMIOTOWE EFEKTY KSZTAŁCENIA Odniesienie do kierunkowych efektów kształcenia (symbol)

Wprowadzenie do logiki O czym to będzie?

Logika pragmatyczna dla inżynierów

Załącznik Nr 4. Standardy nauczania dla kierunku studiów: filologia STUDIA MAGISTERSKIE I. WYMAGANIA OGÓLNE

Elementy filozofii i metodologii INFORMATYKI

Wprowadzenie. Teoria automatów i języków formalnych. Literatura (1)

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

Filozofia, Historia, Wykład V - Filozofia Arystotelesa

ZAŁOŻENIA FILOZOFICZNE

Podstawy logiki praktycznej

Podstawy logiki i analizy ilościowej Kod przedmiotu

PRZEWODNIK PO PRZEDMIOCIE

mgr Anna Dziuba Uniwersytet Wrocławski mgr Anna Dziuba

Gramatyka kontrastywna polsko-angielska. III rok filologii angielskiej studia niestacjonarne I stopnia, semestr II. Profil ogólnoakademicki

KARTA PRZEDMIOTU. 1. NAZWA PRZEDMIOTU: Analiza zespolona. 2. KIERUNEK: Matematyka. 3. POZIOM STUDIÓW: I stopnia 4. ROK/ SEMESTR STUDIÓW: II/4

Kierunek i poziom studiów: matematyka, studia I stopnia, rok I. Sylabus modułu: Wstęp do matematyki (03-MO1S-12-WMat)

Filozofia przyrody, Wykład V - Filozofia Arystotelesa

Kierunek MATEMATYKA, Specjalność MATEMATYKA STOSOWANA

Egzamin ósmoklasisty w 2019 r. Diagnoza kompetencji ósmoklasistów przeprowadzona w grudniu 2018 r.

INTUICJE. Zespół norm, wzorców, reguł postępowania, które zna każdy naukowiec zajmujący się daną nauką (Bobrowski 1998)

Programowanie deklaratywne i logika obliczeniowa

Rachunek logiczny. 1. Język rachunku logicznego.

Sztuczna inteligencja i logika. Podsumowanie przedsięwzięcia naukowego Kisielewicz Andrzej WNT 20011

Weryfikacja hipotez statystycznych. KG (CC) Statystyka 26 V / 1

Wstęp do Matematyki (2)

Z-LOG-1003 Logika Logics

PRZEWODNIK PO PRZEDMIOCIE

Elementy filozofii i metodologii INFORMATYKI

OGÓLNOAKADEMICKI. Kierunek studiów ASTRONOMIA o profilu ogólnoakademickim należy do obszaru kształcenia w zakresie nauk ścisłych.

Indukcja matematyczna. Zasada minimum. Zastosowania.

KARTA KURSU. Kod Punktacja ECTS* 7

EFEKTY UCZENIA SIĘ JĘZYKOZNAWSTWO

Języki formalne i automaty Ćwiczenia 1

KIERUNKOWE EFEKTY KSZTAŁCENIA

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

Słowa jako zwierciadło świata

LOGIKA I TEORIA ZBIORÓW

Transkrypt:

Logika dla socjologów Część 2: Przedmiot logiki Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012

Spis treści 1 Działy logiki 2 Własności semantyczne i syntaktyczne 3 Błędy logiczne

Działy logiki logika formalna logika matematyczna semantyka logiczna syntaktyka logiczna teoria wnioskowań indukcyjnych 1 1 Zaliczana częściej do ogólnej metodologii nauk.

Ogólna metodologia nauk Charakterystyka Uwaga Teoria dotycząca metod badawczych stosowanych w naukach, a szczególnie poprawnych metod uznawania twierdzeń naukowych. Jak wskazuje sama nazwa, zajmuje się uniwersalnymi metodami badawczymi, czyli takimi, które mogą być stosowane w różnych dyscyplinach naukowych. Na naszych spotkaniach zajmiemy się tymi działami metodologii nauk, w których bezpośrednio stosowana jest logika, czyli: teorią wnioskowań indukcyjnych, statusem hipotez naukowych i ich weryfikacją.

Działy logiki charakterystyka Logika formalna Normatywna nauka o formach poprawnego myślenia. Logika matematyczna Zmatematyzowana postać logiki formalnej. Termin logika matematyczna nie jest jednoznaczny. Współcześnie ma on dwa znaczenia: matematyczna teoria rozumowań stosowanych w obrębie matematyki teoria rozumowań uprawiana za pomocą narzędzi matematycznych, w obrębie której wyróżniamy tzw. logikę klasyczną oraz logiki nieklasyczne

Działy logiki charakterystyka Semantyka Nauka o znaczeniu wyrażeń językowych. Wyróżniamy trzy rodzaje semantyki: logiczną językoznawczą języków programowania (niekiedy zaliczana do semantyki logicznej)

Działy logiki charakterystyka Semantyka językoznawcza Nauka o języku dotycząca znaczenia używanego przez ludzi w procesie komunikacji za pomocą języka naturalnego. Główne zagadnienia semantyki językoznawczej sens i znaczenie wyrażeń językowych kontekst definiowanie pojęć prawdziwość i fałszywość zdań

Działy logiki charakterystyka Semantyka logiczna Nauka o języku dotycząca znaczenia języków sztucznych, zwłaszcza języków teorii matematycznych, np. języka arytmetyki. Główne zagadnienia semantyki logicznej znaczenie symboli, słów i zdań w szczególności znaczenie tzw. stałych logicznych prawdziwość i fałszywość zdań spełnianie zdań w określonych dziedzinach dyskursu

Działy logiki charakterystyka Syntaktyka To nauka o składni języka, inaczej nazywana też gramatyką. Podobnie jak w przypadku semantyki, wyróżniamy syntaktykę języka naturalnego oraz syntaktykę języków sztucznych. Główne zagadnienia gramatyki języka naturalnego budowa słów budowa zdań Główne zagadnienia składni języków sztucznych podobne jak dla gramatyki języka naturalnego z uwzględnieniem specyfiki języków sztucznych stosowane są narzędzia matematyczne

Kilka słów o interpretowaniu Definicja Interpretacją danego wyrażenia językowego nazywać będziemy przyporządkowanie mu określonego znaczenia bądź odniesienia, lub wartości logicznej (w przypadku zdań oznajmujących). Przykład interpretacją słowa Jan jest przyporządkowanie mu określonej osoby (zwykle!) (normalną) interpretacją symbolu 2 jest liczba dwa interpretacją zwrotu grupa społeczna jest nadanie stosownego znaczenia za pomocą definicji interpretacją zdania Jan kocha Basię jest wartość logiczna

Własności syntaktyczne i semantyczne Definicja Własnością syntaktyczną nazywamy taką własność języka, która wiąże się z jego budową (składnią, gramatyką) ale nie ma związku z interpretacją (znaczeniem) tego języka. Definicja Własnością semantyczną nazywamy własność danego języka, która wiąże się z jego interpretacją. Uwaga W konsekwencji słów syntaktyczny i semantyczny używać będziemy w następujących znaczeniach: syntaktyczny dotyczący języka bez (istotnego) związku z jego interpretacją semantyczny dotyczący interpretacji języka.

Własności syntaktyczne i semantyczne Ćwiczenie Jakie są własności semantyczne, a jakie syntaktyczne poniższych wyrażeń? Jan kocha Basię 2+2 2+2=4 Toruń jest stolicą Polski Sherlock Holmes miał wysoki poziom cholesterolu we krwi

Wypowiedzi logiczne i nielogiczne Problem Co (w mowie potocznej) rozumiemy przez wypowiedź logiczną, co zaś przez wypowiedź nielogiczną? Definicja Wypowiedzią logiczną nazywać będziemy taką wypowiedź, w której nie popełniono żadnego błędu logicznego.

Błędy logiczne Wyróżniamy trzy błędy logiczne: amfibologię (amfibolię) ekwiwokację sprzeczność

Błędy logiczne amfibologia Charakterystyka błędu amfibologii Amfibologia to błąd logiczny wyrażenia polegający na jego dwuznaczności wywołanej wadliwą składnią lub interpunkcją. Jest to błąd syntaktyczny.

Błędy logiczne amfibologia Przykład Zdanie: Przeczytam podręcznik do logiki i rozwiążę zadania lub wysłucham wykładu nie jest jednoznaczne, gdyż można je interpretować tak: Przeczytam podręcznik do logiki, i rozwiążę zadania lub wysłucham wykładu lub tak: Przeczytam podręcznik do logiki i rozwiążę zadania, lub wysłucham wykładu

Błędy logiczne amfibologia Przykład Wpadł na pole Czarnecki na koniu, piana leciała mu z pyska. Powinno się zakazać prowadzić samochody nastolatkom. Na ulicach robi się coraz bardziej niebezpiecznie. Zginął piesek z zakręconym ogonkiem, do którego była bardzo przywiązana jego właścicielka. Poszukiwanie źródeł zakazu zabijania może wytłumaczyć, na czym polega jego zło. Molo w Sopocie zostało uszkodzone przez sztorm, po którym nie można chodzić. Na pierwszych zajęciach studenci poznają warunki zaliczenia przedmiotu i siebie nawzajem.

Błędy logiczne ekwiwokacja Charakterystyka błędu ekwiwokacji Błąd logiczny polegający na użyciu terminu w jednej wypowiedzi w dwu różnych znaczeniach, podczas gdy poprawność wypowiedzi wymaga użycia go za każdym razem w tym samym znaczeniu. Przykład Każda mysz jest gryzoniem Mam mysz podłączoną do komputera Mam gryzonia podłączonego do komputera

Błędy logiczne ekwiwokacja Przykład Arytmetyka zajmuje się m.in. dodawaniem liczb Dodawanie liczb jest czynnością psychiczną Arytmetyka zajmuje się czynnościami psychicznymi

Błędy logiczne ekwiwokacja Uwaga Do popełnienia błędu ekwiwokacji nie wystarcza użycie tego samego wyrażenia językowego w różnych znaczeniach w jednej wypowiedzi. Przykład W zamku hrabiego Draculi pewien szczególny klucz służył do otwierania każdego zamka w dowolnych drzwiach.

Błędy logiczne sprzeczność Definicja Wypowiedź sprzeczna to taka wypowiedź, która prawdziwa. nie może być Problem Jaka jest różnica między wypowiedzią, która nie jest prawdziwa, a wypowiedzią, która nie może być prawdziwa. Ćwiczenie Podaj kilka przykładów wypowiedzi sprzecznych.

Błędy logiczne sprzeczność Ćwiczenie Czy poniższe wypowiedzi są sprzeczne? 0=1 Jan zbudował perpetuum mobile Istnieją obiekty poruszające się szybciej od światła Jestem starszy od mojego ojca