?

Log in

No account? Create an account

Previous Entry | Next Entry

Символическая логика

Аристотелю принадлежит заслуга создания логики как средства защиты истины и разоблачения софистики. Именно в этих качествах она является незаменимой вот уже более двух тысячелетий. В период средневековья схоласты продолжили разработку проблем логики. Они ввели в логику латинскую терминологию. Ф.Бэкон исследовал основы индуктивных умозаключений. Исследования выдающегося немецкого философа и математика В. Лейбница положили начало второму этапу логики - символической логике (середина Х1Х в.).

При написании учебника логики возникает довольно сложная проблема, связанная с удивительными успехами символической логики. Вследствие этих успехов, особенно в области теории логического вывода и логической семантики, возникла мысль о ненужности традиционной логики. Однако люди, как и две тысячи лет назад, продолжают рассуждать, доказывать, опровергать, пользуясь естественным языком. И здесь, эффективным средством является аппарат традиционной логики.

В связи с этим возникает вопрос: как совместить преподавание традиционной логики результатам символической логики? В символической логике много проблем традиционной логики освещаются по-новому, например, проблемы суждений с отношениями, сложных суждений, логических законов и т.д.. Символическая логика открыла новые формы рассуждения и новые виды логических связей. Поэтому говорить сейчас о традиционную логику без учета достижений символической логики просто невозможно.


Profile

doloew
d_serg2

Latest Month

December 2018
S M T W T F S
      1
2345678
9101112131415
16171819202122
23242526272829
3031     

Tags

Powered by LiveJournal.com
Designed by Lilia Ahner