Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie - Centralny System Uwierzytelniania
Strona główna

Logika 1

Informacje ogólne

Kod przedmiotu: WF-FI-N11-L1
Kod Erasmus / ISCED: 08.1 Kod klasyfikacyjny przedmiotu składa się z trzech do pięciu cyfr, przy czym trzy pierwsze oznaczają klasyfikację dziedziny wg. Listy kodów dziedzin obowiązującej w programie Socrates/Erasmus, czwarta (dotąd na ogół 0) – ewentualne uszczegółowienie informacji o dyscyplinie, piąta – stopień zaawansowania przedmiotu ustalony na podstawie roku studiów, dla którego przedmiot jest przeznaczony. / (0223) Filozofia i etyka Kod ISCED - Międzynarodowa Standardowa Klasyfikacja Kształcenia (International Standard Classification of Education) została opracowana przez UNESCO.
Nazwa przedmiotu: Logika 1
Jednostka: Instytut Filozofii
Grupy: Przedmioty obowiązkowe I rok
Punkty ECTS i inne: 5.00 Podstawowe informacje o zasadach przyporządkowania punktów ECTS:
  • roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS;
  • tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h;
  • 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się;
  • tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS;
  • nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta.
Język prowadzenia: polski
Dyscyplina naukowa, do której odnoszą się efekty uczenia się:

filozofia
Poziom przedmiotu:

podstawowy
Symbol/Symbole kierunkowe efektów uczenia się:

FI1_W06; FI1_W08; FI1_W10; FI1_U03; FI1_U05; FI1_U08; FI1_W06; FI1_W08; FI1_W10; FI1_U02; FI1_U03; FI1_U05; FI1_U08; FI1_K02;
Wymagania wstępne:

Brak wymagań wstępnych.
Skrócony opis:

W ramach kursu prezentuje się podstawowe informacje dotyczące budowy logiki klasycznej: klasycznego rachunku zdań i klasycznego rachunku predykatów z identycznością oraz elementy jej zastosowań do filozofii. Kurs obejmuje także wiadomości z zakresu semiotyki logicznej w tym zakresie, w jakim jest to potrzebne do zrealizowania podstawowego zadania: prezentacji teorii wynikania logicznego opartej na logice klasycznej. Zajęcia są częścią kursu rocznego - w semestrze letnim kontynuowany jest wykład z ćwiczeniami z logiki dla filozofów pod nazwą: Logika 2.
Pełny opis:

W ramach dwustopniowego kursu logiki zaczynamy od prezentacji podstawowych pojęć z zakresu semiotyki logicznej, uczymy metody sprawdzania spójności wyrażeń. W drugim kroku definiujemy klasyczne znaczenia spójników prawdziwościowych, definiujemy pojęcie tautologii logiki klasycznej i wprowadzamy pojęcie wynikania logicznego. Przedstawiamy także zastosowania wprowadzonych pojęć na gruncie parafrazowanego języka naturalnego i tzw. problemu formy logicznej. Studenci poznają następnie syntaktyczne ujęcie klasycznej logiki zdaniowej. Wprowadzamy pojęcia z zakresu teorii dowodu. Następnie wprowadzamy klasyczny rachunek predykatów pierwszego rzędu z identycznością - prezentujemy intuicyjną semantykę, aparat dedukcyjny oraz dowody wybranych tez i reguł.
Literatura:

-obowiązkowa:

1. Ajdukiewicz K., "O spójności syntaktycznej", w: Język i poznanie. T1, PWN, Warszawa 1985, s. 222-242;

2. Słupecki J., Borkowski L., Elementy logiki matematycznej i teorii mnogości, PWN, Warszawa 1984, do strony 172;

3. Nieznański E., Logika. Podstawy, język, uzasadnianie, Beck, Warszawa 2011 (fragmenty),

4. Stanosz, B., Wprowadzenie do logiki formalnej, PWN;

5. Stanosz, B. Ćwiczenia z logiki, PWN;

- uzupełniająca:

1. Malinowski G. Logika ogólna, PWN Warszawa 2010;

2. Wajszczyk J., Wstęp do logiki z ćwiczeniami, Wydawnictwo Uniwersytetu Warminsko-Mazurskiego 2001.

3. Teresa Hołówka, Kultura logiczna w przykładach, PWN.
Efekty kształcenia i opis ECTS:

1. Wiedza: Student ma uporządkowaną znajomość i rozumie główne kierunki badań w zakresie logiki; zna podstawowe metody badawcze: metodę analizy logicznej, dedukcję sformalizowaną (dowodzenie, wnioskowanie) w ramach logiki klasycznej.

2. Umiejętności: Student trafnie definiuje pojęcia na gruncie poznanych języków formalnych, poprawnie stosuje wybrane pojęcia logiczne, zna scharakteryzowane systemy dedukcyjne logiki klasycznej

3. Kompetencje: Na podstawie analizy nowych sytuacji problemowych z zakresu logiki student samodzielnie formułuje propozycje ich rozwiązania - potrafi samodzielnie konstruować dowody nowych lematów i twierdzeń, falsyfikować formuły nietautologiczne, orzekać czy zachodzi wynikanie logiczne w prostych rozumowaniach pozalogicznych.

OPIS ECTS: udział w wykładzie 30; przygotowanie do wykładu 30; czas na uzupełnienie informacji z wykładu tymi, które są prezentowane na ćwiczeniach 30; przygotowanie do kartkówek 15, przygotowanie do egzaminu 40; SUMA GODZIN 150; [150 : 30 =5]; LICZBA ECTS 5
Metody i kryteria oceniania:

Aby zaliczyć przedmiot, należy:

1. zaliczyć ćwiczenia;

2. zdać egzamin z wykładu;

3. być obecnym na ćwiczeniach, obecność na wykładach jest nieobowiązkowa, ale może być dużą pomocą w zrozumieniu przedmiotu.

Uwaga: Brak zaliczenia ćwiczeń uniemożliwia przystąpienie do egzaminu.

Warunki zaliczenia ćwiczeń i egzaminacyjne są określone w opisie szczegółowym.
Praktyki zawodowe:

nie dotyczy

Zajęcia w cyklu "Semestr zimowy 2021/22" (zakończony)

Okres: 2021-10-01 - 2022-01-31
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia, 30 godzin, 30 miejsc więcej informacji
Wykład, 30 godzin, 60 miejsc więcej informacji
Koordynatorzy: Kordula Świętorzecka
Prowadzący grup: Kordula Świętorzecka
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzaminacyjny
Ćwiczenia - Zaliczenie na ocenę
Wykład - Egzaminacyjny
E-Learning:

E-Learning (pełny kurs) z podziałem na grupy
Skrócony opis:

Opis pokrywa się z treścią opisu zamieszczonego w informacjach ogólnych o przedmiocie.

W ramach kursu prezentuje się podstawowe informacje dotyczące budowy logiki klasycznej: klasycznego rachunku zdań i klasycznego rachunku predykatów z identycznością oraz elementy jej zastosowań do filozofii. Kurs obejmuje także wiadomości z zakresu semiotyki logicznej w tym zakresie, w jakim jest to potrzebne do zrealizowania podstawowego zadania: prezentacji teorii wynikania logicznego opartej na logice klasycznej. Zajęcia są częścią kursu rocznego - w semestrze letnim kontynuowany jest wykład z ćwiczeniami z logiki dla filozofów pod nazwą: Logika 2.
Pełny opis:

Opis pokrywa się z opisem zamieszczonym w informacjach ogólnych o przedmiocie.
Literatura:

-obowiązkowa:

1. Ajdukiewicz K., "O spójności syntaktycznej", w: Język i poznanie. T1, PWN, Warszawa 1985, s. 222-242;

2. Słupecki J., Borkowski L., Elementy logiki matematycznej i teorii mnogości, PWN, Warszawa 1984, do strony 172;

3. Nieznański E., Logika. Podstawy, język, uzasadnianie, Beck, Warszawa 2011 (fragmenty),

- uzupełniająca:

1. Malinowski G. Logika ogólna, PWN Warszawa 2010;

2. Wajszczyk J., Wstęp do logiki z ćwiczeniami, Wydawnictwo Uniwersytetu Warminsko-Mazurskiego 2001.
Wymagania wstępne:

Student powinien znać elementy gramatyki języka polskiego i mieć znajomość elementów matematyki na poziomie licealnym podstawowym.

Zajęcia w cyklu "Semestr zimowy 2022/23" (zakończony)

Okres: 2022-10-01 - 2023-01-31
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia, 30 godzin, 30 miejsc więcej informacji
Wykład, 30 godzin, 60 miejsc więcej informacji
Koordynatorzy: Marek Porwolik, Kordula Świętorzecka
Prowadzący grup: Marek Porwolik, Kordula Świętorzecka
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzaminacyjny
Ćwiczenia - Zaliczenie na ocenę
Wykład - Egzaminacyjny
E-Learning:

E-Learning (pełny kurs) z podziałem na grupy
Skrócony opis:

Opis pokrywa się z treścią opisu zamieszczonego w informacjach ogólnych o przedmiocie.

W ramach kursu prezentuje się podstawowe informacje dotyczące budowy logiki klasycznej: klasycznego rachunku zdań i klasycznego rachunku predykatów z identycznością oraz elementy jej zastosowań do filozofii. Kurs obejmuje także wiadomości z zakresu semiotyki logicznej w tym zakresie, w jakim jest to potrzebne do zrealizowania podstawowego zadania: prezentacji teorii wynikania logicznego opartej na logice klasycznej. Zajęcia są częścią kursu rocznego - w semestrze letnim kontynuowany jest wykład z ćwiczeniami z logiki dla filozofów pod nazwą: Logika 2.
Pełny opis:

Opis pokrywa się z opisem zamieszczonym w informacjach ogólnych o przedmiocie.
Literatura:

-obowiązkowa:

1. Ajdukiewicz K., "O spójności syntaktycznej", w: Język i poznanie. T1, PWN, Warszawa 1985, s. 222-242;

2. Słupecki J., Borkowski L., Elementy logiki matematycznej i teorii mnogości, PWN, Warszawa 1984, do strony 172;

3. Nieznański E., Logika. Podstawy, język, uzasadnianie, Beck, Warszawa 2011 (fragmenty),

- uzupełniająca:

1. Malinowski G. Logika ogólna, PWN Warszawa 2010;

2. Wajszczyk J., Wstęp do logiki z ćwiczeniami, Wydawnictwo Uniwersytetu Warminsko-Mazurskiego 2001.
Wymagania wstępne:

Student powinien znać elementy gramatyki języka polskiego i mieć znajomość elementów matematyki na poziomie licealnym podstawowym.

Zajęcia w cyklu "Semestr zimowy 2023/24" (zakończony)

Okres: 2023-10-01 - 2024-01-31
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia, 30 godzin, 30 miejsc więcej informacji
Wykład, 30 godzin, 60 miejsc więcej informacji
Koordynatorzy: Marek Porwolik, Kordula Świętorzecka
Prowadzący grup: Marek Porwolik, Kordula Świętorzecka
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzaminacyjny
Ćwiczenia - Zaliczenie na ocenę
Wykład - Egzaminacyjny
E-Learning:

E-Learning (pełny kurs) z podziałem na grupy
Skrócony opis:

Opis pokrywa się z treścią opisu zamieszczonego w informacjach ogólnych o przedmiocie.

W ramach kursu prezentuje się podstawowe informacje dotyczące budowy logiki klasycznej: klasycznego rachunku zdań i klasycznego rachunku predykatów z identycznością oraz elementy jej zastosowań do filozofii. Kurs obejmuje także wiadomości z zakresu semiotyki logicznej w tym zakresie, w jakim jest to potrzebne do zrealizowania podstawowego zadania: prezentacji teorii wynikania logicznego opartej na logice klasycznej. Zajęcia są częścią kursu rocznego - w semestrze letnim kontynuowany jest wykład z ćwiczeniami z logiki dla filozofów pod nazwą: Logika 2.
Pełny opis:

Opis pokrywa się z opisem zamieszczonym w informacjach ogólnych o przedmiocie.
Literatura:

-obowiązkowa:

1. Ajdukiewicz K., "O spójności syntaktycznej", w: Język i poznanie. T1, PWN, Warszawa 1985, s. 222-242;

2. Słupecki J., Borkowski L., Elementy logiki matematycznej i teorii mnogości, PWN, Warszawa 1984, do strony 172;

3. Nieznański E., Logika. Podstawy, język, uzasadnianie, Beck, Warszawa 2011 (fragmenty),

- uzupełniająca:

1. Malinowski G. Logika ogólna, PWN Warszawa 2010;

2. Wajszczyk J., Wstęp do logiki z ćwiczeniami, Wydawnictwo Uniwersytetu Warminsko-Mazurskiego 2001.
Wymagania wstępne:

Student powinien znać elementy gramatyki języka polskiego i mieć znajomość elementów matematyki na poziomie licealnym podstawowym.

Zajęcia w cyklu "Semestr zimowy 2024/25" (w trakcie)

Okres: 2024-10-01 - 2025-01-31
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Ćwiczenia, 30 godzin, 30 miejsc więcej informacji
Wykład, 30 godzin, 60 miejsc więcej informacji
Koordynatorzy: Marek Porwolik, Konrad Zdanowski
Prowadzący grup: Marek Porwolik, Konrad Zdanowski
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzaminacyjny
Ćwiczenia - Zaliczenie na ocenę
Wykład - Egzaminacyjny
E-Learning:

E-Learning (pełny kurs) z podziałem na grupy
Opis nakładu pracy studenta w ECTS:

OPIS ECTS: udział w wykładzie 30; przygotowanie do wykładu 30; czas na uzupełnienie informacji z wykładu tymi, które są prezentowane na ćwiczeniach 30; przygotowanie do kartkówek 15, przygotowanie do egzaminu 40; SUMA GODZIN 150; [150 : 30 =5]; LICZBA ECTS 5
Typ przedmiotu:

obowiązkowy
Grupa przedmiotów ogólnouczenianych:

nie dotyczy
Skrócony opis:

Opis pokrywa się z treścią opisu zamieszczonego w informacjach ogólnych o przedmiocie.

W ramach kursu prezentuje się podstawowe informacje dotyczące budowy logiki klasycznej: klasycznego rachunku zdań i klasycznego rachunku predykatów z identycznością oraz elementy jej zastosowań do filozofii. Kurs obejmuje także wiadomości z zakresu semiotyki logicznej w tym zakresie, w jakim jest to potrzebne do zrealizowania podstawowego zadania: prezentacji teorii wynikania logicznego opartej na logice klasycznej. Zajęcia są częścią kursu rocznego - w semestrze letnim kontynuowany jest wykład z ćwiczeniami z logiki dla filozofów pod nazwą: Logika 2.
Pełny opis:

Opis pokrywa się z opisem zamieszczonym w informacjach ogólnych o przedmiocie.
Literatura:

-obowiązkowa:

1. Ajdukiewicz K., "O spójności syntaktycznej", w: Język i poznanie. T1, PWN, Warszawa 1985, s. 222-242;

2. Słupecki J., Borkowski L., Elementy logiki matematycznej i teorii mnogości, PWN, Warszawa 1984, do strony 172;

3. Nieznański E., Logika. Podstawy, język, uzasadnianie, Beck, Warszawa 2011 (fragmenty),

4. Stanosz, B., Wprowadzenie do logiki formalnej, PWN;

5. Stanosz, B. Ćwiczenia z logiki, PWN;

- uzupełniająca:

1. Malinowski G. Logika ogólna, PWN Warszawa 2010;

2. Wajszczyk J., Wstęp do logiki z ćwiczeniami, Wydawnictwo Uniwersytetu Warminsko-Mazurskiego 2001.

3. Teresa Hołówka, Kultura logiczna w przykładach, PWN.
Wymagania wstępne:

Student powinien znać elementy gramatyki języka polskiego i mieć znajomość elementów matematyki na poziomie licealnym podstawowym.
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.
ul. Dewajtis 5,
01-815 Warszawa tel: +48 22 561 88 00 https://uksw.edu.pl kontakt deklaracja dostępności mapa serwisu USOSweb 7.1.0.0-8 (2024-11-08)