pojęcie logiki

wyjaśniamy, czym jest logika i cechy logiki filozoficznej, Arystotelesa, matematyki, obliczeniowej, formalne i nieformalne.

¿co to jest logika?

logika jest nauką formalną, która jest częścią filozofii i matematyki. Poświęcona jest badaniu procedur dopuszczalnych i niedopuszczalnych myśli, tj. na procesach takich jak demonstracje, wnioski lub wnioski, a także pojęć takich jak złudzeń, paradoksów i prawdy.

logika-dyscyplina niezwykle starożytna, Urodzona osobno wśród myślicieli wielkich cywilizacji, klasycznych i starożytnych, takich jak Chiny, grecka czy indyjska. Od samego początku był rozumiany jako sposób oceniania myśli w celu sprawdzenia jej formalnej ważności, to znaczy uznania, co jest idealną procedurą rozumowania, która naprawdę prowadzi do prawdy.

jednak od XX wieku był postrzegany jako dziedzina bliższa matematyce, ponieważ zastosowanie tego ostatniego nabrało dużego znaczenia przemysłowego, społecznego i technologicznego.

słowo „logika”pochodzi od greckiego głosu logiké („obdarzony rozumem”), pochodzącego od terminu logos równoważnego „słowu” lub”myśli”.

jednak w języku potocznym używamy tego słowa jako synonimu „zdrowego rozsądku”, czyli cennego lub cennego sposobu myślenia w odpowiednich możliwych kontekstach. Jest również używany jako synonim „sposobu myślenia”, jak w odniesieniu do” logiki sportowej”, „logiki wojskowej” itp.

Zobacz także: Myślenie matematyczne

logika filozoficzna

terminem tym określa się dziedziny filozofii, w których metody logiki są wykorzystywane do rozwiązywania lub promowania pewnych dylematów filozoficznych, które mogą być zarządzane w ramach tradycyjnej logiki lub, przeciwnie, logiki nieklasycznej. Logika w ramach filozofii

jest dyscypliną bardzo zbliżoną do filozofii języka i jest zasadniczo kontynuacją logiki starożytności skoncentrowanej na myśleniu i języku naturalnym. Zwykle używamy tej nazwy, aby odróżnić ją od późniejszej logiki matematycznej.

logika arystotelesowska

w logice filozoficznej tradycja myślenia znana jest jako logika arystotelesowska, która zaczyna się od dzieł greckiego filozofa Arystotelesa de Stagira (384-322 pne), uważanego za zachodniego założyciela logiki i jednego z najważniejszych autorów tradycji filozoficznej świata.

główne pisma Arystotelesa dotyczące logiki są gromadzone w jego organach (z greckiego „instrument”) opracowanych przez Andronika z Rodos kilka wieków po napisaniu. Rozwija się w nich cały system logiczny, który był niezwykle wpływowy w Europie i na Bliskim Wschodzie aż do średniowiecza.

w tej pracy Arystoteles postulował również podstawowe aksjomaty logiki:

• zasada nie sprzeczności. Zgodnie z którym coś nie może być i nie może być jednocześnie (A i a nie może być jednocześnie).
• zasada tożsamości. Zgodnie z którym coś jest zawsze tożsame z samym sobą (a jest zawsze równe a).
• zasada wykluczonego trzeciego. Zgodnie z którym coś jest prawdziwe lub nie, bez możliwych gradacji (a lub wtedy A).

Logika matematyczna

jest znana jako Logika matematyczna, zwana także logiką symboliczną, logiką formalną, logiką teoretyczną lub logistyką, w celu zastosowania logicznego myślenia do niektórych dziedzin matematyki i nauki.

polega to na badaniu procesu wnioskowania za pomocą formalnych systemów reprezentacji, takich jak logika zdaniowa, logika modalna lub logika pierwszego rzędu, które umożliwiają „przetłumaczenie” języka naturalnego na język matematyczny, aby móc opracować rygorystyczne demonstracje.

Logika matematyczna obejmuje cztery duże obszary, które:

• teoria modeli. Oferuje badanie teorii aksjomatycznych i logiki matematycznej poprzez struktury matematyczne znane jako grupy, ciała lub wykresy, przypisując w ten sposób treść semantyczną czysto formalnym konstrukcjom logiki.
• teoria demonstracji. Zwana także teorią testową, oferuje demonstracje wykorzystujące obiekty matematyczne i metody matematyczne jako ścieżkę do testowania problemów logicznych. Tak więc tam, gdzie teoria modeli zajmuje się nadawaniem semantyki (znaczenia) formalnym strukturom logiki, teoria demonstracji zajmuje się raczej jej składnią (jej porządkowaniem).
• teoria zbiorów. Nacisk kładziony jest na badanie abstrakcyjnych zbiorów obiektów rozumianych w sobie jako obiekty, a także ich podstawowych operacji i relacji. Ta gałąź logiki matematycznej jest jedną z najbardziej podstawowych istniejących, do tego stopnia, że jest podstawowym narzędziem każdej teorii matematycznej.
• teoria obliczalności. Dziedzina dzielona między matematyką a informatyką lub informatyką bada problemy decyzyjne, z którymi może się zmierzyć algorytm (odpowiednik maszyny Turinga). W tym celu wykorzystuje teorię zbiorów, rozumiejąc je jako zbiory obliczalne lub nie obliczalne.

logika obliczeniowa

logika obliczeniowa jest tą samą logiką matematyczną, ale jest stosowana w dziedzinie obliczeń, to znaczy w różnych podstawowych poziomach informatyki: obwodach obliczeniowych, programowaniu logicznym i zarządzaniu algorytmami. Częścią tego jest także sztuczna inteligencja, stosunkowo nowy obszar w okolicy.

można powiedzieć, że z grubsza logika obliczeniowa ma na celu zasilenie systemu komputerowego poprzez konstrukcje logiczne, które wyrażają w języku matematyki różne możliwości ludzkiej myśli, tworząc w ten sposób systemy komputerowe są inteligentne.

logika formalna i nieformalna

różni się również często między dwoma polami oddzielonymi od logiki: formalnej i nieformalnej, z jej rozwiązania w języku, w którym zdefiniowane są określone.

• logiki formalnej. Jest to ten, który służy językowi formalnemu, czyli sposobowi wyrażania jego treści, używając go ściśle, jednoznacznie, tak aby ścieżka dedukcyjna mogła być analizowana na podstawie ważności jego form (stąd jego nazwa).
• logika nieformalna. Zamiast tego uczy się swoich argumentów z perspektywy czasu, rozróżniając ważne i nieprawidłowe formy z podanych informacji, bez korygowania ich logicznej formy lub języka formalnego. Wariant ten pojawił się w połowie XX wieku jako dyscyplina w filozofii.

Kontynuuj z: Epistemologia

linki:

• „logika” w Wikipedii.
• „czym jest logika?” (video) The School Zone.
• „czym jest logika?”(wideo) w Educatina.
• „, „Wprowadzenie do logiki” Carlos Munoz-Gutierrez na Uniwersytecie Complutense w Madrycie.
• ” czym jest logika i do czego służy?”Nauki Południa.
• „Logic” The Encyclopaedia Britannica.

Ostatnia edycja: 22 wrzesień 2020 r. Jak cytować: „logika”. Autor: Maria Estela Raffino. argentyński. Dla: Concepto.de. Dostępne pod adresem: https://concepto.de/logica/. Zweryfikowany: 25 marca 2021 r.