TY - JOUR

T1 - Развитие семантических идей в Британской логике XIX века

AU - Черноскутов, Ю.Ю.

PY - 2016

Y1 - 2016

N2 - В статье рассматривается процесс становления теоретических оснований логической семантики и начальные стадии формирования её оснований понятий в британской логике XIX века. Показано, что именно в рамках этой логической традиции сформировались, во-первых основные принципы теории именования, и, во-вторых, понятие интерпретации. На основе анализа работы Р. Уэтли «Элементы логики» показано, что особая роль, которую Уэтли отводил языку в логических исследованиях, привела к постановке семантических проблем. Если в теории имени и высказывания основным семантическим понятием Уэтли является класс, то в теории умозаключения он фактически дополняет понятие класса понятием формально-языковой структуры, правильность которой не зависит от значений входящих в неё терминов. Проанализированы семантические идеи Дж.С.Милля, источники и роль его теории денотации и коннотации, модификация семантического применения понятия класса у Уэтли и Милля. Показано, что Милль впервые ввёл в логику и исследовал дескриптивные имена, а также выделил единичные высказывания как отдельный вид. Прослежено развитие другой составляющей логической семантики, связанной с различением понятий формальной алгебраической структуры и её интерпретации в символической алгебре Кембриджских математиков Дж. Пикока и Д.Ф. Грегори. В частности, обращено внимание на важность выделения символов операций и их исследования отдельно от символов величин. Кратко прослежено влияние Пикока на особенности логических работ Де Моргана, и отражение установок Грегори в исходных принципах построения логического исчисления Дж. Буля. Показано, что теория значения как таковая появляется в логике Брэдли вне всякой связи с развитием символической логики, и что Б. Рассел адаптировал эту теорию к той версии символической логики, которую заимствовал у Пеано и Фр

AB - В статье рассматривается процесс становления теоретических оснований логической семантики и начальные стадии формирования её оснований понятий в британской логике XIX века. Показано, что именно в рамках этой логической традиции сформировались, во-первых основные принципы теории именования, и, во-вторых, понятие интерпретации. На основе анализа работы Р. Уэтли «Элементы логики» показано, что особая роль, которую Уэтли отводил языку в логических исследованиях, привела к постановке семантических проблем. Если в теории имени и высказывания основным семантическим понятием Уэтли является класс, то в теории умозаключения он фактически дополняет понятие класса понятием формально-языковой структуры, правильность которой не зависит от значений входящих в неё терминов. Проанализированы семантические идеи Дж.С.Милля, источники и роль его теории денотации и коннотации, модификация семантического применения понятия класса у Уэтли и Милля. Показано, что Милль впервые ввёл в логику и исследовал дескриптивные имена, а также выделил единичные высказывания как отдельный вид. Прослежено развитие другой составляющей логической семантики, связанной с различением понятий формальной алгебраической структуры и её интерпретации в символической алгебре Кембриджских математиков Дж. Пикока и Д.Ф. Грегори. В частности, обращено внимание на важность выделения символов операций и их исследования отдельно от символов величин. Кратко прослежено влияние Пикока на особенности логических работ Де Моргана, и отражение установок Грегори в исходных принципах построения логического исчисления Дж. Буля. Показано, что теория значения как таковая появляется в логике Брэдли вне всякой связи с развитием символической логики, и что Б. Рассел адаптировал эту теорию к той версии символической логики, которую заимствовал у Пеано и Фр

KW - Семантика

KW - интерпретация

KW - значение

KW - символическая алгебра

KW - класс

KW - рассуждение

KW - язык

KW - логика

KW - Semantics

KW - logic

KW - language

KW - Britain

KW - 19th century

KW - reasoning

KW - class

KW - Symbolic algebra

KW - Interpretation

M3 - статья

VL - 17

SP - 111

EP - 133

JO - РАЦИО.ru

JF - РАЦИО.ru

SN - 2312-0428

IS - 2

ER -