- știința de metode, legi și forme de gândire.Logicii formale a fost dezvoltat de grecii antici timp înaintea erei noastre.Acesta a fost primul greci pentru a construi o societate democratică în care legile și deciziile luate la Adunarea Națională.Ei au creat o știință primitivă de litigii.Un joc favorit al tinerilor aristocratic avut discuții cu filosofi.Prin urmare, iubirea universală pentru dezvoltarea științei teoretice.Grecii au avut doar doctrina cum să fie dovezi științifice.
primul curs elementele de bază ale logicii dezvoltate de Aristotel.El a atras atenția asupra faptului că toate argumentele sunt bazate pe dreptul comun, a cărei încălcare duce la concluzii eronate.Logica formală a lui Aristotel sa bazat pe aceste legi:
- Dacă judecățile sunt afirmative, ceea ce pentru a face din ele concluzia nu poate fi negativ.
- Dacă unul dintre afirmații este negativ, iar concluzia generală va fi întotdeauna negativ.
Se pare că logica formală - o cunoaștere a principiilor și legilor în mod eficient, construcție corespunzătoare de raționament în ceea ce privește forma de construcția lor (modalități de conectare parti ale considerații generale).
toate fenomenele și obiectele au o relație.Link-uri poate fi obiectivă sau subiectivă, în comun sau privat, este necesar sau accidental.Cele mai semnificative dintre aceste obligațiuni sunt numite legi.Acestea toate reflectă aceeași realitate, prin urmare, nu poate contrazice reciproc.Toate legile gândirii umane sunt legate de legile naturii.Legile
de gândire sunt legătură interioară stabil între gânduri.Dacă o persoană nu se poate lega gândurile sale, el nu a ajuns la concluzia corectă și nu va fi capabil să-l aducă la alții.
legile de bază ale logicii formale - legile coerență, identitatea, mijlocul exclus și legea motive suficiente.Dezvoltarea primele trei aparțin Aristotel și Platon, ultima - Leibniz.Încălcarea acestor legi (în special primul trei) duce la contradicții, ceea ce face imposibil de a distinge adevărul de minciună.Ultimele puțin reglementările și legea se aplică mai limitat.
non-core legile logicii - este normele de concepte și judecăți de operare, obținerea adevărat concluzie într-un silogism, creșterea probabilității de raționament inductiv și concluziile traduktivnogo caracter.
Act consistență înseamnă că gândirea nu ar trebui să fie controversat, și ar trebui să reflecte calitatea anumite lucruri.Legea
de la mijlocul exclus nu necesită uita între cele două declarația contradictorii, dar adevărat un al treilea lucru, și să recunoască adevărul doar una dintre ele.Una dintre componentele conflictului - cu siguranță adevărat.Legea
de logica formală tratează identitate ca o cerință de a gândi precizie, adică de la orice termen care aveți nevoie pentru a înțelege exact definiția și semnificația sa.Esența conceptelor și hotărârile nu poate denatura în voie.Legea
de motive suficiente este că orice gând adevărat necesare pentru a justifica adevăratele gândurile altora, și idei false nu pot fi justificate.În dezvoltarea hotărârilor ar trebui să reflecte o relație de cauzalitate.Numai în acest caz se poate dovedi fiabilitatea.
formă logică de gândire și moduri de definire orice formă de gânduri exprimate de termeni logici, care includ cuvântul "și", "sau", "dacă ... atunci ..." negarea "Nu este adevărat că"(" nu "), cuvântul" unii "," toți "(" nu "), o gramada de" esență "(în sensul de" este "), etc.Identificați forma logică de judecată poate fi distras de la înțelesul termenilor de ilogic, care sunt expresia verbală din prezenta hotărâre.Cu alte cuvinte, logica formală exprimă structura de gândire.Formular logică este întotdeauna informative și semnificativ.
funcție de formele lor de gândire sunt împărțite în clase: a conceptelor, raționamentul și judecata.Conceptul - ideea generalizează obiecte pe baza caracteristicilor lor de bază.Hotărârea - ideea, afirmând prezența (absența) a situației.Inferență - a crezut, care reflectă dobândirea de cunoștințe exprimată în hotărârile alte cunoștințe.
