Formalna logika i jej podstawowe prawa

Logika - nauka o metodach, prawach i formachmyślenie. Formalna logika została opracowana przez starożytnych Greków na długo przed naszą erą. To Grecy po raz pierwszy zbudowali społeczeństwo demokratyczne, w którym decyzje i ustawy zostały przyjęte w zborze ludzi. Na prymitywnym poziomie stworzyli naukę prowadzenia sporów. A ulubionym zajęciem arystokratycznej młodzieży były dyskusje z filozofami. Stąd powszechna miłość do rozwoju nauk teoretycznych. Grecy po prostu potrzebowali nauki, jak kosztować dowody naukowe.

Pierwszy przebieg podstaw logiki został opracowany przez Arystotelesa. Zwrócił uwagę na fakt, że wszelkie rozumowanie jest zbudowane na ogólnych prawach, których naruszenie prowadzi do błędnych wniosków. Formalna logika Arystotelesa opierała się na takich prawach:

1. Jeśli orzeczenia są twierdzące, wnioski wyciągnięte z nich nie mogą być negatywne.
2. Jeśli jedno ze stwierdzeń jest negatywne, wówczas ogólny wniosek zawsze będzie negatywny.

Stąd wynika, że ​​logika formalna jestznajomość zasad i praw efektywnej, poprawnej konstrukcji rozumowania, z uwzględnieniem formy ich konstrukcji (sposoby łączenia poszczególnych części ogólnego rozumowania).

Wszystkie zjawiska i obiekty są ze sobą powiązane. Linki mogą być obiektywne lub subiektywne, ogólne lub prywatne, konieczne lub przypadkowe. Najistotniejsze z tych linków nazywa się prawami. Wszystkie odzwierciedlają tę samą rzeczywistość, dlatego nie mogą w żaden sposób wzajemnie sobie przeciwstawiać. Wszystkie prawa ludzkiej myśli są związane z prawami rozwoju natury.

Prawa myśli reprezentują stabilne wewnętrzne połączenie myśli. Jeśli osoba nie może połączyć swoich myśli, nie dojdzie do właściwego wniosku i nie będzie w stanie przekazać jej innym.

Podstawowe prawa logiki formalnej - są to prawa spójności, tożsamości,wyłączenie trzeciej i prawa z wystarczających przyczyn. Rozwój pierwszych trzech należy do Arystotelesa i Platona, drugi do Leibniza. Łamanie tych praw (zwłaszcza pierwszych trzech) prowadzi do sprzeczności, uniemożliwiając odróżnienie prawdy od kłamstw. To ostatnie prawo jest mniej normatywne i jest stosowane bardziej restrykcyjnie.

Niezasadnicze prawa logiki są regułamiprowadzenie ocen i pojęć, uzyskiwanie prawdziwych wniosków w sylogizmie, zwiększanie prawdopodobieństwa wnioskowania o wnioskach indukcyjnych oraz o charakterze transdukcyjnym.

Prawo spójności oznacza, że ​​myślenie nie powinno być sprzeczne, ale musi odzwierciedlać jakościową pewność rzeczy.

Prawo trzeciej wykluczonej nie przewidujeszukać między dwoma sprzecznymi, ale prawdziwymi stwierdzeniami czegoś trzeciego, i rozpoznać prawdę tylko jednego z nich. Jeden z elementów sprzeczności jest koniecznie prawdziwy.

Prawo logiki formalnej tożsamości traktuje jakowymóg dokładności myślenia, czyli pod jakimkolwiek pojęciem, aby dokładnie zrozumieć jego definicję i znaczenie. Istota pojęć i sądów nie może być zniekształcona do woli.

Prawo dobrego powodu to:że każda prawdziwa myśl musi być usprawiedliwiona przez inne prawdziwe myśli i niemożliwe jest usprawiedliwienie fałszywych myśli. Rozwój sądów powinien odzwierciedlać związek przyczynowy. Tylko w tym przypadku można udowodnić jego ważność.

Logiczna forma myślenia i sposoby określania formKażdy myśli wyrażone przez kategoriach logicznych, które zawierają słowo „i”, „lub”, „jeżeli ... to ...” odmowa „nie jest prawdą, że” ( „nie”), słowo „niektóre”, " wszystkie "(" none "), garść" esencji "(w znaczeniu" jest ") itp. Zidentyfikować logiczną formę osądu można oderwać od znaczenia terminów nielogicznych, które wchodzą w słowną ekspresję tego sądu. Innymi słowy, logika formalna wyraża strukturę myśli. Forma logiczna ma zawsze charakter informacyjny i informacyjny.

W zależności od formy myśli dzielą się na klasy: koncepcje, wnioski i osądy. Pojęcie to myśl, która generalizuje obiekty na podstawie ich podstawowych cech. Wyrok jest myślą, która potwierdza istnienie (nieobecność) stanu rzeczy. Wnioskowanie - myślał, odzwierciedlając zdobywanie wiedzy, wyrażone w orzeczeniach innej wiedzy.