LOGICA

Bubulici Anghelina
LOGICA
Prin logică se înțelege folosirea rațiunii în realizarea
anumitor activități.  Logica se folosește în mod
predominant în filosofie, matematică și informatică.
Se intersectează cu lingvistica și psihologia.Logica a
fost studiată din antichitate de către numeroase
civilizații inclunzând India, China, Persia și Grecia. În
Europa aceasta era răspândită ca disciplina
lui Aristotel, care-i acordase un loc esențial în filosofie.
Studierea ei era inclusă în clasicul trivium, care
includea de asemenea gramatica și retorica. Logica
a fost dezvoltată în continuare de către 
Al-Farabi care a despărțit-o în două aspecte: ideea
si dovada. Mai târziu Avicenna a redeschis studierea
logicii. Iar în Est aceasta a fost dezvoltată de
către Budism și Jainism.
Logica formală și celelalte
știinte.
Studiind forma gândirii, logica se deosebește de toate celelalte științe care
rețin conținutul gândirii. Pe fizician, pe chimist, pe biolog, pe sociolog îl
interesează în primul rând ce anume se afirmă sau se neagă într-un act de
gândire.
Un raport aparte există între psihologie și logică. Psihologia studiază
fenomenele psihice printre care se află și gândirea. Ea cercetează gândirea
ca proces psihic în complexitatea lui internă și externă adică în legile sale
de proces psihic de cunoaștere normală și patologică și în relațiile sale cu
condițiile și factorii externi gândirii cum ar fi memoria, afectivitatea,
imaginația, stările neurofiziologice, cu evoluția individuală. Logica se
ocupă numai de condițiile gândirii normale, corecte luând în considerare
formele eronate doar în vederea delimitării și prescrierii formelor corecte
de gândire. 
Clase de metode
 Limbaje simbolice
 Metode algoritmice
 Metode axiomatice
 Metode matematice
 Metodele cantitative și geometrice
 Metoda teoriei mulțimilor
Standardizare
logică
Standardizarea logică este
transformarea enunțărilor din
limba naturală, fără a le altera
conținutul, în expresii din care
poate fi detașată structura lor
logică.
Metodă
Simbolizare Formalizare
Simbolizarea este
Formalizarea este finalizarea
introducerea de simboluri
teoriei logice într-o formă
speciale -constante și
potrivită pentru calcul. Se
variabile-cu ajutorul cărora
utilizează numai în logica
forma logică a acestor
simbolică fiind un criteriu
enunțuri este fixată în
eficace de deosebire între logica
formule specifice.
generală și logica simbolică.
 Principii generale ale gândirii
Principiul identității
01 Orice lucru este identic cu el
însuși și numai cu el însuși.
Principiul terțului
03 exclus
Din două judecăți în care una
neagă ceea ce cealaltă afirmă,
una din ele este cu necesitate
adevărată, altă posibilitate
neexistând.
Principiul noncontradicției
02 Un lucru ori este ori nu este,
în același timp.
Principiul rațiunii
04 suficiente
Orice lucru are un temei.
Orice judecată trebuie să aibă
un temei constând în dovezi,
argumente, probe.
SFÂRŞIT