Logika
Z Wikipedii
Logika zajmuje się analizą poprawnego rozumowania. Jest dyscypliną normatywną, więc zajmuje się tym jak co powinno działać, powinnością samą. Od wieków toczy się spór czy logika jest nauką czy umiejętnością, ponieważ jest też dyscypliną praktyczną. Wielokrotnie "czysta logika" jest nazywana "nauką o nauce".
Spis treści |
[edytuj] Logika filozoficzna
-
Zobacz więcej w osobnym artykule: Logika filozoficzna.
Logika filozoficzna to dział filozofii zajmujący się:
- Filozoficznymi problemami logiki (filozofią logiki),
- Zastosowaniem logiki do zagadnień filozoficznych (logiką filozofii),
- Zagadnieniami filozofii języka.
[edytuj] Logika matematyczna
-
Zobacz więcej w osobnym artykule: Logika matematyczna.
Logika matematyczna, to dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Koncentruje się on na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki.
Formalizowanie logiki filozoficznej przez logikę matematyczną polega na tworzeniu systemów algebraicznych, dzięki którym można zamiast słownych określeń stosować symbole zdań oraz dokonywać obliczeń symbolicznych.
Twórcami logiki matematycznej byli m.in. George Boole, Gottlob Frege, Edmund Husserl i Bertrand Russell, a do jej rozwoju przyczynili się między innymi: Alonzo Church, Kurt Gödel oraz Polacy Alfred Tarski i Jan Łukasiewicz.
[edytuj] Zobacz też
- Historia logiki
- Logicy
- Logika epistemiczna
- Logika wolna
- Logika modalna
- Logika wielowartościowa
- Logika intuicjonistyczna
- Przegląd zagadnień z zakresu logiki
- Przegląd zagadnień z zakresu matematyki
[edytuj] Linki zewnętrzne
- Skrypt z Logiki dla informatyków prof. Leszka Pacholskiego, rektora UWr
- Polskie Towarzystwo Logiki i Filozofii Nauki
- Obszerny zbiór zasobów - podręczniki, linki do stron itp. zebrany przez pracowników Zakładu Logiki Stosowanej UAM
- Skrypt do nauki podstaw logiki w formie spakowanych dokumentów Worda do ściągnięcia
- Samouczek logiki zdań i logiki kwantyfikatorów
- Logika u podstaw - prywatna strona Romazura
