O logică formală și legile sale de bază

Logica este știința metodelor, a legilor și a formelor de gândire. O logică formală a fost dezvoltată de vechii greci BC. Grecii au construit pentru prima oară o societate democratică, unde deciziile și legile au fost adoptate la congregațiile oamenilor. Ei au creat o știință de referință la un nivel primitiv încercări. Și ocupația preferată a tineretului aristocratic a fost discuțiile cu filosofii. Prin urmare, dragostea universală pentru dezvoltarea științelor teoretice. Grecii pur și simplu aveau nevoie de o învățătură despre cum să coste dovezile științifice.

Primul curs al bazelor logicii a fost dezvoltat de Aristotel. El a atras atenția asupra faptului că orice raționament se bazează pe legi generale, a căror încălcare conduce la concluzii eronate. Logica formală a lui Aristotel era bazată pe astfel de legi:

1. Dacă hotărârile sunt afirmative, concluzia trasă din ele nu poate fi negativă.
2. Dacă una dintre afirmații este negativă, atunci concluzia generală va fi întotdeauna negativă.

De aici rezultă că logica formală - această cunoaștere despre principiile și legile construirii eficiente și corecte a raționamentului, ținând seama de forma construcției lor (modalități de conectare a unor părți separate ale raționamentului general).

Toate fenomenele și obiectele sunt interdependente. Legăturile pot fi obiective sau subiective, generale sau private, necesare sau accidentale. Cele mai importante dintre aceste legături sunt numite legi. Toate acestea reflectă aceeași realitate, deci nu se pot contrazice în vreun fel. Toate legile gândirii umane sunt legate de legile dezvoltării naturii.

Legile gândirii reprezintă o legătură interioară stabilă între gânduri. Dacă o persoană nu își poate conecta gândurile, nu va ajunge la concluzia corectă și nu va putea să o transmită altora.

Legile fundamentale ale logicii formale - acestea sunt legile coerenței, identității, excluderii celei de-a treia și a legii de motive suficiente. Dezvoltarea primelor trei aparține lui Aristotel și Platon, acesta din urmă fiind Leibniz. Încălcarea acestor legi (în special primele trei) conduce la contradicții, făcând imposibilă distingerea adevărului de minciuni. Ultima lege este mai puțin normativă și este aplicată mai restrictiv.

Legile non-de bază ale logicii sunt regulile judecăților și conceptelor de funcționare, obținând o concluzie reală în silogism, sporind probabilitatea concluziilor inferențiale inductive și transductive.

Legea consistenței înseamnă că gândirea nu trebuie să fie contradictorie, ci trebuie să reflecte certitudinea calitativă a lucrurilor.

Legea părții excluse prescrie să nu caute între două contradictorii, dar adevărate declarații ceva al treilea, dar să recunoască adevărul doar al unuia dintre ei. Una dintre componentele contradicției este în mod necesar adevărată.

Legea logicii formale de identitate tratează ca o cerință a gândirii de exactitate, adică sub orice termen este necesar să înțelegem cu exactitate definiția și semnificația ei. Esența conceptelor și a judecăților nu poate fi distorsionată după voință.

Legea unei baze suficiente este că orice gând adevărat trebuie să fie bazat pe alte gânduri adevărate și este imposibil să se justifice gândurile false. Dezvoltarea judecăților ar trebui să reflecte o relație de cauzalitate. Numai în acest caz se poate dovedi valabilitatea acesteia.

Forma logică a gândirii și metodele de determinare a formelor de toate gândurile exprimate de termeni logici, care includ cuvântul „și“, „sau“, „dacă ... atunci ...“ negare „nu este adevărat că“ ( „nu“) , cuvintele "unii", "toți" ("nici unul"), o grămadă de "esență" (în sensul "este") etc. Identificarea formei logice a judecății poate fi distrasă de semnificația termenilor ilogici, care intră în expresia verbală a acestei judecăți. Cu alte cuvinte, logica formală exprimă structura gândirii. Forma logică este întotdeauna informativă și informativă.

În funcție de formele lor, gândurile sunt împărțite în clase: concepte, inferențe și judecăți. Un concept este un gând care generează obiecte pe baza caracteristicilor lor de bază. Judecata este un gând care afirmă existența (absența) stării lucrurilor. Inferența este un gând care reflectă dobândirea cunoștințelor exprimate în judecăți din alte cunoștințe.