Разлика между версии на „Формална логика“
Направо към навигацията
Направо към търсенето
→Тематика
== Тематика ==
В този смисъл "''модерната математическа или символна логика е съвременната форма на създадената от Аристотел формална логика''" (срв. [3], с. 15). Тъй като бурното развитие на формалната логика от последните 130 години до голяма степен
Бел.: От съвременна гледна точка самото традиционно говорене за "формална" логика (включително и Кантовото) се явява най-малкото дотолкова по-скоро интуитивно, отколкото строго дефинирано (срв. [4], с. 3), доколкото понятието за ''логическа форма'' получава ясен смисъл едва в изследванията на модерната символна логика, а именно чрез приложението на т.нар. метод за формализация (който се състои, най-общо казано, в един метод за заместване на изрази с определено значение в изреченията, въвеждането на променливи и употребата на специални символи за получаващите се при този анализ логически константи).
|