Логика: Разлика между версии

Изтрито е съдържание Добавено е съдържание
м форматиране: 10x тире, 3x нов ред, 3 интервала, тире-числа (ползвайки Advisor)
м Грешки в статичния код: Неправилни параметри на файлове
Ред 1:
{{без източници}}
[[File:Gregor Reisch, Margarita Philosophica, Typus Logice.jpg|miniaturмини|300px|thumb|Грегор Райш (* ок. 1480, † 1525), „Логиката представя своите централни теми“, ''Margarita Philosophica'', 1503. Двете кучета ''veritas'' и ''falsitas'' преследват заека ''problema'', логиката бърза след тях, въоръжена с меча ''syllogismus''. Долу вляво в една пещера [[Парменид]], с когото логическата аргументация навлиза във философията.]]
 
'''Логиката''' е наука за формално-валидните умозаключения. Днес тя се изгражда най-често или като теория за логическата истина, или като теория за [[Импликация#.D0.9B.D0.BE.D0.B3.D0.B8.D1.87.D0.B5.D1.81.D0.BA.D0.B0 .D0.B8.D0.BC.D0.BF.D0.BB.D0.B8.D0.BA.D0.B0.D1.86.D0.B8.D1.8F|логическата импликация]], за да се изследва кога една теза (извод, заключение) ''следва логически'' от дадени хипотези (предпоставки).