Plik logika Charakteryzuje się tym, że jest badaniem metod i zasad, które są używane do rozeznania słusznego rozumowania osób nieważnych. Należy zauważyć, że dyscyplina ta interesuje się tylko tym, jak jest idealnie uzasadniona, a nie tym, jak każda osoba myśli (ta ostatnia jest dziełem psychologii).
Logika po prostu oferuje szereg reguł, które regulują rozumowanie i dostarcza narzędzi niezbędnych do rozróżnienia między argumentami wartościowymi a argumentami kiepskimi..
W zależności od stopnia formalności argumentów rozróżnia się dwa typy logiki: formalną i nieformalną.
Logikę formalną charakteryzuje stosowanie wnioskowania do rozumienia pewnych zdań. Ze swojej strony logika nieformalna jest odpowiedzialna za naukę języka naturalnego, używanego przez rozmówców w codziennych sytuacjach.
Z drugiej strony logika może być również indukcyjna i dedukcyjna. W pierwszym przypadku wyniki procesu logicznego będą akceptowalne, ale nie będą rozstrzygające. W drugim przypadku wyniki będą weryfikowalne i ważne.
Logika składa się z rozumowania w celu tworzenia argumentów. Te argumenty są oceniane pod kątem zasadności.
Oznacza to, że z punktu widzenia logiki nie ma argumentów poprawnych ani niepoprawnych, ale prawidłowe lub niepoprawne.
Logika podąża za serią wzorców, aby wytworzyć prawidłowe rozumowanie. Te wzorce to dedukcja, indukcja, uprowadzenie i analogia..
Każdy z trzech modeli jest stosowany zgodnie z okolicznościami kontekstu komunikacyjnego.
Logika dedukcyjna to taka, w której wniosek wyciąga się z dwóch przesłanek. Z tych dwóch przesłanek pierwsza reprezentuje zdanie uniwersalne (ponieważ jest ogólna), a druga to zdanie szczegółowe (ponieważ jest szczegółowe).
Wiarygodność wyników logiki dedukcyjnej zależy od prawdziwości podstawowych przesłanek. Jeśli przesłanki są nieważne, wniosek też będzie.
Tradycyjny przykład tego typu logiki jest następujący:
-Wszystkie istoty ludzkie są śmiertelne.
-Arystoteles jest istotą ludzką.
-A więc Arystoteles jest śmiertelnikiem.
Logika indukcyjna składa się z odwrotnego procesu logiki dedukcyjnej. Ogólnie rzecz biorąc, ten rodzaj logiki ma na celu wyciągnięcie przesłanek z już istniejącego wniosku.
Oznacza to, że ten typ logiki zakłada przesłanki, które wspierają możliwy do zaobserwowania wniosek. W ten sposób uzyskane przesłanki mogą być prawdopodobne i akceptowalne, ale nie do końca prawdziwe..
Oto przykład logiki indukcyjnej:
-Zauważalny wniosek: szczeniak śpi w domu w deszczowe dni.
-Założenie: za każdym razem, gdy pada, szczeniak śpi w domu.
Ten typ logiki jest podobny do logiki indukcyjnej, ponieważ stara się wydobyć przesłanki z wniosku.
Różnica między tymi dwoma procesami polega na tym, że uprowadzenie stanowi najlepsze możliwe wyjaśnienie przedstawionego wniosku. Jednak wyniki mogą być błędne.
Na przykład:
-Światła w pokoju mojej siostry są włączone. Więc musi się obudzić.
Ten logiczny proces zachodzi, gdy podobne relacje są ustalane między sytuacją, która jest obserwowana, a inną znaną.
Na przykład: Kot mojego przyjaciela drapie się w drzwiach domu. Kiedy mój kot chce iść na spacer, drapie drzwi mojego domu. Może kot mojego przyjaciela chce iść na spacer.
Logika dzieli się na dwie główne gałęzie: logikę formalną i logikę nieformalną..
Logika formalna jest filozoficzna i tradycyjna. Odpowiada za badanie argumentów dedukcyjnych, w których wnioskowanie służy do wyciągania wniosków.
Ze swojej strony logika nieformalna jest odpowiedzialna za badanie argumentów wyrażonych w języku naturalnym (potocznym i niespecjalistycznym).
Koncentruje się na analizie rozumowania, które można znaleźć m.in. w rozmowach ze znajomymi, reklamach, artykułach prasowych, wiadomościach..
Logika rządzi się zasadą niesprzeczności. To dowodzi, że dwa sprzeczne zdania nie mogą być ważne w tym samym czasie. Oznacza to, że nie możesz być i nie być jednocześnie.
Weźmy pod uwagę następujące propozycje:
-Kwadrat ma cztery boki.
-Kwadrat ma pięć boków.
Kiedy przedstawiane są dwa sprzeczne stwierdzenia, jedno z nich musi być nieważne. W tym przypadku drugie zdanie jest nieważne, ponieważ jest sprzeczne z logiką matematyczną.
Logikę charakteryzuje zasada wykluczonej tercji. Zasada ta opiera się na logice klasycznej, która zakłada, że zdanie może być tylko prawdziwe lub fałszywe, bez możliwości istnienia trzeciej opcji..
Ta zasada jest powiązana z zasadą niesprzeczności. Podczas gdy zasada niesprzeczności mówi, że dwa sprzeczne zdania nie mogą być prawdziwe w tym samym czasie, wykluczona trzecia strona stwierdza, że oba sprzeczne zdania nie mogą być fałszywe. Siłą, trzeba być prawdziwym.
Istnieją różne modalności, które logika bierze pod uwagę przy podejmowaniu decyzji, czy zdanie jest ważne, czy nie. Obejmują one:
- Różnica czasowa: niektóre twierdzenia były w przeszłości fałszywe, ale teraz są prawdziwe i na odwrót.
- Różnica epistemologiczna: w niektórych przypadkach zdania są prawdziwe lub fałszywe. W innych przypadkach sądzi się, że zdania są prawdziwe lub nie.
Twierdzenia logiczne, czy to dedukcyjne, indukcyjne, abdukcyjne czy analogowe, reprezentują jednostkę. Dlatego nie można ich podzielić.
Tej cechy broni logika zdań. Ta gałąź logiki zakłada, że podzielenie zdań prostych, składających się z dwóch przesłanek i wniosku, byłoby błędem, ponieważ uczyniłoby to zdanie bezsensownym..
Jeszcze bez komentarzy