Uniwersytet Mikołaja Kopernika w Toruniu - Centralny punkt logowaniaNie jesteś zalogowany | zaloguj się
katalog przedmiotów - pomoc

Logic as a Tool

Informacje ogólne

Kod przedmiotu: 2400-OG-EN-LT Kod Erasmus / ISCED: (brak danych) / (0229) Nauki humanistyczne (inne)
Nazwa przedmiotu: Logic as a Tool
Jednostka: Wydział Filozofii i Nauk Społecznych
Grupy: Blok Programu ERASMUS+ WH
Przedmioty ogólnouniwersyteckie
Zajęcia ogólnouniwersyteckie w j. obcym na WFiNS
Punkty ECTS i inne: 4.00 LUB 3.00 (zmienne w czasie)
zobacz reguły punktacji
Język prowadzenia: angielski
Wymagania wstępne:

(tylko po angielsku) None

Rodzaj przedmiotu:

przedmiot fakultatywny

Całkowity nakład pracy studenta:



Efekty uczenia się - wiedza:



Efekty uczenia się - umiejętności:



Efekty uczenia się - kompetencje społeczne:

(tylko po angielsku) K_K03 Student recognizes problems to which tools of logic may be applied. He/She tries to solve such problems unassisted.

Metody dydaktyczne:

(tylko po angielsku) Lecture and conversation with students

Metody dydaktyczne podające:

- opis
- wykład informacyjny (konwencjonalny)
- wykład konwersatoryjny

Metody dydaktyczne poszukujące:

- ćwiczeniowa
- klasyczna metoda problemowa

Skrócony opis: (tylko po angielsku)

The main objective of the course is to familiarize audience with basic concepts of logic and applications of logic in analysis of natural language. I will start from presentation of fundamental notions such as truth, consistency, validity, logical constant and truth functionality in the first part of the course. The second will be devoted to more advanced topics such as formalization of arguments and logical interpretations of conditionals. Philosophical motivations and perspective of the problems presented during the course will serve as a referring point for aforementioned topics.

Pełny opis: (tylko po angielsku)

The objective of the course is presentation of logic that locates its subject in historical and philosophical context as this branch of knowledge which provides tools for solving problems which human thought have faced since antiquity until contemporary times.

Particular emphasis will be on the role of logic in analysis of deductive sciences, their philosophy and methodology.

Complete course embraces the following topics.

1. The subject of logic, logic as theory of reasoning.

2. Branches of logic and their characteristics: semantics, syntacticts, methodology of sciences, formal logic.

3. Logical fallacies: equivocation, amphiboly, inconsistency.

4. Reasonings, models of reasonings.

5. Consequence, analytical consequence, logi cal consequence.

6. Justification of sentences, deductive justifications, proofs.

7. Notions of a true sentence, logical value and logical proposition/sentence.

8 Logical constans: negation, conjunction, disjunction, material implication, material equivalence. Extensional and intensional connectives. De Morgan’s laws. Conditionals and material implication. Quantifiers.

9. Foundations of the theory of logical consequence.

10. Formal proofs.

Literatura: (tylko po angielsku)

1. D. Hofstadter Gödel, Escher, Bach: an Eternal Golden Braid, Penguin, 1999

2. M. Sainsbury Logical Forms: An Introduction to Philosophical Logic, Wiley-Blackwell, 2000

3. W.V.O. Quine Philosophy of logic, Harvard University Press, 2009 (2nd edition)

Metody i kryteria oceniania: (tylko po angielsku)

The criteria for the evaluation of students:

1. multiple-choice test plus problems and exercises to solve,

2. one larger homework after first five meetings,

3. activity,

4. class attendance – one absence is accepted.

Final grade will be estimated according to the following criteria:

1. Partial grades: homework graded according to the standard scale: from 2 to 5.

2. Final test graded according to the standard scale.

3. Activity: each class meeting may be rewarded with 1 point for activity. Points will be converted to grades as follows:

• 0 pts. – 2,

• 1-2 pts. – 3,

• 3-4 pts. – 3+,

• 5-6 pts. – 4,

• 7-8 pts. – 4+

• 9-10 pts. – 5.

Total grade: 25% activity, 25% homework, 50% final test.

Praktyki zawodowe: (tylko po angielsku)

NA

Zajęcia w cyklu "Semestr zimowy 2017/18" (zakończony)

Okres: 2017-10-01 - 2018-02-25
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Konwersatorium, 20 godzin, 25 miejsc więcej informacji
Koordynatorzy: Rafał Gruszczyński
Prowadzący grup: Rafał Gruszczyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Zaliczenie na ocenę
Konwersatorium - Zaliczenie na ocenę

Zajęcia w cyklu "Semestr letni 2017/18" (zakończony)

Okres: 2018-02-26 - 2018-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Konwersatorium, 20 godzin, 25 miejsc więcej informacji
Koordynatorzy: Rafał Gruszczyński
Prowadzący grup: Rafał Gruszczyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Zaliczenie na ocenę
Konwersatorium - Zaliczenie na ocenę

Zajęcia w cyklu "Semestr letni 2018/19" (zakończony)

Okres: 2019-02-25 - 2019-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Konwersatorium, 20 godzin więcej informacji
Koordynatorzy: Rafał Gruszczyński
Prowadzący grup: Rafał Gruszczyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Zaliczenie na ocenę
Konwersatorium - Zaliczenie na ocenę

Zajęcia w cyklu "Semestr letni 2019/20" (zakończony)

Okres: 2020-02-29 - 2020-09-20
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Wykład, 20 godzin więcej informacji
Koordynatorzy: Rafał Gruszczyński
Prowadzący grup: Rafał Gruszczyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Zaliczenie na ocenę
Wykład - Zaliczenie na ocenę

Zajęcia w cyklu "Semestr letni 2020/21" (w trakcie)

Okres: 2021-02-22 - 2021-09-20
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Wykład, 20 godzin więcej informacji
Koordynatorzy: Rafał Gruszczyński
Prowadzący grup: Rafał Gruszczyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Zaliczenie na ocenę
Wykład - Zaliczenie na ocenę

Zajęcia w cyklu "Semestr letni 2021/22" (jeszcze nie rozpoczęty)

Okres: 2022-02-28 - 2022-09-20
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Wykład, 20 godzin więcej informacji
Koordynatorzy: Rafał Gruszczyński
Prowadzący grup: Rafał Gruszczyński
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Zaliczenie na ocenę
Wykład - Zaliczenie na ocenę
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Mikołaja Kopernika w Toruniu.