- la scienza di metodi, leggi e forme di pensiero.Logica formale è stata sviluppata dagli antichi greci molto prima della nostra era.Furono i primi Greci per costruire una società democratica in cui le leggi e le decisioni prese durante l'Assemblea Nazionale.Hanno creato una scienza primitiva di contenzioso.Un passatempo preferito dei giovani aristocratici aveva discussioni con i filosofi.Quindi l'amore universale per lo sviluppo della scienza teorica.Greci appena avuto la dottrina di come essere prove scientifiche.
prima del corso le basi della logica sviluppata da Aristotele.Si richiama l'attenzione sul fatto che tutti gli argomenti sono basati sulla legge comune, la cui violazione porta a conclusioni errate.La logica formale di Aristotele era basata su queste leggi:
- Se giudizi sono affermativo, cosa fare di loro la conclusione non può essere negativo.
- Se una delle affermazioni è negativo, e la conclusione generale sarà sempre negativo.
Sembra che la logica formale - una conoscenza dei principi e delle leggi in modo efficace, corretta interpretazione di ragionamento per quanto riguarda la forma della loro costruzione (modi di collegare parti di considerazioni di ordine generale).
Tutti i fenomeni e gli oggetti hanno un rapporto.I collegamenti possono essere oggettiva o soggettiva, comune o privato, necessarie o accidentale.La più significativa di queste obbligazioni sono chiamati leggi.Hanno tutti riflettono la stessa realtà, quindi, non può contraddirsi a vicenda.Tutte le leggi del pensiero umano sono legati alle leggi della natura.Leggi
di pensiero sono intima connessione stabile tra i pensieri.Se una persona non può vincolare i suoi pensieri, lui non è venuto per la giusta conclusione e non sarà in grado di portare agli altri.
leggi fondamentali della logica formale - le leggi di coerenza, l'identità, il terzo escluso e la legge di ragione sufficiente.Lo sviluppo dei primi tre appartengono ad Aristotele e Platone, l'ultimo - Leibniz.Le violazioni di queste leggi (soprattutto la prima tre) porta a contraddizioni, rendendo impossibile distinguere il vero dal falso.Ultimi meno regolamenti e la legge si applica più limitato.
non-core leggi della logica - sono le regole di concetti e giudizi di funzionamento, ottenendo conclusione vera in un sillogismo, aumentando la probabilità di ragionamento induttivo e le conclusioni traduktivnogo carattere.Coerenza
legge significa che il pensiero non dovrebbe essere controverso, e deve rispecchiare la qualità di certe cose.Legge
del terzo escluso non richiede sguardo tra i due affermazione in conflitto ma vero una terza cosa, e riconoscere la verità di uno solo di essi.Uno dei componenti del conflitto - certamente vero.Legge
della logica formale tratta identità come requisito di precisione pensiero, vale a dire da qualsiasi termine è necessario capire esattamente la sua definizione e il significato.L'essenza dei concetti e giudizi non possono alterare a piacimento.Legge
di ragion sufficiente è che ogni vero pensiero necessaria per giustificare i veri pensieri degli altri, e false idee non può essere giustificata.Nello sviluppo delle sentenze dovrebbe riflettere una relazione causale.Solo in questo caso può essere provata affidabilità.
forma logica di pensiero e modi di definire qualsiasi forma di pensieri espressi da termini logici, che includono la parola "e", "o", "se ... allora ..." negazionismo "Non è vero che"(" no "), la parola" alcuni "," all "(" no "), un gruppo di" essenza "(nel senso di" è "), etc.Identificare la forma logica di giudizio può essere distratto dal significato dei termini di illogico che sono espressione verbale della presente sentenza.In altre parole, la logica formale esprime la struttura del pensiero.Forma logica è sempre istruttivo e significativo.
A seconda delle loro forme di pensiero sono divisi in classi: concetti, ragionamento e il giudizio.Il concetto - l'idea generalizza oggetti sulla base delle loro caratteristiche fondamentali.Giudizio - l'idea, affermando la presenza (assenza) della situazione.Inferenza - pensò, che riflette l'acquisizione di conoscenze, come espresso nelle sentenze altra conoscenza.
