RICERCA

Logica formale e leggi fondamentali

Logica: la scienza dei metodi, delle leggi e delle formepensando. La logica formale è stata sviluppata dagli antichi greci molto prima della nostra era. Furono i greci i primi a costruire una società democratica, dove le decisioni e le leggi venivano prese nelle assemblee popolari. Hanno creato una scienza del contenzioso a un livello primitivo. L'occupazione preferita della gioventù aristocratica erano discussioni con i filosofi. Da qui l'amore universale per lo sviluppo delle scienze teoriche. I greci avevano solo bisogno di un insegnamento su come sostenere le prove scientifiche.

Il primo corso delle basi logiche sviluppato da Aristotele. Ha richiamato l'attenzione sul fatto che ogni ragionamento si basa su leggi generali, la cui violazione porta a conclusioni errate. La logica formale di Aristotele era basata sulle seguenti leggi:

  1. Se i giudizi sono affermativi, la conclusione che ne deriva non può essere negativa.
  2. Se una delle affermazioni è negativa, la conclusione generale sarà sempre negativa.

Quindi, la logica formale èconoscenza dei principi e delle leggi di costruzione efficace e corretta del ragionamento, tenendo conto della forma della loro costruzione (modi di collegare le singole parti del ragionamento generale).

Tutti i fenomeni e gli oggetti sono correlati. Le relazioni possono essere oggettive o soggettive, generali o particolari, necessarie o accessorie. Le più significative di queste connessioni sono chiamate leggi. Tutti riflettono la stessa realtà, quindi non possono contraddirsi l'un l'altro. Tutte le leggi del pensiero umano sono connesse con le leggi dello sviluppo della natura.

Le leggi del pensiero sono una connessione interna stabile tra i pensieri. Se una persona non riesce a collegare i suoi pensieri, non arriverà alla conclusione corretta e non sarà in grado di portarla agli altri.

Leggi di base della logica formale - queste sono le leggi della coerenza, dell'identità,eccezioni del terzo e della legge di ragione sufficiente. Lo sviluppo dei primi tre appartiene ad Aristotele e Platone, l'ultimo - Leibniz. Le violazioni di queste leggi (specialmente le prime tre) portano a contraddizioni, rendendo impossibile distinguere la verità dalle bugie. Quest'ultima legge è meno standard e viene applicata in modo più restrittivo.

Le leggi non-core della logica sono regole.gestendo giudizi e concetti, ottenendo una vera conclusione nel sillogismo, aumentando la probabilità di conclusioni dell'inferenza induttiva e tradizionale.

La legge di coerenza significa che il pensiero non dovrebbe essere contraddittorio, ma dovrebbe riflettere la certezza qualitativa delle cose.

La legge del terzo escluso non prescrivecercare tra due affermazioni contraddittorie, ma vere, qualcosa di terzo, e riconoscere la verità di una sola di esse. Uno dei componenti della contraddizione è assolutamente vero.

La legge della logica formale dell'identità tratta comeil requisito dell'accuratezza del pensiero, cioè, sotto qualsiasi termine, è necessario comprenderne accuratamente la definizione e il significato. L'essenza dei concetti e dei giudizi non può essere distorta a volontà.

La legge di una ragione sufficiente è quellache ogni vero pensiero deve essere motivato da altri veri pensieri, e falsi pensieri non possono essere provati. Nello sviluppo dei giudizi dovrebbe riflettere la relazione causale. Solo in questo caso può essere dimostrata la sua affidabilità.

La forma logica del pensiero e come determinare le formeogni pensiero è espresso con l'aiuto di termini logici, che includono le congiunzioni "e", "o", "se ..., quindi ...", i dinieghi "non è vero" ("non"), le parole "alcuni", " all "(" non uno "), un gruppo di" essence "(che significa" è "), ecc. Identificare la forma logica del giudizio può essere distratto dal significato di termini illogici, che sono inclusi nell'espressione verbale di questo giudizio. In altre parole, la logica formale esprime la struttura del pensiero. La forma logica è sempre informativa e informativa.

A seconda delle loro forme, i pensieri sono divisi in classi: concetti, conclusioni e giudizi. Un concetto è un pensiero che generalizza gli oggetti sulla base delle loro caratteristiche di base. Un giudizio è un pensiero che afferma l'esistenza (assenza) dello stato delle cose. L'inferenza è un pensiero che riflette l'acquisizione della conoscenza, espressa nei giudizi, dalle altre conoscenze.

  • valutazione: