Logika 2105-PP-L-D2LOGI

1. Język naturalny. Interpretacja języka naturalnego. Formalizacja języka i AI
2. Znak, język; język w sensie logicznym.
3. Kategorie składniowe wyrażeń - logika vs. gramatyka.
4. Wprowadzenie do rachunków logicznych.
4.1. Typy uzasadniania.
4.2. Pojęcie wnioskowania.
4.3. Standaryzacja wnioskowań.
4.4. Poprawność materialna wnioskowań, błąd materialny.
4.5. Związek logiczny między przesłankami a wnioskiem - wnioskowania dedukcyjne i spekulatywne.
4.6. Pojęcie wynikania logicznego.
4.7. Błędy logiczne wnioskowania.
4.8. Wynikanie a prawdziwość.
5. Klasyczny rachunek zdań (KRZ).
5.1. Język KRZ.
5.2. Język vs. metajęzyk.
5.3. Przekład zdań języka potocznego na język KRZ i odwrotnie.
5.4. Wartościowanie - pojęcie wartościowania w logice.
5.5. Tabele prawdziwościowe.
5.6. Pojęcie tautologii.
5.7. Sprawdzanie tautologiczności wyrażeń metodą zerojedynkową.
5.8. Wybrane prawa KRZ.

Rodzaj przedmiotu

obowiązkowe

Tryb prowadzenia

mieszany: w sali i zdalnie

Założenia (opisowo)

Przedmiot ma na celu zapoznanie studentów z podstawami logiki. Materiał ma wyposażyć studenta w podstawowe narzędzia służące kontroli poprawności wypowiedzi oraz w umiejętność sprawdzania poprawności rozumowań dedukcyjnych przede wszystkim na gruncie klasycznego rachunku zdań. Wprowadzone również zostaną elementy logiki kwantyfikatorów.

Koordynatorzy przedmiotu

Łukasz Młyńczyk

Efekty kształcenia

- Student ma wiedzę dotyczącą języka prawniczego i języka prawnego, wykorzystywanych do tworzenia i interpretowania prawa europejskiego (K_W10)
- Student zna i rozumie charakter kategorii syntaktycznych (K_W10; K_W13)

- Student ma umiejętność analizowania kategorii semiotyki logicznej, języka i użytych w nim systemów znaków, oznak i symboli(K_U01; K_U05)
- Potrafi rozwiązywać zadania z zakresu rachunku zdań (K_U07)
- Potrafi skontrolować poprawność wypowiedzi i poprawność rozumowania (K_U07)

- Student prawidłowo identyfikuje i rozstrzyga dylematy pracy urzędnika w ujęciu normatywnym (K_K05)
- Student rozumie i interpretuje społeczne dylematy zastosowania sztucznej inteligencji (K_K03)

Kryteria oceniania

1. Test.
2. Aktywność na zajęciach.

Literatura

O. Nawrot, Wprowadzenie do logiki dla prawników, Warszawa 2020.
Z. Ziembiński, Logika praktyczna, Warszawa 2015.
A. Kisielewicz, Logika i argumentacja. Praktyczny kurs krytycznego myślenia, Warszawa 2017.
A. Kisielewicz, Sztuczna inteligencja i logika, Warszawa 2017.
K. R. Popper, Logika odkrycia naukowego, Warszawa 2016.
D. Bonevac, Deduction. Introductory Symbolic Logic, Malden–Oxford: Blackwell Publishing 2003
L. Borkowski, Wprowadzenie do logiki i teorii mnogości, Lublin: Towarzystwo Naukowe KUL 1991
K. Ajdukiewicz, Zarys logiki, Warszawa: Państwowe Zakłady Wydawnictw Szkolnych 1959

Więcej informacji

Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb:

Strona przedmiotu 2105-PP-L-D2LOGI w USOSweb