Formel mantık ve temel kanunları

mantık - yöntemleri, yasa ve düşünme biçimlerinin bilimi.Formel mantık uzun çağımızın önce eski Yunanlılar tarafından geliştirilmiştir.Bu kanunlar ve kararlar Millet Meclisi'nde alınan demokratik bir toplum inşa etmek için ilk Yunanlılar oldu.Onlar dava ilkel bilim oluşturduk.Aristokrat bir genç favori eğlence filozoflar ile tartışmalar vardı.Dolayısıyla teorik bilimin gelişmesi için evrensel sevgi.Yunanlılar sadece bilimsel kanıt olması için nasıl doktrinini vardı.Aristo tarafından geliştirilen mantık

ilk ders temelleri.O, tüm argümanlar hatalı sonuçlara yol açar ihlal olan ortak hukuk dayanmaktadır gerçeğine dikkat çekti.

  1. kararları olumlu ise, sonuç negatif olamaz onlara ne yapmak: Aristoteles'in formel mantık bu yasalara dayanmaktadır.
  2. tabloların biri negatif ise ve genel bir sonuç hep negatif olacaktır.Etkin bir ilke ve yasaların bilgisine, kendi inşaat şekli (genel düşüncelerin birbirine bağlayan yolları) ile ilgili akıl uygun inşaat -

O formel mantık görünür.

tüm olgular ve nesneler bir ilişkim var.Bağlantılar objektif veya sübjektif, ortak veya özel, gerekli ya da yanlışlıkla olabilir.Bu bağların en önemli yasaları denir.Hepsi bu nedenle, birbiriyle çeliştiği edemez, aynı gerçeği yansıtıyor.Insan düşüncesinin tüm yasalar doğa yasaları ile bağlantılıdır.Düşünce

yasaları düşünceler arasındaki stabil iç bağlantı vardır.Bir kişinin düşüncelerini bağlamak yapamıyorsanız, o doğru sonuca gelmedi ve bunu başkalarına getirmek mümkün olmayacaktır.

temel formel mantık yasaları - tutarlılık yasaları, kimlik, dışlanmış orta ve yeterli sebep kanunu.Leibniz - ilk üç geliştirilmesi Aristo ve Platon, son aittir.Bu kanunlara (özellikle ilk üç) İhlalleri imkansız yalan gerçeği ayırt yapma, çelişkilere yol açar.Son az yönetmelik ve yasa daha sınırlı geçerlidir.

Olmayan çekirdek mantığı yasaları - indüktif akıl olasılığını artırarak, bir kıyas gerçek sonuca elde işletim kavram ve yargıları, kuralları ve sonuçları karakteri traduktivnogo.

Yasası tutarlılık düşünce tartışmalı olmamalı, ve bazı şeylerin kalitesini yansıtan gerektiği anlamına gelir.Dışlanmış orta

kanunu iki çelişkili ama gerçek deyimi arasında üçüncü bir şey görünmüyor gerektirir ve bunların sadece birinin gerçeği kabul etmek.Çatışma bileşenlerinden biri - kesinlikle doğrudur.Biçimsel mantık

yasası tam olarak kendi tanımını ve anlamını anlamak gerekir herhangi dönemden, yani hassas bir düşünme gereği olarak kimlik davranır.Kavram ve yargılara özü iradesiyle deforme edilemez.Yeterli sebep

yasası gerekli her türlü gerçek düşünce diğerlerinin gerçek düşüncelerini haklı çıkarmak ve yanlış fikirler haklı olamaz ki.Kararların gelişiminde nedensel ilişkiyi yansıtmalıdır.Sadece bu durumda güvenilirliği kanıtlanmış edilebilir."... O zaman ..."

mantıksal düşüncenin biçimi ve sözcüğü mantıksal açıdan, dile getirdiği düşünceleri herhangi bir biçimde tanımlayan yolları "ve", "veya", inkar "Bu doğru değil"(" hayır ") kelimesi" bazı "," all "(" hayır "), bir demet" özü "(anlamı içinde bir" "dir), vbKararın mantıksal biçimi bu kararın sözlü ifadesi olan mantıksız açısından anlamı uzaktım edilebilir belirleyin.Diğer bir deyişle, biçimsel mantık düşünce yapısını ifade eder.Mantıksal formu her zaman bilgilendirici ve anlamlıdır.Kavramlar, muhakeme ve yargı:

düşünce formları bağlı sınıflara ayrılır.Kavram - Fikir temel özellikleri temelinde nesneleri yaygınlaştırır.Yargı - Fikir, durumun varlığını (yokluğu) iddia.Çıkarım - Diğer bilginin kararlarında ifade edilen bilginin edinimi yansıtan düşündüm.