Ce este Logica:
Logică Este o știință formală care studiază structura sau formele gândirii umane (cum ar fi propoziții, concepte și raționamente) pentru a stabili legi și principii valabile pentru a obține criterii de adevăr.
Ca adjectiv, „logic” sau „logic” înseamnă că ceva respectă regulile logicii și rațiunii. De asemenea, indică o consecință naturală sau normală așteptată.
De asemenea, este folosit pentru a se referi la așa-numitul „bun simț”. Provine din latină logică, iar la rândul său din greacă λογική (logike, 'având rațiune, „intelectuală”, „dialectică”, „argumentativă”), care la rândul său derivă din cuvânt λόγος (logos, „cuvânt”, „gând”, „rațiune”, „idee”, „argument”).
Logică propozițională, matematică sau simbolică
Logica propozițională este ramura logicii care studiază variabilele propoziționale, conectivitățile logice (
). Unii autori îl identifică și cu logica matematică sau logica simbolică, deoarece folosește o serie de simboluri speciale care îl apropie de limbajul matematic. Propunerile pot fi adevărate sau false.
Logica filosofică
Logica este de obicei considerată a face parte din filosofie, deși logica, ca atare, este aplicată în diferite domenii și activități ale ființei umane.
Logica filosofică folosește patru principii fundamentale care stabilesc procesele de gândire corecte. Aceste principii sunt principiul identității, principiul non-contradicției, principiul terțului exclus și principiul rațiunii suficiente.
Logică formală și logică informală
Logica formală este una al cărei obiect de studiu este inferențe tehnice prin utilizarea sistemelor deductive și a limbajelor formale și a semanticii. Logica informală, la rândul ei, studiază sistemele de raționament și argumentare naturală prin limbaj și gândire cotidiană.
Logica aristotelică
Logica se bazează pe studiile lui Aristotel, un filosof grec din secolul al IV-lea î.Hr. Logica aristotelică folosește așa-numitele silogisme, care este o deducție sau o formă de raționament în care se stabilesc premise din care se deduce o concluzie.
Prin urmare, este un concept similar cu argumentele valabile deductiv. Un exemplu clasic de logică aristotelică este: „Toți oamenii sunt muritori. Toți grecii sunt bărbați. Prin urmare, toți grecii sunt muritori. ' Primele două propoziții ar fi premisele și a treia concluzia.
Logică difuză
Conceptul de logică difuză provine din engleză („logică fuzzy”). Este un tip de logică care folosește valori aleatorii, dar contextualizate și legate între ele, stabilind relativul a ceea ce este observat ca o poziție diferențială. Logica fuzzy este aplicată în diverse domenii, cum ar fi informatica și industria.
