Logika to dziedzina filozofii, której celem jest badanie formalnej struktury wypowiedzi (sądów) i ich reguł. Krótko mówiąc, logika służy poprawnemu myśleniu, będąc w ten sposób narzędziem poprawnego myślenia.
Logika pochodzi od greckiego słowa logo, co oznacza rozum, argument lub mowę. Idea mówienia i kłótni zakłada, że to, co się mówi, ma znaczenie dla słuchacza.
Ten sens opiera się na strukturze logicznej, gdy coś „ma logikę” oznacza, że ma sens, jest to argument racjonalny.
Logika w filozofii
Był to grecki filozof Arystoteles (384 rok). C.-322 C.), który stworzył studium logiki, nazwał je analitycznym.
Dla niego każda wiedza, która udaje prawdziwą i uniwersalną, powinna respektować pewne zasady, zasady logiczne.
Logika (lub analityka) zaczęła być rozumiana jako instrument prawidłowego myślenia i definicja elementów logicznych, które leżą u podstaw prawdziwej wiedzy.
Zasady logiczne
Arystoteles rozwinął się trzy podstawowe zasady które kierują logiką klasyczną.
1. zasada tożsamości
Istota jest zawsze identyczna z sobą:
TEN é TEN. Jeśli wymienimy TEN dla Marii na przykład jest to: Maria to Maria.2. Zasada niesprzeczności
Nie można być i nie być jednocześnie, ani by jeden byt był jednocześnie jego przeciwieństwem. to niemożliwe TEN być TEN i nie-A, w tym samym czasie. Albo, idąc za poprzednim przykładem: niemożliwe jest, aby Maryja była Maryją, a nie była Maryją.
3. Zasada wykluczonej osoby trzeciej lub wykluczonej osoby trzeciej
W zdaniach (podmiot i orzeczenie) są tylko dwie opcje, twierdzące lub przeczące: TEN é x lub TEN é nie-x. Maria jest nauczycielką lub Maria nie jest nauczycielką. Nie ma trzeciej możliwości.
Zobacz też:Logika arystotelesowska.
Propozycja
W sporze to, co zostało powiedziane i ma formę podmiotu, czasownika i orzeczenia, nazywa się zdaniem. Twierdzenia to twierdzenia, afirmacje lub zaprzeczenia, a ich ważność lub fałsz jest logicznie analizowana.
Z analizy twierdzeń nauka logiki staje się narzędziem prawidłowego myślenia. Poprawne myślenie wymaga (logicznych) zasad, które gwarantują jego słuszność i prawdziwość.
Wszystko, co zostało powiedziane w kłótni, jest zakończeniem procesu umysłowego (myśli), który ocenia i osądza niektóre możliwe istniejące relacje.
Sylogizm
Z tych zasad mamy dedukcyjne rozumowanie logiczne, to znaczy z dwóch poprzednich pewników (założeń) dochodzi się do nowego wniosku, do którego nie ma bezpośredniego odniesienia w przesłankach. Nazywa się to sylogizmem.
Przykład:
Każdy człowiek jest śmiertelny. (przesłanka 1)
Sokrates to człowiek. (przesłanka 2)
Dlatego Sokrates jest śmiertelny. (wniosek)
To jest podstawowa struktura sylogizmu i podstawa logiki.
Trzy terminy sylogizmu można sklasyfikować według ich ilości (uniwersalny, szczególny lub pojedynczy) i ich jakości (afirmatywna lub negatywna)
Propozycje mogą różnić się jakością w zakresie:
- Afirmacje: S to P. Każda istota ludzka jest śmiertelna, Maryja jest pracownikiem.
- Negatywy: S to nie P.Sokrates nie jest Egipcjaninem.
Mogą również różnić się ilością w:
- Uniwersalne: Każde S to P.wszyscy ludzie są śmiertelni.
- Prywatny: Niektóre S to P. Niektórzy mężczyźni są Grekami.
- Syngiel: To S to P.Sokrates jest Grekiem.
To jest podstawa logiki Arystotelesa i jej wyprowadzeń.
Zobacz też: Czym jest sylogizm?
Logika formalna
W logice formalnej, zwanej też logiką symboliczną, zdania sprowadzają się do dobrze zdefiniowanych pojęć. W ten sposób to, co się mówi, nie jest najważniejsze, ale jego forma.
Logiczna forma wypowiedzi jest przepracowana poprzez (symboliczną) reprezentację zdań za pomocą liter: P, coi r. Zbada również relacje między zdaniami za pomocą ich operatorów logicznych: spójniki, alternatywy i kondycjonowanie.
logika zdaniowa
W ten sposób nad propozycjami można pracować na różne sposoby i służyć jako podstawa do formalnej walidacji oświadczenia.
Operatory logiczne ustalają relacje między zdaniami i umożliwiają logiczne łączenie ich struktur. Kilka przykładów:
Odmowa
Jest przeciwieństwem terminu lub zdania, reprezentowanego przez symbol ~ lub ¬ (negacja P to ~p lub ¬ P). W tabeli dla p true mamy ~p false. (jest słonecznie = P, nie jest słonecznie = ~ P lub ¬ P).
Spójnik
Jest to związek zdań, symbol ∧ reprezentuje słowo „i” (dziś jest słonecznie i Idę na plażę, P ∧ co). Aby spójnik był prawdziwy, oba muszą być prawdziwe.
Dysjunkcja
Jest to oddzielenie zdań, symbol v reprezentuje „lub" (Idę na plażę lub Zostań w domu, P v co). Dla ważności co najmniej jeden (lub inny) musi być prawdziwe.
Warunkowy
Jest to ustanowienie związku przyczynowego lub warunkowości, symbol ⇒ reprezentuje „gdyby... następnie..." (gdyby padać, następnie zostanę w domu, P ⇒ co).
dwuwarunkowy
Jest to ustanowienie dwukierunkowej relacji warunkowej, istnieje podwójna implikacja, symbol ⇔ reprezentuje "wtedy i tylko wtedy gdy,". (chodzę na zajęcia wtedy i tylko wtedy, gdy nie jestem na wakacjach, P ⇔ co).
Stosując się do tabeli prawdy, mamy:
| P | co | ~p | ~ co? | P ∧ co | P v co | P ⇒ co | P ⇔ co |
|---|---|---|---|---|---|---|---|
| V | V | fa | fa | V | V | V | V |
| V | fa | fa | V | fa | V | fa | fa |
| fa | V | V | fa | fa | V | V | fa |
| fa | fa | V | V | fa | fa | V | V |
Litery F i V można zastąpić zero i jeden. Ten format jest szeroko stosowany w logice obliczeniowej (F = 0 i V = 1).
Zobacz też: Tabela prawdy.
Inne rodzaje logiki
Istnieje kilka innych rodzajów logiki. Te typy na ogół są pochodnymi klasycznej logiki formalnej, stanowią krytykę tradycyjnego modelu lub nowe podejście do rozwiązywania problemów. Oto kilka przykładów:
1. Logika matematyczna
Logika matematyczna wywodzi się z Arystotelesowskiej logiki formalnej i rozwija się z jej wartościowych relacji zdań.
W XIX wieku matematycy George Boole (1825-1864) i Augustus De Morgan (1806-1871) byli odpowiedzialny za dostosowanie zasad Arystotelesa do matematyki, dając początek nowemu nauka.
W nim możliwości prawdy i fałszu są oceniane przez ich logiczną formę. Zdania są przekształcane na elementy matematyczne i analizowane na podstawie ich relacji między wartościami logicznymi.
Zobacz też: Logika matematyczna.
2. Logika obliczeniowa
Logika obliczeniowa wywodzi się z logiki matematycznej, ale wykracza poza to i jest stosowana w programowaniu komputerowym. Bez niej kilka postępów technologicznych, takich jak sztuczna inteligencja, byłoby niemożliwe.
Ten rodzaj logiki analizuje relacje między wartościami i przekształca je w algorytmy. W tym celu wykorzystuje również modele logiczne, które zrywają z modelem pierwotnie zaproponowanym przez Arystotelesa.
Algorytmy te odpowiadają za szereg możliwości, od kodowania i dekodowania wiadomości po zadania takie jak rozpoznawanie twarzy czy możliwość autonomicznych samochodów.
W każdym razie, cały związek, jaki mamy z komputerami w dzisiejszych czasach, przebiega według tego rodzaju logiki. Łączy fundamenty tradycyjnej logiki arystotelesowskiej z elementami tzw. logik nieklasycznych.
3. Logiki nieklasyczne
Przez nieklasyczną lub antyklasyczną logikę uznaje się za szereg procedur logicznych, które porzucają jedną lub więcej zasad opracowanych przez tradycyjną (klasyczną) logikę.
Na przykład logika rozmyta (zamazany), szeroko stosowany do rozwoju sztucznej inteligencji, nie stosuje trzeciej zasady wykluczenia. Przyjmuje dowolną wartość rzeczywistą z zakresu od 0 (fałsz) do 1 (prawda).
Przykładami logik nieklasycznych są:
- Logika zamazany;
- Logika intuicjonistyczna;
- Logika parakonsystentna;
- Logika modalna.
Ciekawostki
Na długo przed jakimkolwiek rodzajem logiki obliczeniowej, logika służyła jako podstawa wszystkich istniejących nauk. Niektórzy wprowadzają to rozumowanie wyrażone we własnym imieniu za pomocą sufiksu „ociężały”, pochodzenia greckiego.
Biologia, socjologia i psychologia to tylko niektóre przykłady ich związku z relationship logo Grecki, rozumiany z idei logicznego i systematycznego opracowania.
Taksonomia, klasyfikacja istot żywych (królestwo, gromada, klasa, rząd, rodzina, rodzaj i gatunek) do dziś opiera się na logicznym modelu podziału na kategorie zaproponowanym przez Arystotelesa.
Zobacz też:
- Logiczne rozumowanie - ćwiczenia
- Ćwiczenia z filozofii