logika - nauka metod, prawa i form myślenia.Logika formalna został opracowany przez starożytnych Greków na długo przed naszą erą.To było pierwsze Greków do budowania demokratycznego społeczeństwa, gdzie przepisy i decyzje podjęte w Zgromadzeniu Narodowym.Oni stworzyli prymitywnego naukę sporu.Ulubioną rozrywką arystokratycznej młodzieży miał rozmowy z filozofów.Stąd powszechne zamiłowanie do rozwoju nauki teoretycznej.Grecy po prostu miał doktryny, jak być dowody naukowe.
pierwszy kurs podstawy logiki opracowane przez Arystotelesa.Zwrócił uwagę na fakt, że wszystkie argumenty są oparte na prawie zwyczajowym, których naruszenie prowadzi do błędnych wniosków.Formalna logika Arystotelesa opierał się na tych przepisach:
- Jeśli wyroki są twierdząca, co zrobić z nich wniosek, nie może być ujemna.
- Jeśli jedna z wypowiedzi jest ujemny, a ogólna konkluzja zawsze będzie ujemny.
Wydaje się, że logiki formalnej - znajomość zasad i przepisów skutecznie właściwej konstrukcji rozumowania w odniesieniu do kształtu ich budowy (sposoby podłączenia części rozważań ogólnych).
Wszystkie zjawiska i przedmioty mają związek.Linki mogą być obiektywne i subiektywne, wspólną lub prywatną, konieczne lub przypadkowe.Najważniejsze z tych obligacji są nazywane prawa.Wszystkie one odzwierciedlenia tej samej rzeczywistości, a zatem nie mogą ze sobą sprzeczne.Wszystkie prawa ludzkiej myśli są związane z prawami natury.
prawa myślenia są stabilne połączenie między wewnętrzną myśli.Jeżeli dana osoba nie może wiązać myśli, że nie przyszedł do właściwych wniosków i nie będzie w stanie doprowadzić go do innych.
podstawowe prawa logiki formalnej - prawa spójności, tożsamości, wyłączonego środka i ustawy racji dostatecznej.Rozwój trzech pierwszych należą do Arystotelesa i Platona, ostatni - Leibniza.Naruszenie tych przepisów (zwłaszcza pierwsze trzy) prowadzi do sprzeczności, co niemożliwe, aby odróżnić prawdę od fałszu.Ostatnio mniej przepisy i prawo ma zastosowanie bardziej ograniczone.
dla rdzenia prawa logiki - to zasady koncepcji operacyjnych i orzeczeń, uzyskanie prawdziwego wniosku w sylogizm, zwiększając prawdopodobieństwo rozumowania indukcyjnego i wnioski traduktivnogo charakter.
Ustawa spójności oznacza, że myślenie nie powinno być kontrowersyjne, i powinny odzwierciedlać jakość niektórych rzeczy.Prawo
wyłączonego środka nie wymaga wyglądają między dwoma sprzecznymi, ale prawdziwe oświadczenie trzecią rzecz, i potwierdzić prawdziwość tylko jednego z nich.Jednym ze składników konfliktu - oczywiście prawdziwym.Prawo
z logiki formalnej traktuje tożsamość jako wymóg precyzyjnego myślenia, czyli od jakiegokolwiek warunku trzeba dokładnie zrozumieć jego definicję i znaczenie.Istotą koncepcji i wyroków nie może zakłócić do woli.Prawo
wystarczających powodów jest to, że każdy prawdziwy myśl niezbędne do uzasadnienia prawdziwych myśli innych, a fałszywe idee nie mogą być uzasadnione.W rozwoju orzeczeń powinny odzwierciedlać związek przyczynowy.Tylko w tym przypadku może to być sprawdzona niezawodność.
logiczna forma myśli i sposoby definiowania wszelkie formy myśli wyrażonych przez kategoriach logicznych, które zawierają słowo "i", "lub", "jeśli ... to ..." odmowa "nie jest prawdą, że"(" nie "), słowo" niektóre "," wszystko "(" nie "), kilka" istoty "(w rozumieniu" jest "), etc.Zidentyfikuj logiczna forma wyroku może być oderwany od rozumieniu warunków nielogiczne, które są słowne wyrażenie tego wyroku.Innymi słowy, logika formalna wyraża strukturę myśli.Formularz informacyjny jest zawsze logiczne i sensowne.
zależności od ich formy myślenia są podzielone na klasy: pojęć, rozumowania i wyroku.Koncepcja - pomysł uogólnia obiektów na podstawie ich podstawowych cech.Wyrok - pomysł, twierdząc, obecność (brak) sytuacji.Wnioskowanie - myślałem, odzwierciedlając zdobywanie wiedzy wyrażone w wyrokach innej wiedzy.
