Формална логика: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Етикети: добавен етикет nowiki в статията Визуален редактор |
Редакция без резюме |
||
Ред 1:
{{обработка|по-достъпно обяснение}}
'''Формална логика''' е термин на [[Имануел Кант]], с който ''традиционната [[логика]]'' – а именно силогистиката (Аристотеловата теория за формално-валидните умозаключения), допълнена в традицията с учението за понятието и учението за съждението, – се различава от развитата от самия [[Кант]] т.нар. „трансцендентална логика“, в която се обръща внимание не само на логическата „форма“, но и на предмета, т.е. „съдържанието“ на [[познание]]то. Кант е смятал, че формалната логика е получила завършен вид на практика още при самия [[Аристотел]]. (При [[Хегел]] в известен смисъл се продължава Кантовата програма, като започва да се говори за една по-висша „спекулативна“ или „съдържателна“ логика и, дотолкова, самата формална логика получава дори негативни конотации.) Изследванията на немския математик и философ Готлоб [[Фреге]] обаче довеждат до революция – и неподозирани дотогава разширения – на „формалната логика“ в края на ХІХ век. За да се различава тази „нова“ логика („модерната логика“) от напластената с теоретико-познавателни и психологически въпроси традиционна логика (особено през Новото време, но също и при Кант и Хегел), сега отново започва да се говори за „формална логика“, но този път в положителен смисъл. Други имена, които се използват за същото, са „символна логика“, „математическа логика“ и „логистика“ (последното обаче не се използва вече в този смисъл).
Последните наименования имат, разбира се, своето основание, но съдържат и недостатъци. Въведени във вихъра на въодушевлението от ефективността на новите системи на логиката, и то на фона на „стерилността“ на старата логика, те създават впечатление за наличие на принципна граница между „предметната“ област на съвременните и тази на традиционните логически изследвания. Ето защо на едно второ поколение „математически логици“ (Шолц, Лукашевич, Бохенски<ref>Bocheński,
== Тематика ==
В този смисъл „''модерната математическа или символна логика е съвременната форма на създадената от Аристотел формална логика''“.<ref>Kutschera,
Бел.: От съвременна гледна точка самото традиционно говорене за „формална“ логика (включително и Кантовото) е най-малкото дотолкова по-скоро интуитивно, отколкото строго дефинирано<ref>Scholz,
== Източници ==
<references />
== Външни препратки ==
▲* [http://formallogic.eu <nowiki>[5] Електронен учебник</nowiki>]
[[Категория:Логика]]
|