Logic 2
General data
Course ID: | WF-FI-N11-L2 |
Erasmus code / ISCED: |
08.1
|
Course title: | Logic 2 |
Name in Polish: | Logika 2 |
Organizational unit: | Institute of Philosophy |
Course groups: |
(in Polish) Przedmioty obowiązkowe I rok |
ECTS credit allocation (and other scores): |
5.00
|
Language: | Polish |
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; |
Preliminary Requirements: | (in Polish) Ukończony kurs logiki 1 w semestrze zimowym |
Short description: |
(in Polish) Kurs jest kontynuacją tematyki prezentowanej w semestrze zimowym w ramach przedmiotu Logika 1. Omawia się wybrane systemy: rachunek predykatów z identycznością, rachunek zbiorów, rachunek relacji oraz sylogistykę (którą przedstawiamy także w sposób tradycyjny) i jako przykład sformalizowanej teorii filozoficznej - Ontologię Stanisława Leśniewskiego. W kursie uwzględniamy ponadto omówienie podstawowych pojęć teoriomodelowych z zakresu interpretacji języków predykatów I rzędu: warościowanie, model, prawdziwość w modelu. Definiujemy i wyjaśniamy także pojęcia teorii niesprzecznej, pełnej i rozstrzygalnej. |
Full description: |
(in Polish) Kontynuujemy prezentację pojęć i twierdzeń wprowadzonych w semestrze zimowym. Zaczynamy od omówienia ram ontologicznych typu mnogościowego i atrybutywnego. Wprowadzamy sposób definiowania indukcyjnego oraz rozumowania dedukcyjno/indukcyjne (indukcja matematyczna). Rozszerzamy klasyczny rachunek predykatów z identycznością do algebry zbiorów w ujęciu Słupeckiego i Borkowskiego. Następnie omawiamy elementy teorii relacji oraz stosunek między KRZ a algebrą zbiorów. Przesuwamy akcent na zagadnienia z zakresu historii logiki i przedstawiamy tradycyjny wykład Arystotelesowskiej sylogistyki. Następnie charakteryzujemy jedną z jej współczesnych wersji w ujęciu Jana Łukasiewicza. W ostatniej części zajęć definiujemy podstawowe własności systemów dedukcyjnych: niesprzeczność, adekwatność, pełność, rozstrzygalność. W domknięciu kursu prezentujemy przykład sformalizowanej teorii filozoficznej: Ontologię Stanisława Leśniewskiego. |
Bibliography: |
(in Polish) - obowiązkowa: 1. Słupecki J., Borkowski L., Elementy logiki matematycznej i teorii mnogości, PWN, Warszawa 1984, (kontynuujemy do str. 173) 2. Borkowski L., Logika formalna, PWN Warszawa, 1980 3. Nieznański E., Logika. Podstawy, język, uzasadnianie, Beck, Warszawa 2011 (fragmenty) -uzupełniająca: Malinowski G., Logika ogólna, Wyd. Naukowe PWN Warszawa 2010 Grzegorczyk A. , Zarys logiki matematycznej PWN, Warszawa 1984 - jedna z najpiękniejszych książek z logiki |
Efekty kształcenia i opis ECTS: |
(in Polish) 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, rachunku zbiorów i rachunku relacji. Umiejętności: Student trafnie definiuje pojęcia na gruncie poznanych języków formalnych, poprawnie rekonstuuje poznane systemy dedukcyjne i potrafi stosować je w prostych rozumowaniach pozalogicznych. Kompetencje: Na podstawie analizy nowych sytuacji problemowych student samodzielnie formułuje propozycje ich rozwiązania przy użyciu poznanych systemów dedukcyjnych. 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 kolokwiów 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. mieć ukończony kurs Logika 1; 2. zaliczyć ćwiczenia do wykładu Logika 2; 3. zdać egzamin ustny w sesji letniej z wykładu Logika 2 4. uczęszczać na wykłady i ćwiczenia być obecnym na wykładach. Szczegółowe informacje dotyczące kryteriów są opisane w rubrykach informacyjnych dotyczących wykładu i ćwiczeń. |
Practical placement: |
(in Polish) nie dotyczy |
Classes in period "Summer semester 2021/22" (past)
Time span: | 2022-02-01 - 2022-06-30 |
Navigate to timetable
MO TU CW
CW
W TH FR WYK
|
Type of class: |
Classes, 30 hours, 30 places
Lectures, 30 hours, 60 places
|
|
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) Kurs jest kontynuacją tematyki prezentowanej w semestrze zimowym. Omawia się wybrane systemy oparte na ontologii mnogościowej (algebra zbiorów) i atrybutywnej (logika nazw Arystotelesa). Definiuje się związki między wybranymi fragmentami klasycznej logiki a teorią zbiorów. Kurs obejmuje ponadto podstawowe informacje z zakresu logik nieklasycznych (logiki modalne, deontyczne). Pokazuje się także elementy zastosowań logiki do filozofii. Kurs przeznaczony jest dla studentów, którzy ukończyli |
|
Full description: |
(in Polish) Kontynuujemy prezentację pojęć i twierdzeń wprowadzonych w semestrze zimowym. Zaczynamy od omówienia ram ontologicznych typu mnogościowego i atrybutywnego. Wprowadzamy sposób definiowania indukcyjnego oraz rozumowania dedukcyjno/indukcyjne (indukcja matematyczna). Rozszerzamy klasyczny rachunek predykatów z identycznością do algebry zbiorów w ujęciu Słupeckiego i Borkowskiego. Następnie omawiamy elementy teorii relacji oraz stosunek między KRZ a algebrą zbiorów. Przesuwamy akcent na zagadnienia z zakresu historii logiki i zastosowania logiki do filozofii. Omawiamy logikę nazw Arystotelesa w ujęciu tradycyjnym i współczesnym, następnie wprowadzamy elementy charakterystyki niektórych logik nieklasycznych (funktory modalne, temporalne deontyczne). Kurs wzbogacamy o wybrane przykłady zastosowań logiki. |
|
Bibliography: |
(in Polish) Literatura obowiązkowa 1. Słupecki J., Borkowski L., Elementy logiki matematycznej i teorii mnogości, PWN, Warszawa 1984, (do strony 172) 2. Nieznański E., Logika. Podstawy, język, uzasadnianie, Beck, Warszawa 2011 (fragmenty) Literatura uzupełniająca Wajszczyk J., Wstęp do logiki z ćwiczeniami, Wydawnictwo Uniwersytetu Warminsko-Mazurskiego 2001 |
|
Wymagania wstępne: |
(in Polish) ukończony kurs Logika 1 |
Classes in period "Summer semester 2022/23" (past)
Time span: | 2023-02-01 - 2023-06-30 |
Navigate to timetable
MO TU WYK
CW
CW
W TH FR |
Type of class: |
Classes, 30 hours, 30 places
Lectures, 30 hours, 60 places
|
|
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) Kurs jest kontynuacją tematyki prezentowanej w semestrze zimowym. Omawia się wybrane systemy oparte na ontologii mnogościowej (algebra zbiorów) i atrybutywnej (logika nazw Arystotelesa). Definiuje się związki między wybranymi fragmentami klasycznej logiki a teorią zbiorów. Kurs obejmuje ponadto podstawowe informacje z zakresu logik nieklasycznych (logiki modalne, deontyczne). Pokazuje się także elementy zastosowań logiki do filozofii. Kurs przeznaczony jest dla studentów, którzy ukończyli |
|
Full description: |
(in Polish) Kontynuujemy prezentację pojęć i twierdzeń wprowadzonych w semestrze zimowym. Zaczynamy od omówienia ram ontologicznych typu mnogościowego i atrybutywnego. Wprowadzamy sposób definiowania indukcyjnego oraz rozumowania dedukcyjno/indukcyjne (indukcja matematyczna). Rozszerzamy klasyczny rachunek predykatów z identycznością do algebry zbiorów w ujęciu Słupeckiego i Borkowskiego. Następnie omawiamy elementy teorii relacji oraz stosunek między KRZ a algebrą zbiorów. Przesuwamy akcent na zagadnienia z zakresu historii logiki i zastosowania logiki do filozofii. Omawiamy logikę nazw Arystotelesa w ujęciu tradycyjnym i współczesnym, następnie wprowadzamy elementy charakterystyki niektórych logik nieklasycznych (funktory modalne, temporalne deontyczne). Kurs wzbogacamy o wybrane przykłady zastosowań logiki. |
|
Bibliography: |
(in Polish) Literatura obowiązkowa 1. Słupecki J., Borkowski L., Elementy logiki matematycznej i teorii mnogości, PWN, Warszawa 1984, (do strony 172) 2. Nieznański E., Logika. Podstawy, język, uzasadnianie, Beck, Warszawa 2011 (fragmenty) Literatura uzupełniająca Wajszczyk J., Wstęp do logiki z ćwiczeniami, Wydawnictwo Uniwersytetu Warminsko-Mazurskiego 2001 |
|
Wymagania wstępne: |
(in Polish) ukończony kurs Logika 1 |
Classes in period "Summer semester 2023/24" (in progress)
Time span: | 2024-02-15 - 2024-06-30 |
Navigate to timetable
MO TU WYK
CW
CW
W TH FR |
Type of class: |
Classes, 30 hours, 30 places
Lectures, 30 hours, 60 places
|
|
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 |
|
Type of subject: | obligatory |
|
(in Polish) Grupa przedmiotów ogólnouczenianych: | (in Polish) nie dotyczy |
|
Short description: |
(in Polish) Kurs jest kontynuacją tematyki prezentowanej w semestrze zimowym. Zaczynamy od wtórnego pojęcia dowodu rozgałęzionego w systemie Słupeckiego-Borkowskiego dla klasycznej logiki zdaniowej. Następnie rozszerzamy CLS do klasycznej logiki predykatów. Wprowadzamy elementy semantyki oraz system dedukcji naturalnej dla KRP i KRP z identycznością w wersji Słupeckiego i Borkowskiego. W następnym kroku prezentujemy trzy rozszerzenia KRP: rachunek zbiorów, rachunek relacji i logikę nazw. Tę ostatnią porównujemy z klasycznym wykładem sylogistyki Arystotelesa. Na koniec pokazujemy uproszczoną wersję Ontologii S. Leśniewskiego. |
|
Full description: |
(in Polish) Kontynuujemy prezentację pojęć i twierdzeń wprowadzonych w semestrze zimowym. Domykamy informację z zakresu teorii dowodu dla klasycznej logiki zdaniowej. Następnie omawiamy ramy ontologiczne typu mnogościowego i atrybutywnego. Wprowadzamy sposób definiowania indukcyjnego oraz rozumowania dedukcyjno/indukcyjne (indukcja matematyczna). Rozszerzamy klasyczny rachunek predykatów z identycznością do algebry zbiorów w ujęciu Słupeckiego i Borkowskiego. Następnie omawiamy elementy teorii relacji oraz stosunek między KRZ a algebrą zbiorów. Przesuwamy akcent na zagadnienia z zakresu historii logiki i zastosowania logiki do filozofii. Omawiamy logikę nazw Arystotelesa w ujęciu tradycyjnym i współczesnym, następnie prezentujemy uproszczoną wersję Ontologii St. Leśniewskiego |
|
Bibliography: |
(in Polish) Literatura obowiązkowa 1. Słupecki J., Borkowski L., Elementy logiki matematycznej i teorii mnogości, PWN, Warszawa 1984, (do strony 172) 2. Borkowski L., Logika formalna, PWN Warszawa, 1980 3. Nieznański E., Logika. Podstawy, język, uzasadnianie, Beck, Warszawa 2011 (fragmenty) -uzupełniająca: Malinowski G., Logika ogólna, Wyd. Naukowe PWN Warszawa 2010 Grzegorczyk A. , Zarys logiki matematycznej, PWN, Warszawa 1984 - jedna z najpiękniejszych książek z logiki |
|
Wymagania wstępne: |
(in Polish) ukończony kurs Logika 1 |
Copyright by Cardinal Stefan Wyszynski University in Warsaw.