Czy istnieje logika w naszych głowach

Podobne dokumenty
Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów

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

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

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

0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.

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

Michał Lipnicki (UAM) Logika 11 stycznia / 20

KIERUNEK: KOGNITYWISTYKA

Kultura logicznego myślenia

Klasyczny rachunek zdań 1/2

Kultura logiczna Klasyczny rachunek zdań 1/2

OPIS MODUŁU ZAJĘĆ/PRZEDMIOTU (SYLABUS) dla przedmiotu Logika prawnicza na kierunku Prawo

PRZEWODNIK PO PRZEDMIOCIE

Przykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie),

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

Elementy kognitywistyki III: Modele i architektury poznawcze

DOBÓR ZADAŃ NA LEKCJE POWTÓRZENIOWE

LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ

Lista 1 (elementy logiki)

6. Zagadnienia źródła poznania I Psychologiczne zagadnienie źródła poznania

Drzewa Semantyczne w KRZ

Wykład ze Wstępu do Logiki i Teorii Mnogości

Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu

Logika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie.

Rachunek zdao i logika matematyczna

LOGIKA Dedukcja Naturalna

LOGIKA I TEORIA ZBIORÓW

Elementy logiki. Zdania proste i złożone

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

Główne problemy kognitywistyki: Reprezentacja

Wprowadzenie do logiki Klasyczny Rachunek Zdań część 3

Podstawy Sztucznej Inteligencji (PSZT)

Logika formalna SYLABUS A. Informacje ogólne

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

Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne

Elementy logiki matematycznej

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

Elementy logiki i teorii mnogości Wyk lad 1: Rachunek zdań

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

Lekcja 3: Elementy logiki - Rachunek zdań

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

LOGIKA Klasyczny Rachunek Zdań

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

Język rachunku predykatów Formuły rachunku predykatów Formuły spełnialne i prawdziwe Dowody założeniowe. 1 Zmienne x, y, z...

ćwiczenia 15 zaliczenie z oceną

RODZAJE ARGUMENTÓW W DYSKURSIE PRAWNICZYM

O badaniach nad SZTUCZNĄ INTELIGENCJĄ

WSTĘP ZAGADNIENIA WSTĘPNE

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

Adam Meissner.

Rachunek zdań. Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a

Czyli ABC logiki predykatów

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 8. Modalności i intensjonalność

Księgarnia PWN: Szymon Wróbel - Umysł, gramatyka, ewolucja

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

Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I

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

Rachunek zdań i predykatów

Wstęp do logiki. Klasyczny Rachunek Zdań II

Analiza testu kompetencji piątoklasistów przyroda

8. SKRÓCONA METODA ZERO-JEDYNKOWA

Rachunek logiczny. 1. Język rachunku logicznego.

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

Krystyna Misiuna O paradoksach związanych z nieostrością pojęć. Filozofia Nauki 17/4, 5-10

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

Dlaczego matematyka jest wszędzie?

W planie dydaktycznym założono 172 godziny w ciągu roku. Treści podstawy programowej. Propozycje środków dydaktycznych. Temat (rozumiany jako lekcja)

Logika intuicjonistyczna

Analiza wyników egzaminu gimnazjalnego 2013 r. Test humanistyczny język polski Test GH-P1-132

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

Kultura logiczna Wnioskowania dedukcyjne

śledzi tok lekcji, zapamiętuje najważniejsze informacje;

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP

Łączny wymiar godzin

PROGRAM STUDIÓW WYŻSZYCH ROZPOCZYNAJĄCYCH SIĘ W ROKU AKADEMICKIM 2014/2015 FILOZOFIA. data zatwierdzenia przez Radę Wydziału. kod programu studiów

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej

PRZEWODNIK PO PRZEDMIOCIE

Znaczenie więzi w rodzinie

WYMAGANIA PROGRAMOWE Z JĘZYKA POLSKIEGO NA POSZCZEGÓLNE OCENY W KLASIE III W PUBLICZNYM GIMNAZJUM W LIPINKACH ŁUŻYCKICH

JÓZEF W. BREMER WPROWADZENIE DO LOGIKI

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

Wprowadzenie do Sztucznej Inteligencji

Klasyczny rachunek predykatów

Plan wynikowy z wymaganiami edukacyjnymi z przedmiotu matematyka w zakresie rozszerzonym dla klasy I liceum ogólnokształcącego

Wstęp do logiki. Semiotyka cd.

Paradoks wszechwiedzy logicznej (logical omniscience paradox) i wybrane metody jego unikania

0. ELEMENTY LOGIKI. ALGEBRA BOOLE A

Rachunek zdań I i II rzędu

PRZEDMIOTOWE ZASADY OCENIANIA Z JĘZYKA POLSKIEGO w klasach 4-8

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

Czy architektura umysłu to tylko taka sobie bajeczka? Marcin Miłkowski

WOLONTARIAT STUDENCKI STOWARZYSZENIA PEDAGOGÓW NATAN W LUBLINIE

Matematyka dla studentów ekonomii : wykłady z ćwiczeniami/ Ryszard Antoniewicz, Andrzej Misztal. Wyd. 4 popr., 6 dodr. Warszawa, 2012.

Bazy dedukcyjne. 1. Filozofia nowego sposobu projektowania baz danych. 2. Wady klasycznych systemów bazodanowych

SIGMA KWADRAT. Weryfikacja hipotez statystycznych. Statystyka i demografia CZWARTY LUBELSKI KONKURS STATYSTYCZNO-DEMOGRAFICZNY

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

Opracowali: Magdalena Chilińska - Ratajczak,Marzena Rokaszewicz, Krzysztof Jaskuła PRZEDMIOTOWE ZASADY OCENIANIA Z JĘZYKA POLSKIEGO

Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych

Transkrypt:

Marek Lechniak Wydział Filozofii KUL lechmar@kul.pl I Konkurs logiczny Lublin, 23 marca 2013 r.

Nonsensem jest przekonanie, że umiejętności z zakresu logiki podstawowej można się wyuczyć J. Macnamara, Logika i psychologia

Stary problem w nowej skórze Prawa logiki: konieczne, powszechne, normatywne

Stary problem w nowej skórze Prawa logiki: konieczne, powszechne, normatywne ale: Ludzie popełniają błędy logiczne np. często wnioskują według schematu: p q p q

Dlaczego problem jest ważny? Jeśli prawa logiki są konieczne, to gdzie tkwi źródło tej konieczności?

Dlaczego problem jest ważny? Jeśli prawa logiki są konieczne, to gdzie tkwi źródło tej konieczności? Odpowiedzi: a) każdy ma swoją logikę; b) logika jest wspólna - bo większość ludzi tak myśli; c) ludzie nie są w pełni logiczni, ale możemy wyidealizować myślących; d) architektura kognitywna: logiczność jest zasadą organizującą nasze poznanie

Praktyczne konsekwencje a) uczenie logiki - zniewoleniem; b) prawa logiki zmieniają się, gdy ludzie zaczynają inaczej myśleć; c) trudność w uzasadnieniu takiego stanowiska; d) logika jest wrodzona.

Jak myśli dziecko? dziecko nabywa logiczności wraz z uspołecznieniem (rozwojem języka) małe dzieci nielogiczne;

Jak myśli dziecko? dziecko nabywa logiczności wraz z uspołecznieniem (rozwojem języka) małe dzieci nielogiczne; dziecko jest logiczne z natury (ma wrodzone kompetencje w zakresie logiki podstawowej)

Test Piageta Q [ Q Czy więcej jest bratków czy kwiatów?

Test Piageta Q [ Q Czy więcej jest bratków czy kwiatów? Odpowiedź: jest więcej bratków.

Test Piageta Q [ Q Czy więcej jest bratków czy kwiatów? Odpowiedź: jest więcej bratków. Wniosek: dzieci nie mogą skoordynować kategorii podrzędnych z nadrzędnymi; dzieci w małym stopniu rozumieją relację zawierania się podział zbioru na podzbiory.

Logika umysłu - źródło kompetencji logicznej proceduralny charakter kompetencji (procedury, nie przekonania): interpretatory (umożliwiają budowę i interpretowanie wyrażeń języka);

Logika umysłu - źródło kompetencji logicznej proceduralny charakter kompetencji (procedury, nie przekonania): interpretatory (umożliwiają budowę i interpretowanie wyrażeń języka); implikatory (umożliwiają logiczne myślenie).

składniki kompetencji logicznej: fundamentalne zasady logiczne: pojęcie prawdziwości i fałszywości; zasada niesprzeczności; reductio ad absurdum);

składniki kompetencji logicznej: fundamentalne zasady logiczne: pojęcie prawdziwości i fałszywości; zasada niesprzeczności; reductio ad absurdum); zasoby środków logicznych rozwijane w j. naturalnych: podstawowe spójniki zdaniowe; imiona własne, nazwy gatunkowe; predykaty, kwantyfikatory oraz zmienne indywiduowe;

składniki kompetencji logicznej: fundamentalne zasady logiczne: pojęcie prawdziwości i fałszywości; zasada niesprzeczności; reductio ad absurdum); zasoby środków logicznych rozwijane w j. naturalnych: podstawowe spójniki zdaniowe; imiona własne, nazwy gatunkowe; predykaty, kwantyfikatory oraz zmienne indywiduowe; podstawowe reguły wnioskowania.