Uniwersytet im. Adama Mickiewicza w Poznaniu - Centralny System Uwierzytelniania
Strona główna

Logika [07-L-GL1-DI] Semestr zimowy 2020/2021
Ćwiczenia, grupa nr 1
Moodle ID: 353233_1

Przejdź do planu zaznaczono terminy wyświetlanej grupy
To jest strona grupy zajęciowej. Jeśli szukasz opisu przedmiotu, zobacz stronę przedmiotu
Przedmiot: Logika [07-L-GL1-DI]
Zajęcia: Semestr zimowy 2020/2021 [2020/SZ] (zakończony)
Ćwiczenia [CW], grupa nr 1 [pozostałe grupy]
Termin i miejsce: Podana informacja o terminie jest orientacyjna. W celu uzyskania pewnej informacji obejrzyj kalendarz roku akademickiego lub skontaktuj się z wykładowcą (nieregularności zdarzają się przede wszystkim w przypadku zajęć odbywających się rzadziej niż co tydzień). (brak danych)
Liczba osób w grupie: 24
Limit miejsc: 36
Prowadzący: Mariusz Szynkiewicz
Literatura:

Batóg T., Podstawy logiki, Poznań 1994

Grobler A., Metodologia nauk, Kraków 2006

Wieczorek K., Wprowadzenie do logiki dla studentów wszystkich kierunków, Warszawa 2005

Zakres tematów:

I) Znaczenie terminu logika i związki logiki z innymi dziedzinami wiedzy:

- logika a filozofia,

- logika a matematyka,

- logika a informatyka,

- logika w metodologii nauk.

II) Podstawowe pojęcia:

- język formalny a j. naturalny i j. sztuczny,

- semantyka, syntaktyka, pragmatyka,

- znak, zdanie logiczne (dalej L), wartość L., zmienna L, funktory L (rodzaje f., siła f.), znak pomocniczy,

- aksjomat, tautologia i kontrtautologia,

- twierdzenie, dowód, dowodzenie,

- definicja,

- wartości logiczne i tabelka zero-jedynkowa,

- wnioskowanie L,

- paradoks, antynomia, sofizmat,

- sylogizm i sylogistyka,

- dedukcja i indukcja (i. enumeracyjna, i. eliminacyjna, i. zupełna),

- prawdopodobieństwo L.

III) Wybrane problemy i zagadnienia logiki:

- zdania analityczne a zdania syntetyczne, zdania a priori a zdania a posteriori,

- wybrane definicje prawdy,

- schematy wnioskowań,

- metody dedukcyjne i indukcyjne (elementy metodologii nauk),

- struktura formalna prawa nauki (elementy metodologii nauk),

- paradoksy i antynomie L, (przykłady).

IV) Elementy klasycznego rachunku zdań,

- słownik,

- teoria,

- użycie.

V) Elementy rachunku kwantyfikatorów,

- słownik,

- teoria,

- użycie.

VI) Definicje:

- rodzaje definicji,

- zasady formułowania poprawnych definicji,

- najczęstsze błędy definicyjne.

VII) zdania sprawdzające do działów II - VI.

Metody dydaktyczne:

- wykład (15h),

- ćwiczenia (15h),

*wykłady prowadzone są z wykorzystaniem metod multimedialnych.

Metody i kryteria oceniania:

- zaliczenie pisemne (w oparciu o listę pytań+zadania rachunkowe)

- zakres ocen: 2 - 5

Uwagi:

1gr

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet im. Adama Mickiewicza w Poznaniu.
ul. Wieniawskiego 1
61-712 Poznań
tel: +48 61 829 4000
kontakt deklaracja dostępności USOSweb 7.0.3.0 (2024-03-22)