Cardinal Stefan Wyszynski University in Warsaw - Central Authentication System
Strona główna

Logic 1

General data

Course ID: WF-FI-N11-L1
Erasmus code / 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) Philosophy and ethics The ISCED (International Standard Classification of Education) code has been designed by UNESCO.
Course title: Logic 1
Name in Polish: Logika 1
Organizational unit: Institute of Philosophy
Course groups: (in Polish) Przedmioty obowiązkowe I rok
ECTS credit allocation (and other scores): 5.00 Basic information on ECTS credits allocation principles:
  • the annual hourly workload of the student’s work required to achieve the expected learning outcomes for a given stage is 1500-1800h, corresponding to 60 ECTS;
  • the student’s weekly hourly workload is 45 h;
  • 1 ECTS point corresponds to 25-30 hours of student work needed to achieve the assumed learning outcomes;
  • weekly student workload necessary to achieve the assumed learning outcomes allows to obtain 1.5 ECTS;
  • work required to pass the course, which has been assigned 3 ECTS, constitutes 10% of the semester student load.
Language: Polish
(in Polish) Dyscyplina naukowa, do której odnoszą się efekty uczenia się:

philosophy
Subject level:

elementary
Learning outcome code/codes:

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;
Short description: (in Polish)

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.
Full description: (in Polish)

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. Studenci poznają następnie syntaktyczne ujęcie klasycznej logiki zdaniowej. Zaczynamy od pojęcia systemu dedukcyjnego. Następnie prezentujemy system dedukcji naturalnej w ujęciu Słupeckiego i Borkowskiego dla klasycznej logiki zdaniowej. Wprowadzamy pojęcia z zakresu teorii dowodu. Dowodzimy szeregu twierdzeń KRZ oraz reguł wtórnych. Na klasycznej logice zdaniowej budujemy klasyczny rachunek predykatów pierwszego rzędu z identycznością - prezentujemy aparat dedukcyjny oraz dowody wybranych tez i reguł wtórnych.
Bibliography: (in Polish)

-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.
Efekty kształcenia i opis ECTS: (in Polish)

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
Assessment methods and assessment criteria: (in Polish)

Aby zaliczyć przedmiot, należy:

1. zaliczyć ćwiczenia;

2. zdać ustny egzamin z wykładu;

3. być obecnym na wykładach i ćwiczeniach.

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

Warunki zaliczenia ćwiczeń i egzaminacyjne są określone w opisie szczegółowym.
Practical placement: (in Polish)

nie dotyczy

Classes in period "Winter semester 2021/22" (past)

Time span: 2021-10-01 - 2022-01-31
Selected timetable range:
Navigate to timetable
Type of class:
Classes, 30 hours, 30 places more information
Lectures, 30 hours, 60 places more information
Coordinators: Kordula Świętorzecka
Group instructors: Kordula Świętorzecka
Students list: (inaccessible to you)
Examination: Course - examination
Classes - graded credit
Lectures - examination
(in Polish) E-Learning:

(in Polish) E-Learning (pełny kurs) z podziałem na grupy
Short description: (in Polish)

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.
Full description: (in Polish)

Opis pokrywa się z opisem zamieszczonym w informacjach ogólnych o przedmiocie.
Bibliography: (in Polish)

-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: (in Polish)

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

Classes in period "Winter semester 2022/23" (past)

Time span: 2022-10-01 - 2023-01-31
Selected timetable range:
Navigate to timetable
Type of class:
Classes, 30 hours, 30 places more information
Lectures, 30 hours, 60 places more information
Coordinators: Marek Porwolik, Kordula Świętorzecka
Group instructors: Marek Porwolik, Kordula Świętorzecka
Students list: (inaccessible to you)
Examination: Course - examination
Classes - graded credit
Lectures - examination
(in Polish) E-Learning:

(in Polish) E-Learning (pełny kurs) z podziałem na grupy
Short description: (in Polish)

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.
Full description: (in Polish)

Opis pokrywa się z opisem zamieszczonym w informacjach ogólnych o przedmiocie.
Bibliography: (in Polish)

-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: (in Polish)

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

Classes in period "Winter semester 2023/24" (past)

Time span: 2023-10-01 - 2024-01-31
Selected timetable range:
Navigate to timetable
Type of class:
Classes, 30 hours, 30 places more information
Lectures, 30 hours, 60 places more information
Coordinators: Marek Porwolik, Kordula Świętorzecka
Group instructors: Marek Porwolik, Kordula Świętorzecka
Students list: (inaccessible to you)
Examination: Course - examination
Classes - graded credit
Lectures - examination
(in Polish) E-Learning:

(in Polish) E-Learning (pełny kurs) z podziałem na grupy
Type of subject:

obligatory
(in Polish) Grupa przedmiotów ogólnouczenianych:

(in Polish) nie dotyczy
Short description: (in Polish)

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.
Full description: (in Polish)

Opis pokrywa się z opisem zamieszczonym w informacjach ogólnych o przedmiocie.
Bibliography: (in Polish)

-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: (in Polish)

Student powinien znać elementy gramatyki języka polskiego i mieć znajomość elementów matematyki na poziomie licealnym podstawowym.
Course descriptions are protected by copyright.
Copyright by Cardinal Stefan Wyszynski University in Warsaw.
ul. Dewajtis 5,
01-815 Warszawa tel: +48 22 561 88 00 https://uksw.edu.pl contact accessibility statement mapa serwisu USOSweb 7.0.4.0-1 (2024-05-13)