Создание символической логики
Другая философия / История логики / Создание символической логики
Страница 2

Растущие потребности научно-технического прогресса обуслов­ливают дальнейшее интенсивное развитие современной логики.

Остается сказать, что в разработку систем символической ло­гики внесли важный вклад русские ученые.

Среди них особенно выделяется П. Порецкий (1846—1907). Так, он первым в России начал чтение лекций по математической логике. Его собственные труды в этой области не только были на уровне трудов современ­ных ему западноевропейских ученых, но и в ряде случаев превос­ходили их.

Страницы: 1 2 

    Смотрите также

    10.8 Различение между истинностью и обоснованностью знания
      Мы можем знать некоторый факт только в том случае, если мы имеем истинное полагание о нем. Однако, поскольку не все, а только некоторые истинные полагания являются знанием, то один из цен ...

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

    8.4 Теоретико-игровая семантика Я.Хинтикки
      В основе теоретико-игровой семантики лежат, с одной стороны, математическая теория игр, а с другой—теоретико-модельная семантика. Как и эту последнюю, теоретико-игровую семантику интересу ...