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

(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 semiotyki: znaku, nazwy, zdania i funktora. Zna klasyfikację nazw, zdań i funktorów. K_W06 W3. Zna podstawy teorii definicji. Zna klasyfikację definicji. K_W06 W4. Zna i rozumie podstawowe pojęcia logiki: wnioskowania (dedukcyjnego, indukcyjnego, z analogii), wynikania logicznego, stałej logicznej, tautologii, sprzeczności, zdania prawdziwego, zdania fałszywego. K_W06 W5. Zna pojęcie uzasadnienia zdania, odróżnia uzasadnienia dedukcyjne od indukcyjnych, uzasadnienia wprost od uzasadnień nie wprost. K_W06 W6. Zna podstawowe stałe logiczne: negację, koniunkcję, alternatywę (rozłączną i nierozłączną), implikację materialną, równoważność materialną oraz kwantyfikator ogólny i egzystencjalny. K_W06 W7. Zna pojęcia spójnika prawdziwościowego i spójnika nieprawdziwościowego (ekstensjonalnego i intensjonalnego). K_W06 W8. Zna tabelkową metodę sprawdzania tautologii. K_W06 W9. Zna interpretację zdań kategorycznych. 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, sprzeczności, błędnego koła. K_U05 U3. Potrafi przeanalizować wnioskowanie dedukcyjne pod kątem jego poprawności. K_U05 U4. Zna i stosuje metodę nie wprost weryfikowania hipotez. K_U02 U5. Potrafi zastosować rozumowania wprost i nie wprost. K_U02 U6. Sprawdza metodą tabelkową formuły logiki zdań pod kątem ich tautologiczności. K_U05 U7. Sprawdza metodą diagramów Venna prawa logiki nazw i tryby sylogistyczne. 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 konwersatoryjny Poszukujące: ćwiczeniowa, klasyczna metoda problemowa

- participatory lecture
- description
- informative (conventional) lecture

- classic problem-solving
- presentation of a paper
- practical

- methods developing reflexive thinking
- exchange and discussion methods
- cooperation-based methods
- content-presentation-oriented methods

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-M-1-PL-S1 in USOSweb