Формализация логического следования в формальной логике
Автор: Кортунов Вадим Вадимович
Журнал: Сервис plus @servis-plus
Рубрика: Культура и цивилизация
Статья в выпуске: 1 т.12, 2018 года.
Бесплатный доступ
Вопрос о том, как формально (не прибегая к анализу конкретного содержания переменных) сформулировать логическое следование «A⊧B» до сих пор окончательно не решен. Это связано с известными трудностями. Во-первых, логическое следование имеет место в условных (импликативных) высказываниях, которые, будучи истинными, могут, как выражать логическое следование, так и не выражать его. Во-вторых, условные высказывания могут быть истинными даже тогда, когда их антецеденты и консеквенты не связаны друг с другом содержательно. В-третьих, на решение вопроса логического следования накладывается проблема так называемых «парадоксов импликации»: известно, что импликация истинна, как в случае, если ложь имплицирует истину («истина следует из чего угодно») так и в случае, когда из противоречия выводится произвольное выражение («из противоречия следует все, что угодно»).
Логическое следование, формализация, парадокс импликации
Короткий адрес: https://sciup.org/140224772
IDR: 140224772 | УДК: 164 | DOI: 10.24411/2413-693X-2018-10113
Formalizing the logical consequence in classical logic
The question of formal formulation (without analyzing the specific content of variables) of the logical consequence «A⊧B» is not still finally answered. This is due to the known difficulties. Firstly, the logical consequence takes place in conditional (implicative) statements which, if they are true, may express logical consequence or may not. Secondly, conditional statements can be true even when their antecedents and consequents are not related to each other according to their senses. Thirdly, the problem of what is called «paradoxes of material implication» is imposed on answering the question of the logical consequence: it is known that the implication is true, as in the case if the falsity implicates the truth ("The truth follows from anything") as in the case when the arbitrary expression is derived from the contradiction («contradictione (sequitur) quodlibet (ECQ)» («from contradiction, anything (follows)»).
Список литературы Формализация логического следования в формальной логике
- Войшвилло Е.К. Символическая логика (классическая и релевантная): Философско-методологические аспекты: Учебное пособие. Изд. 2-е -М.: Книжный дом «ЛИБРОКОМ», 2011. 152 с.
- Войшвилло Е.К., Дегтярёв М.Г. Логика: учебник. -М: ВЛАДОС-ПРЕСС; ИД КДУ. 2013. 528 с.
- 3. http://gtmarket.ru/concepts/6919 [Электронный ресурс. Дата обращения - 24.03.2018]. Е. А. Сидоренко. Подготовка электронной публикации и общая редакция: Центр гуманитарных технологий. Информация на этой странице периодически обновляется. Последняя редакция: 16.03.2018.
