9 прочтений · 1 год назад
Формальная логика. Глава VI.§ 1.
§ 1. Уточнение логического смысла суждений Суждение может иметь различное словесное выражение. Одно и то же суждение может быть выражено разными предложениями. Возьмём следующие предложения: «Пионер — всем ребятам пример», «Пионер является примером для всех ребят», «Пионер ведёт себя так, чтобы быть образцом для всех ребят». Каждое из этих трёх предложений содержит одну и ту же мысль, одно и то же суждение, но выражены они различными предложениями: первые два предложения - простые, третье — сложное; сказуемое в них выражено разными словами, связка тоже выражена по-разному...
137 прочтений · 2 года назад
Логические связки
Логические связки – специальные логические символы, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка. Иногда логические связки также называют пропозициональными связками (от лат. proposition – предложение, суждение, высказывание). Логика стоиков Первая теория логических связок была разработана в рамках стоицизма. Основной единицей стоической логики является не термин (понятие), как у Аристотеля, а «высказанное» (λεϰτόν)...