Wolna encyklopedia

Logika (gr. λόγος, logos - rozum) nauka normatywna, analizująca źródła poznania pod względem prawomocności czynności poznawczych z nimi związanych. Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika, jako dyscyplina normatywna, nie tylko opisuje jak faktycznie przebiegają rozumowania, ale także formułuje twierdzenia normatywne, mówiące o tym, jak rozumowania powinny przebiegać.

Spis treści

Logika filozoficzna

Zobacz więcej w osobnym artykule: Logika filozoficzna.

Logika filozoficzna to dział filozofii zajmujący się:

Logika matematyczna

Wikibooks
Zobacz podręcznik na Wikibooks: Matematyka dla liceum - Logika
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.

Literatura naukowa

Zobacz też

Wikicytaty
Zobacz w Wikicytatach kolekcję cytatów
o logice

Linki zewnętrzne

Źródło: „haslo,Logika”