- Przedmiot badań
- cechy
- Rodzaje
- Logika deontyczna
- Logika dwuwartościowa
- Logika wielowartościowa lub wielofunkcyjna
- Przykłady
- Bibliografia
Logika formalna , zwany także logicznym logika teoretyczny lub matematyczny, który określa aktualne i poprawnych form rozumowania są. Poprzez tę praktykę staramy się odróżnić to, co jest poprawne od tego, co jest nieprawidłowe.
W logice formalnej symbole są używane w sposób jednoznaczny i jak najbardziej klarowny, tak że nie można nimi manipulować. Dzięki tej praktyce możliwe jest rozwijanie własnych pomysłów.
Alfred North Whitehead był jednym z orędowników logiki formalnej. Źródło: Wellcome Trust
Słowo „logika” pochodzi od starożytnego greckiego λογικήlogik ḗ, co oznacza „obdarzony rozumem intelektualnym, dialektycznym i argumentacyjnym”. Logika jest jedną z gałęzi filozofii i matematyki i uważa się, że jest bardzo przydatna w tych dyscyplinach.
Ogólnie logika bada formę myśli. Pierwsze prace związane z logiką przypisuje się greckiemu filozofowi Arystotelesowi, dlatego jest znany jako ojciec założyciel tej dziedziny myśli.
W całej historii różni filozofowie, matematycy i logicy bronili logiki formalnej. Wśród nich możemy wymienić matematyka i logika Alonzo Church; filozof, matematyk i logik Gottlob Frege; a także matematyk i filozof Alfred North Whitehead.
Alfred Tarski, KurtGödel, Bertrand Russell i Willard Van Orman Quine również byli świetnymi obrońcami.
Przedmiot badań
Logika formalna wykorzystuje takie aspekty, jak rozumowanie, pojęcie, sądy i demonstracja jako przedmiot badań. Na podstawie tych elementów analizuje i bada wszystkie zasoby języka i semantyki, aby dojść do konkluzji.
W tym sensie ustalono, że w logice formalnej rozumowanie jest badane z ustrukturyzowanego punktu widzenia, pod kątem jego ważności lub nieważności.
Logika formalna nie jest empirycznym badaniem procesu rozumowania. Nie należy go też mylić z perswazją, ponieważ do uzyskania konkluzji niezbędna jest struktura argumentów.
Ta logika jest również znana jako logika teoretyczna lub czysta i stara się przeprowadzić abstrakcyjne badanie treści lub form logicznych dedukcyjnych argumentów, twierdzeń, twierdzeń i asertywnie używanych zdań.
Przeprowadzenie dogłębnego badania wzorców logiki formalnej pozwoli każdej osobie dokładnie poznać procedury związane z jej myśleniem.
cechy
Poniżej znajdują się najbardziej szczegółowe cechy, które odróżniają logikę formalną od innych typów logiki:
-Jest to nauka, która bada formę przesłanki, w przeciwieństwie do innych rodzajów logiki, które badają tylko materiał.
-To jest struktura bez materii.
-Jest utworzony w ramach podzbioru systemów formalnych.
-Stosuj metody tak wydajne, że dzięki logice formalnej możesz odróżnić, co jest złe, od tego, co dobre.
- Wnioski dotyczące prawidłowego rozumowania lub trafności powstają, gdy analizowana jest struktura prawdziwych przesłanek.
-Badaj i analizuj ludzi, aby przejść bezpośrednio do myśli, a tym samym móc ustanowić nowe wzorce w umyśle każdej osoby.
- Charakteryzuje się symboliką.
-Z punktu widzenia nauki formalnej odgrywa ważną rolę w matematyce, filozofii, informatyce i statystyce.
-Jest to związane z gramatyką ze względu na badanie semantyki.
-Badaj struktury, dlatego porównuje się go do matematyki.
- Jest to również związane z psychologią, ponieważ koncentruje się na badaniu myśli każdej osoby.
Rodzaje
Logika deontyczna
Pochodzi ze starożytnego greckiego δέον déon i oznacza „to, co się należy” lub „co jest konieczne”. Austriacki logik Alois Höffler jest pionierem tej koncepcji, która odnosi się do badania i analizy norm.
Logika dwuwartościowa
Jest to typ logiki, który obsługuje tylko wartości prawda i fałsz. Nie wierzy w odcienie, wszystko jest czarne lub białe; w tego rodzaju logice skala szarości jest niemożliwa.
Jej zasady opierają się na logice Arystotelesa, którą jest tożsamość, niesprzeczność i wykluczona osoba trzecia.
Logika wielowartościowa lub wielofunkcyjna
Ten rodzaj logiki narodził się w wyniku badań filozofów Jana Łukasiewicza i Emila Posta, w których stwierdzają, że można przyjąć wartości inne niż powszechne już „prawda” i „fałsz”, i że wartości te mogą praktycznie sięgać do nieskończoności.
W tym sensie różni się od logiki biwalentnej, która dopuszcza tylko dwie wartości. Badania pokazują, że logika wielowartościowa lub wielofunkcyjna obsługuje wartości takie jak możliwość, konieczność, niekonieczność, prawda, fałsz i niemożliwość.
Podobnie, ten typ logiki formalnej jest również odpowiedzialny za badanie filozoficznych i strukturalnych aspektów argumentacji.
Przykłady
Poprzez formalną logikę możliwe jest dodanie wartości prawdy lub fałszu do określonego rozumowania.
Jak wyjaśniliśmy wcześniej, logika formalna nie skupia się na wszystkich możliwościach, które można wyodrębnić z argumentu; skupia się tylko na tym, czy to prawda, czy fałsz. W tym sensie poniżej podajemy kilka przykładów opartych na logice formalnej:
-Buenos Aires jest stolicą Argentyny; wtedy wszyscy urodzeni w Buenos Aires są Argentyńczykami.
-Joao mówi po portugalsku. Joao urodził się w Portugalii. Wszyscy w Portugalii mówią po portugalsku.
- Krowy dają mleko. Krowy to ssaki. Wszystkie ssaki dają mleko.
-Pedro jest biały, a María jest brunetką, więc są tam biali i brązowi ludzie.
-María gra w orkiestrze rockowej. W orkiestrze rockowej grają muzycy. Maria jest muzykiem.
-José ma czarne włosy. Elena ma brązowe włosy. Ich córka mogła urodzić się z czarnymi lub brązowymi włosami.
-Stopa ma pięć palców. Istoty ludzkie mają prawą stopę i lewą stopę. Każda osoba ma dziesięć palców u nóg.
-Hiszpania to kraj. Hiszpania pozostaje w Europie. Wszyscy Hiszpanie są Europejczykami.
- Ana jest żywą istotą. Ana jest śmiertelna. Wszystkie żywe istoty są śmiertelne.
- José zmoczył się w wodzie. Woda zamoczy się.
- Maria zjadła swoje gorące jedzenie. Maria poparzyła się, jedząc swoje gorące jedzenie. Gorące jedzenie pali się.
- Ziemia jest częścią wszechświata. We wszechświecie są planety. Ziemia to planeta.
- Zapala się światło elektryczne. Na ulicach jest światło elektryczne. Ulice oświetlają elektryczne światło.
Bibliografia
- „Logika formalna” w encyklopedii Nowego Świata. Pobrane 21 kwietnia 2019 z New world encyclopedia: newworldencyclopedia.org.
- Morton L. Schagrin Ge Hughes „Formal logic” w Pobrano 21 kwietnia 2019 r. Z Britannica: britannica.com.
- „Logika i jej klasyfikacja” w Akademii. Pobrane 23 kwietnia 2019 z Academia: academia.edu.
- „Logika formalna” w słowniku filozoficznym. Pobrane 23 kwietnia 2019 r.Z Philosophical Dictionary: Philosophy.org.
- „Logika wielowartościowa” w słowniku filozoficznym. Pobrane 23 kwietnia 2019 r.Z Philosophical Dictionary: Philosophy.org.
- „Ogólne aspekty logiki” w esejach klubowych (18 sierpnia 2013). Pobrane 23 kwietnia 2019 r. Z prób klubowych: clubensayos.com.
- „Logika deontyczna” w Wikipedii . Pobrane 23 kwietnia 2019 z Wikipedii: es.wikipedia.org.
- „Logika uniwersalna” w Wikipedii . Pobrane 23 kwietnia 2019 z Wikipedii: es.wikipedia.org.
- „Logika dwuwartościowa” w Wikipedii . Pobrane 23 kwietnia 2019 z Wikipedii: es.wikipedia.org