Logika
Z Wikipedii
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 |
[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] Literatura naukowa
- Mieczysław Omyła: "Zarys logiki" WSiP, Warszawa 1995
- Barbara Stanosz: "Wprowadzenie do logiki formalnej" PWN, Warszawa 1999
[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
- 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
- Samouczek logiki zdań i logiki kwantyfikatorów dla humanistów, prawników i innych amatorów
| Światowy Dzień Osób Niepełnosprawnych |
|
Ponad 650 mln osób na świecie jest niepełnosprawnych; stanowi to ok. 10 proc. ludności. 3 grudnia obchodzimy Światowy Dzień Osób Niepełnosprawnych. Z tej okazji we wtorek w Senacie odbyła się konferencja pt. "Niepełnosprawni w podróży".
|
| Zatrzymani ws. korupcji w polskiej piłce nożnej |
|
W związku ze śledztwem dotyczącym korupcji w polskiej piłce nożnej zatrzymane zostały dwie osoby. Poinformował o tym Wojciech Wybraniec z biura prasowego Komendy Wojewódzkiej Policji we Wrocławiu. Nie chciał jednak ujawnić żadnych szczegółów zatrzymania.
|
| PiS chce odwołania Komorowskiego |
|
Klub PiS podjął dziś decyzję o złożeniu wniosku o odwołanie marszałka Sejmu Bronisława Komorowskiego (PO) - poinformował na konferencji prasowej w Sejmie szef klubu PiS Przemysław Gosiewski.
|
| Wojskowy oskarżony kierowanie grupą przestępczą |
|
Przed Wojskowym Sądem Okręgowym w Poznaniu ruszył we wtorek Proces byłego szefa Rejonowego Zarządu Infrastruktury w Zielonej Górze ppłk. rezerwy Henryka W.
|
| Akt oskarżenia ws. korupcji na przejściu |
|
O wręczanie łapówek funkcjonariuszom celnym z przejścia granicznego w Medyce (Podkarpackie) oskarżonych zostało 12 osób. Akt oskarżenia w tej sprawie Prokuratura Okręgowa w Przemyślu skierowała do miejscowego sądu rejonowego.
|