Logika I
Informacje ogólne
Kod przedmiotu: | 3501-NZ-L1 |
Kod Erasmus / ISCED: |
08.1
|
Nazwa przedmiotu: | Logika I |
Jednostka: | Instytut Filozofii |
Grupy: | |
Punkty ECTS i inne: |
(brak)
|
Język prowadzenia: | polski |
Rodzaj przedmiotu: | obowiązkowe |
Tryb prowadzenia: | mieszany: w sali i zdalnie |
Skrócony opis: |
Celem zajęć jest wprowadzenie do głównych zagadnień logiki współczesnej, jej metod oraz zastosowań na gruncie filozofii. Celem zajęć jest uwrażliwienie słuchaczy na różne funkcje wypowiedzi językowych, wskazanie podstawowych kryteriów oceny rozumowań, definicji i klasyfikacji, a także ukazanie związków logiki z innymi dziedzinami wiedzy. |
Pełny opis: |
Celem zajęć jest wprowadzenie do głównych zagadnień logiki współczesnej, jej metod oraz zastosowań na gruncie filozofii. Celem zajęć jest uwrażliwienie słuchaczy na różne funkcje wypowiedzi językowych, wskazanie podstawowych kryteriów oceny rozumowań, definicji i klasyfikacji, a także ukazanie związków logiki z innymi dziedzinami wiedzy. Przedstawione zostaną elementy logiki nieformalnej, sztuki argumentacji oraz podstawowych rachunków logicznych: klasycznego rachunku zdań, sylogistyki i rachunku predykatów, konieczne do precyzyjnego określenia wynikania logicznego i wnioskowania niezawodnego. Słuchacze poznają m.in. pojęcia zdania w sensie logicznym, prawdy analitycznej i logicznej, relacji między zdaniami (wynikania, sprzeczności, wykluczania, dopełniania). Zaprezentowane będą podstawowe wiadomości z teorii zbiorów, relacji, nazw oraz definicji. W szczególności omówione zostaną warunki poprawności definicji sprawozdawczych i projektujących, wybrane problemy filozoficzne związane z nazwami (np. problem sensowności zdań z nazwami własnymi pozbawionymi referencji). Kurs zakończy przedstawienie problematyki związanej z logiczną analizą argumentacji, ze szczególnym zwróceniem uwagi na najczęściej popełniane błędy i stosowane chwyty retoryczne, a także mechanizmów i skrzywień poznawczych. |
Literatura: |
M. Omyła, Zarys logiki, B. Stanosz, Ćwiczenia z logiki, T. Hołówka, Kultura logiczna w przykładach, K. Wieczorek, Wprowadzenie do logiki dla studentów wszystkich kierunków, M. Tokarz, Argumentacja, perswazja, manipulacja. |
Efekty uczenia się: |
Nabyta wiedza Student: • Rozumie pojęcie zdania w sensie logicznym, funktora klasycznego rachunku zdań, logicznych zależności między zdaniami [K_W03, K_W06, K_W12, K_W13] • Wie, na czym polega analiza logiczna wyrażeń języka naturalnego z użyciem narzędzie klasycznego rachunku zdań i klasycznego rachunku predykatów [K_W03, K_W06, K_W12, K_W13] • Rozumie pojęcia wynikania semantycznego i syntaktycznego [K_W03, K_W06, K_W12, K_W13] • Zna pojęcia naiwnej teorii mnogości. [K_W03, K_W06, K_W12, K_W13] • Zna podstawowe pojęcia teorii relacji, zna pojęcie relacji [K_W03, K_W06, K_W12, K_W13] • zna pojęcie równoważności i relacji porządkującej. [K_W03, K_W06, K_W12, K_W13] • Zna pojęcie równoliczności, zbioru skończonego i nieskończonego. [K_W03, K_W06, K_W12, K_W13] • Zna podstawowe pojęcia teorii definicji i rozumowań. [K_W03, K_W06, K_W12, K_W13] Nabyte umiejętności • Potrafi prowadzić analizę logiczną wyrażeń języka naturalnego z użyciem technik klasycznego rachunku zdań [K_U05, K_U06, K_U07, K_U08] • Potrafi prowadzić analizę logiczną wyrażeń języka naturalnego z użyciem technik klasycznego rachunku predykatów [K_U05, K_U06, K_U07, K_U08] • Potrafi ustalić zależności logiczne między zdaniami [K_U05, K_U06, K_U07, K_U08] • Potrafi ustalić schemat wnioskowania [K_U05, K_U06, K_U07, K_U08] • Potrafi zbadać formalne własności relacji. [K_U05, K_U06, K_U07, K_U08] • Potrafi ustalić podstawowe fakty teoriomnogościowe [K_U05, K_U06, K_U07, K_U08] • Potrafi przeprowadzić analizę definicji i rozumowania [K_U05, K_U06, K_U07, K_U08] Nabyte kompetencje społeczne: Student: • Umie selekcjonować i porządkować informacje uzyskane w procesie komunikacji [K_K02, K_K10] • Potrafi śledzić tok myślenia innych osób [K_K02, K_K10] • Umie uważnie słuchać innych [K_K02, K_K10] Nabyte kompetencje społeczne: ćwiczenia • Potrafi pracować w grupie. • Potrafi jasno i precyzyjnie mówić o abstrakcyjnych zagadnieniach. [K_K02, K_K10] |
Metody i kryteria oceniania: |
Wykład: egzamin pisemny. Ćwiczenia: ocena końcowa składa się w 50% z wyniku uzyskanego na platformie internetowej, a w 50% z wyników pisemnych kolokwiów. Uczestnictwo w zajęciach jest obowiązkowe (dopuszcza się dwie nieobecności w semestrze). Zajęcia będą odbywać się w formie synchronicznej z wykorzystaniem aplikacji Zoom. Wszystkie materiały i sprawdziany będą udostępniane na platformie Kampus. |
Właścicielem praw autorskich jest Uniwersytet Warszawski.