Dodaj tę stronę do książki
Pokaż książkę (0 stron)
Proponowane stronyLogika (gr. λόγος, logos – rozum, słowo) – wedle klasycznej definicji – nauka o sposobach jasnego i ścisłego formułowania myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Jako taka wraz z retoryką logika stanowiła część filozofii[1]. Współczesna logika wykorzystując metodę formalną znacznie rozszerzyła pole badań włączając w to badania nad matematyką (metamatematyka, logika matematyczna), konstruowanie nowych systemów logicznych (np. logiki wielowartościowe), czysto teoretyczne badania o matematycznym charakterze (np. teoria modeli), zastosowania logiki w informatyce i sztucznej inteligencji (logic for computer science)[2].
Spis treści |
Logika jako dział filozofii to 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ć[3].
Pod nazwą logika filozoficzna rozumie się dział filozofii zajmujący się:
 |
Ta sekcja od 2012-02 wymaga uzupełnienia źródeł podanych informacji. Informacje nieweryfikowalne mogą zostać zakwestionowane i usunięte. Aby uczynić sekcję weryfikowalną, należy podać przypisy do materiałów opublikowanych w wiarygodnych źródłach. Adnotacja: kto, kiedy i gdzie dokonał pełnej formalizacji matematyki?. |
Logika matematyczna (zwana też metamatematyką), 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. Jej przedmiotem są formalne teorie matematyczne i ich modele, dowody oraz zasięg matematycznych rozumowań. W badaniach stosuje się wyłącznie ścisłe i formalne metody matematyki.
Do największych osiągnięć logiki matematycznej należą pełna formalizacja matematyki oraz słynne Twierdzenie Gödla o niezupełności. Twórcami logiki matematycznej byli m.in. George Boole, Gottlob Frege, David Hilbert i Bertrand Russell, a do jej rozwoju przyczynili się między innymi: Alonzo Church, Kurt Gödel oraz Polacy Alfred Tarski i Jan Łukasiewicz.
Formalny charakter logiki współczesnej sprawił, że nie tylko przyczyniła się ona do w znacznym stopniu do rozwoju technologii komputerowej, ale też pewne jej działy rozwijają się obecnie w ramach informatyki teoretycznej. Do zagadnień informatycznych o logicznym charakterze należą: systemy przepisywania (rewriting systems), teoria typów, weryfikacja programów (logiki dynamiczne), różne aspekty złożoności obliczeniowej, sieci przełączające (funkcje boolowskie), formalna semantyka języków programowania, programowanie logiczne.
Szczególny charakter ma próba zastosowania osiągnięć logiki formalnej w sztucznej inteligencji. Próba ta nie zakończyła się jeszcze wyraźnym sukcesem[4]. Do częściowych sukcesów można zaliczyć praktyczne osiągnięcia w zakresie automatycznego dowodzenia twierdzeń oraz systemów ekspertowych.
