Logika - nauka o technikach, prawach i formachmyślenie Formalna logika została opracowana przez starożytnych Greków na długo przed naszą erą. To Grecy jako pierwsi zbudowali demokratyczne społeczeństwo, w którym decyzje i prawa były przyjmowane na publicznych spotkaniach. Na prymitywnym poziomie stworzyli naukę sporów sądowych. Ulubioną rozrywką arystokratycznej młodzieży były rozmowy z filozofami. Stąd powszechna miłość do rozwoju nauk teoretycznych. Grecy po prostu potrzebowali nauki, jak kosztować dowody naukowe.
Pierwszy kurs podstaw logiki opracował Arystoteles.Zwrócił uwagę na fakt, że wszelkie rozumowanie opiera się na ogólnych prawach, których naruszenie prowadzi do błędnych wniosków. Formalna logika Arystotelesa opierała się na takich prawach:
Wynika z tego, że logika formalna jestznajomość zasad i praw skutecznej, właściwej konstrukcji rozumowania, z uwzględnieniem formy ich budowy (sposoby łączenia poszczególnych części rozumowania ogólnego).
Wszystkie zjawiska i przedmioty są ze sobą powiązane.Relacje mogą być obiektywne lub subiektywne, ogólne lub prywatne, konieczne lub losowe. Najważniejsze z tych związków nazywane są prawami. Wszystkie odzwierciedlają tę samą rzeczywistość, dlatego nie mogą w żaden sposób zaprzeczać sobie nawzajem. Wszystkie prawa ludzkiego myślenia są związane z prawami rozwoju przyrody.
Prawa myślenia reprezentują stabilny wewnętrzny związek między myślami. Jeśli dana osoba nie może połączyć swoich myśli, nie dojdzie do właściwego wniosku i nie będzie w stanie przekazać go innym.
Podstawowe prawa logiki formalnej - это законы непротиворечивости, тождества, wyjątki od trzeciego i prawo wystarczającego uzasadnienia. Rozwój trzech pierwszych należy do Arystotelesa i Platona, drugi do Leibniza. Naruszenie tych praw (zwłaszcza pierwszych trzech) prowadzi do sprzeczności, uniemożliwiając odróżnienie prawdy od kłamstwa. To ostatnie prawo jest mniej normatywne i jest stosowane bardziej restrykcyjnie.
Drobne prawa logiki to regułyoperowanie sądami i koncepcjami, uzyskiwanie prawdziwego wniosku w sylogizmie, zwiększanie prawdopodobieństwa konkluzji, wnioskowanie o charakterze indukcyjnym i tradukcyjnym.
Prawo spójności oznacza, że myślenie nie powinno być sprzeczne, ale powinno odzwierciedlać jakościowe określenie rzeczy.
Wykluczone trzecie prawo tego nie nakazujeszukać czegoś trzeciego między dwoma sprzecznymi, ale prawdziwymi stwierdzeniami i uznawać prawdę tylko jednego z nich. Jeden z elementów sprzeczności jest z pewnością prawdziwy.
Logika formalna interpretuje prawo tożsamości jakowymóg precyzyjnego myślenia, to znaczy pod jakimkolwiek terminem musisz dokładnie zrozumieć jego definicję i znaczenie. Istoty pojęć i sądów nie można dowolnie zniekształcać.
Prawo dostatecznego powodu jest takieże każda prawdziwa myśl musi być poparta innymi prawdziwymi myślami, a fałszywych myśli nie da się uzasadnić. Rozwój sądów powinien odzwierciedlać związek przyczynowy. Tylko w tym przypadku można udowodnić jego niezawodność.
Logiczna forma myśli i sposoby określania formwszelkie myśli są wyrażane przy użyciu terminów logicznych, które obejmują spójniki „i”, „lub”, „jeśli ... wtedy ...”, negacje „to nieprawda, że” („nie”), słowa „jakiś”, „ all ”(„ none ”), link„ essence ”(czyli„ jest ”) itp. Logiczną formę orzeczenia można zidentyfikować, abstrahując od znaczenia nielogicznych terminów, które są zawarte w słownym wyrażeniu tego orzeczenia. Innymi słowy, logika formalna wyraża strukturę myśli. Forma logiczna jest zawsze pouczająca i znacząca.
W zależności od formy, myśli podzielone są na klasy:koncepcje, wnioski i sądy. Pojęcie to myśl podsumowująca obiekty na podstawie ich podstawowych cech. Sąd to myśl, która stwierdza obecność (brak) stanów rzeczy. Wnioskowanie to myśl, która odzwierciedla nabywanie wiedzy wyrażonej w sądach z innej wiedzy.
