Fundamentals of Logic 2405-S-1-S1-PL

(in Polish) 1. Godziny realizowane z udziałem nauczycieli: 30 2. Czas poświęcony na pracę indywidualną studenta/słuchacza/uczestnika kursu potrzebny do pomyślnego zaliczenia przedmiotu: 30 3. Czas wymagany do przygotowania się i do uczestnictwa w procesie oceniania (np. w egzaminach): 20

(in Polish) W1. Potrafi określić przedmiot logiki, zna podstawowe problemy analizowane przez logikę i potrafi ulokować je w obrębie zainteresowania innych nauk. K_W06 W2. Zna podstawowe pojęcia teorii zbiorów i relacji. K_W06 W3. Zna podstawowe pojęcia semiotyki: znaku, nazwy. Zna klasyfikację nazw. K_W06 W4. Wie czym są deskrypcje jednostkowe, potrafi odróżnić je od nazw. K_W06 W5. Odróżnia pojęcia zaprzeczenia, zaprzeczenia logicznego, negacji oraz operatora negacji. K_W06 W6. Potrafi wyjaśnić logiczne modele: relacji, rozumowania, pojęcia. K_W06 W7. Zna i rozumie podstawowe pojęcia logiki: rozumowania, wynikania, wynikania logicznego, dedukcji, indukcji, stałej logicznej, tautologii, sprzeczności, zdania prawdziwego, zdania fałszywego. K_W06 W8. Zna pojęcie uzasadnienia zdania, odróżnia uzasadnienia dedukcyjne od indukcyjnych, uzasadnienia wprost od uzasadnień nie wprost. K_W06 W9. Zna różne rodzaje rozumowań indukcyjnych: enumeracyjne (niezupełne i zupełne), eliminacyjne. K_W06 W10. Zna różne rodzaje rozumowań przez analogię: po obiektach, po własnościach, mieszane. K_W06 W11. Zna podstawowe operatory logiczne: negacji, koniunkcji, alternatywy (rozłącznej i nierozłącznej), implikacji materialnej, równoważności materialnej, kwantyfikatorów ogólnego i egzystencjalnego. K_W06 W12. Zna prawa de Morgana dla koniunkcji, alternatywy oraz kwantyfikatorów ogólnego i egzystencjalnego. K_W06 W13. Zna pojęcia spójników prawdziwościowego i nieprawdziwościowego (ekstensjonalnego i intensjonalnego). K_W06 W14. Zna tabelkową metodę sprawdzania tautologii. K_W06 W15. Zna różne teorie prawdziwości zdań warunkowych. K_W06

(in Polish) U1. Potrafi przeanalizować wypowiedź po kątem pełnionych przez nią funkcji. K_U05 U2. Analizuje wypowiedź pod kątem występowania w niej błędów logicznych: ekwiwokacji, amfibologii i sprzeczności. K_U05 U3. Potrafi przeanalizować rozumowanie dedukcyjne pod kątem jego poprawności. K_U05 U4. Potrafi przeanalizować rozumowanie indukcyjne pod kątem jego poprawności. K_U05 U5. Zna i stosuje metodę nie wprost weryfikowania hipotez naukowych. K_U02 U6. Potrafi zastosować rozumowania wprost i nie wprost. K_U02 U7. Odróżnia weryfikowanie hipotez od bezpośredniego falsyfikowania zdań ogólnych. K_U02 U8. Sprawdza metodą tabelkową formuły rachunku zdań pod kątem ich tautologiczności. K_U05

(in Polish) K1. Krytycznie czyta teksty naukowe, analizując je pod kątem poprawności i spójności logicznej - K_K07 K2. Pisze prace dbając o ich poprawność i spójność logiczną - K_K07

(in Polish) Podające: opis, wykład informacyjny, wykład problemowy Poszukujące: ćwiczeniowa, klasyczna metoda problemowa,

- participatory lecture
- informative (conventional) lecture
- problem-based lecture
- description

- practical
- classic problem-solving

core frame (attribute withdrawn)

(in Polish) Brak

Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system:

• Description of 2405-S-1-S1-PL in USOSweb