Logika 1 Dla Logikow
logika I- wymagania (prof. Stanisław Krajewski)
- język a metajęzyk
- zdania w sensie logicznym, asercja
- poziom syntaktyczny, semantyczny, pragmatyczny języka
- schematy logiczne zdań z języka naturalnego
- rachunek zdań
- tautologie
- metoda tabelkowa pełna i skrócona
- dowody formalne w rachunku zdań
- aksjomatyka rachunku zdań
- twierdzenie o dedukcji
- dowody założeniowe
- sprzeczność (wykluczanie, zaprzeczanie)
- relacje między zdaniami
- kategorie syntaktyczne
- funktory ekstensjonalne i intensjonalne
- rodzaje nazw
- denotacja i konotacja nazwy
- stosunki zakresowe
- sylogistyka, kwadrat logiczny
- rózne sensy pojęcia zbioru
- rachunek zbiorów
- wykresy Venna
- moce nieskończone, tw. Cantora
- różne własności i rodzaje relacji
- porządki, elementy maksymalne i największe etc.
- działania na relacjach
- relacje a funkcje
- relacje równoważności, klasy abstrakcji
- podział logiczny, klasyfikacja
- kwantyfikatory
- predykaty, rodzaje zmiennych
- rachunek kwantyfikatorów
- struktury relacyjne
- spełnianie, prawdziwość
- tautologie rachunku kwantyfikatorów
- kwantyfikatory ograniczone
- reguły wnioskowania
- dowody formalne
- tw. o pełności dla rachunku kwantyfikatorów
- definicje i ich rodzaje
- implikatura konwersacyjna
- zasady Grice'a
- standaryzacja, diagram, standaryzacja argumentacji
- wynikanie logiczne
- wnioskowanie dedukcyjne
- wnioskowanie mocne, dobra argumentacja
- wnioskowanie redukcyjne
- indukcja
- kanony Milla
- wnioskowanie statystyczne
- błędy logiczne
- logiki nieklasyczne