Logika 2

podstawowy

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;

Ukończony kurs logiki 1 w semestrze zimowym

Kurs jest kontynuacją tematyki prezentowanej w semestrze zimowym w ramach przedmiotu Logika 1. Omawia się wybrane systemy będące rozszerzeniem klasycznego rachunku predykatów z identycznością: rachunek zbiorów oraz sylogistykę (którą przedstawiamy także w sposób tradycyjny). Kurs obejmuje daje prezentację teorii relacji dwuargumentowych. W drugiej części kursu uwagę koncentrujemy na wybranych współczesnych zdaniowych logikach modalnych. Całość domykamy prezentacją wybranych metasystemowych własności teorii dedukcyjnych (definiujemy niesprzeczność, adekwatność, pełność, rozstrzygalność).

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. Kolejne tematy obejmują podstawowe zagadnienia z zakresu współczesnych logik nieklasycznych: wybrane formalizacje modalności aletycznych, epistemicznych i temporalnych zinterpretowanych w semantyce światów możliwych. W ostatniej części zajęć definiujemy podstawowe własności systemów dedukcyjnych: niesprzeczność, adekwatność, pełność, rozstrzygalność. W domknięciu kursu prezentujemy formalizacje dwóch wybranych teorii filozoficznych: jedną opartą na logice klasycznej i drugą sformułowaną z wykorzystaniem zdaniowej logiki modalnej S5.

- obowiązkowa:

1. Słupecki J., Borkowski L., Elementy logiki matematycznej i teorii mnogości, PWN, Warszawa 1984, (kontynuujemy do str. 108 do str. 173)

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

3. Świrydowicz K., Logika modalna, Wydawnictwo Naukowe UAM, Poznań 2004 (fragmenty)

-uzupełniająca:

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

2. Świrydowicz K., Podstawy logiki modalnej, Zysk i S-ka 2014

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 wybranych zdaniwoych logik modalnych.

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 sytuacjii 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

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ń.

nie dotyczy

E-Learning (pełny kurs) z podziałem na grupy

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

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.

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

ukończony kurs Logika 1

E-Learning (pełny kurs) z podziałem na grupy

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

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.

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

ukończony kurs Logika 1

E-Learning (pełny kurs) z podziałem na grupy

obowiązkowy

nie dotyczy

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

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.

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

ukończony kurs Logika 1