Formalny obiekt studiów, cech i przykładów

Logika formalna, Nazywany również logiką teoretyczną lub logiką matematyczną, określa, jakie są prawidłowe i poprawne formy rozumowania. Poprzez tę praktykę stara się rozróżnić poprawność niepoprawnego.

W logice formalnej symbole są używane bez dwuznaczności i w możliwie najczystszy sposób, aby nie można ich manipulować. Dzięki tej praktyce mogą rozwijać własne pomysły.

Alfred North Whitehead był jednym z obrońców formalnej logiki. Źródło: Wellcom Trust [CC BY-SA 4.0 (https: // creativeCommons.Org/licencje/nabrzeże/4.0)]

Słowo „logika” pochodzi ze starożytnego greckiego λογικήlogikI, co oznacza „obdarzony rozumem intelektualnym, dialektyką, kłótnią”. Logika jest jedną z gałęzi filozofii i matematyki i jest uważana za bardzo przydatną dla tych dyscyplin.

Ogólnie logika bada formę myśli. Pierwsze prace przeprowadzone w odniesieniu do logiki są przypisywane greckiemu filozofowi Arystotelesa, dlatego jest znany jako ojciec założyciela tego obszaru myślenia.

W całej historii kilku filozofów matematyka i logika broniło formalnej logiki. Wśród nich możemy nazwać Matematyk i logiczny kościół Alonzo; filozof, matematyk i logiczny Gottlob Frege; A także matematyk i filozof Alfred North Whitehead.

Byli także wielkimi obrońcami Alfred Tarski, Kurtgödel, Bertrand Russell i Willard Van Orman Quine,.

[TOC]

Obiekt studiów

Formalna logika wykorzystuje aspekty takie jak rozumowanie, koncepcja, osądy i demonstracja jako przedmiot studiów. Na podstawie tych elementów analizują i studiuj wszystkie zasoby języka i semantyki, aby dojść do wniosku.

W tym sensie ustalono, że logika formalna jest badana z punktu strukturalnego, z jego ważności lub niepełnosprawności.

Logika formalna nie jest badaniem empirycznym procesu rozumowania. Nie powinien być mylony z perswazją, ponieważ wymaga struktury argumentów, aby uzyskać wniosek.

Może ci służyć: pochodzenie filozofii: jak i kiedy to miało miejsce?

Ta logika jest również znana jako logika teoretyczna lub czysta i ma na celu przeprowadzenie abstrakcyjnych badań zawartości lub logicznych form dedukcyjnych argumentów, stwierdzeń, propozycji i zdań.

Przeprowadzenie wyczerpującego badania formalnych wzorców logicznych pozwoli każdej osobie poznać dokładnie powiązane procedury ich myślenie.

Charakterystyka

Poniżej znajdują się najbardziej szczególne cechy, które różnicują formalną logikę od innych rodzajów logiki:

-Jest to nauka, która bada formę przesłanki, w przeciwieństwie do innych rodzajów logiki, która bada tylko materiał.

-Jest to struktura bez materii.

-Jest ustanowiony w ramach systemów formalnych.

-Stosuje takie wydajne metody, że poprzez logikę formalną można rozróżnić niepoprawność prawa.

-Wnioski o prawidłowe lub ważności rozumowania powstają, ponieważ analizowana jest struktura prawdziwych przesłanek.

-Przestudiuj i analizuj ludzi, aby przemyśleć bezpośrednio, a tym samym być w stanie ustalić nowe wzorce w umyśle każdej osoby.

-Charakteryzuje się byciem symbolicznym.

-Z punktu widzenia formalnej nauki 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 jest to porównywane z matematyką.

-Odnosi się również do psychologii, ponieważ koncentruje się na badaniu myśli każdej osoby.

Chłopaki

Logika deontyczna

Pochodzi ze starożytnego greckiego δέον [τος] Donon [kaszel] I oznacza „należne” lub „niezbędne”. Austriacka logika Alois Höffler jest perkusorem tej koncepcji, która odnosi się do badania i analizy norm.

Może ci służyć: René Descartes: Biografia, filozofia i wkład

Logika dwuwartościowa

Jest to rodzaj logiki, która przyznaje tylko wartości prawdziwej i fałszu. Nie wierzy w niuanse, wszystko jest czarne lub białe; Skala szarości jest niemożliwa w tego typu logice.

Jego zasady oparte są na logice arystotelesowski.

Logika wielowartościowa lub wszechstronna

Ten rodzaj logiki narodził się w wyniku badań przeprowadzonych przez filozofów Jan Łukasiewicz i Emil Post, w których wyjaśniają, że inne wartości można przyznać z „prawdziwych” i „fałszywych” i że te Wartości mogą prawie dotrzeć do nieskończoności.

W tym sensie różni się od logiki dwuwartościowej, która przyjmuje tylko dwie wartości. Badania pokazują, że logika wielowartościowa lub wszechstronna obsługuje wartości takie jak możliwość, potrzeba, potrzeba, prawda, kłamstwo i niemożność.

Podobnie tego rodzaju formalna logika jest również odpowiedzialna za badanie aspektów filozoficznych i strukturalnych, które argumenty mają.

Przykłady

Poprzez formalną logikę można dodać wartość prawdy lub fałszu do konkretnego rozumowania.

Jak wyjaśniliśmy powyżej, formalna logika nie koncentruje się na wszystkich możliwościach, które można wyodrębnić z argumentu; Koncentruje się tylko na tym jest prawda lub fałsz. W tym sensie wymieniamy niektóre przykłady oparte na formalnej logice:

-Buenos Aires jest stolicą Argentyny; Tak więc wszyscy urodzeni w Buenos Aires są Argentyńczykami.

-Joao mówi po portugalsku. Joao urodził się w Portugalii. Wszystko w Portugalii mówią portugalskimi.

-Krowy dają mleko. Krowy to ssaki. Wszystkie ssaki dają mleko.

-Pedro to Blanco i María Morena, więc są ludzie biali i brunetki.

Może ci służyć: myśliciele humanistyczni

-Maria dotyka w rockowej orkiestrze. Muzycy to ci, którzy grają w rockowej orkiestrze. 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. Ludzie mają prawą stopę i lewą. Każda osoba ma dziesięć palców na nogach.

-Hiszpania to kraj. Hiszpania pozostaje w Europie. Wszyscy Hiszpanie są europejskimi.

- Ana jest żywą istotą. Ana jest śmiertelna. Wszystkie żywe istoty są śmiertelne.

- José mokry z wodą. Woda zmoknie.

- Maria zjadła swoje gorące jedzenie. Maria spaliła się podczas jedzenia gorącego jedzenia. Gorące jedzenie.

- Ziemia jest częścią wszechświata. We wszechświecie są planety. Ziemia jest planetą.

- Światło elektryczne oświetla. Na ulicach jest światło elektryczne. Światło elektryczne oświetla ulice.

Bibliografia

1. „Formalna logika” na temat encyklopedii Nowego Świata. Pobrano 21 kwietnia 2019 r.org.
2. Morton L. Schagrin Ge Hughes „Formal Logic” w odzyskaniu 21 kwietnia 2019 r. Z Britannica: Britannica.com.
3. „Logika i jej klasyfikacja” w środowisku akademickim. Pobrano 23 kwietnia 2019 r. Z Academia: Academy.Edu.
4. „Formalna logika” w słowniku filozoficznym. Pobrano 23 kwietnia 2019 r. Słownika filozoficznego: filozofia.org.
5. „Logika wielofunkcyjna” w słowniku filozoficznym. Pobrano 23 kwietnia 2019 r. Słownika filozoficznego: filozofia.org.
6. „Ogólne aspekty logiki” w klubowych esejach (18 sierpnia 2013 r.). Pobrano 23 kwietnia 2019 z Esejów Club: Clubansayos.com.
7. „Deontica Logic” w Wikipedii. Pobrano 23 kwietnia 2019 r. Z Wikipedii: tak jest.Wikipedia.org.
8. „Logika wielofunkcyjna” w Wikipedii. Pobrano 23 kwietnia 2019 r. Z Wikipedii: tak jest.Wikipedia.org.
9. „Logika dwuwartościowa” na Wikipedii. Pobrano 23 kwietnia 2019 r. Z Wikipedii: tak jest.Wikipedia.org