Plik logika formalna, Nazywany także logiką teoretyczną lub logiką matematyczną, określa, jakie są prawidłowe i poprawne formy rozumowania. Poprzez tę praktykę staramy się odróżnić to, co jest poprawne od tego, co jest nieprawidłowe.
W logice formalnej symbole są używane jednoznacznie i tak jasno, jak to tylko możliwe, aby nie można nimi manipulować. Dzięki tej praktyce możliwe jest rozwijanie własnych pomysłów.
Słowo „logika” pochodzi ze starożytnej greki λογικήlogiki, co oznacza „obdarzony rozumem intelektualnym, dialektycznym i argumentacyjnym”. Logika jest jedną z gałęzi filozofii i matematyki i jest uważana za bardzo przydatną w tych dyscyplinach.
Ogólnie logika bada formę myśli. Pierwsze prace związane z logiką przypisuje się greckiemu filozofowi Arystotelesowi, dlatego jest on 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..
Indeks artykułów
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 w celu wyciągnięcia wniosków.
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 też tego 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 wyczerpujących badań formalnych wzorców logicznych pozwoli każdej osobie dokładnie poznać procedury związane z jej myśleniem..
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 ustanowiony w ramach podzbioru systemów formalnych.
-Stosuje metody tak wydajne, że dzięki logice formalnej można odróżnić to, co jest złe, od tego, co dobre.
-Wnioski z prawidłowego lub ważnego rozumowania wynikają z analizy struktury prawdziwych przesłanek.
-Studiuj 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 naukę semantyki.
-Badaj struktury, dlatego porównuje się je do matematyki.
-Jest również powiązany z psychologią, ponieważ koncentruje się na badaniu myśli każdego człowieka.
Pochodzi ze starożytnej Grecji δέον [τος] déon [kaszel] a to znaczy „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.
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órymi są tożsamość, niesprzeczność i wykluczona trzecia..
Ten typ logiki zrodził 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”, a te wartości mogą praktycznie sięgać 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..
Za pomocą logiki formalnej można dodać wartość 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 jest to prawda, czy fałsz. W tym sensie poniżej podajemy kilka przykładów opartych na logice formalnej:
-Buenos Aires to stolica Argentyny; Tak więc 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ą ludzie biało-brązowi.
-Maria 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świetla elektryczne światło.
Jeszcze bez komentarzy