2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 логика
Сообщение31.01.2009, 14:39 
Помогите разобраться.
В следующем доказательстве найдите тезис, аргументы и определите форму рассуждения.

Если частноутвердительное суждение "Некоторые S есть Р "ложно, то частноотрицательное суждение с тем же субъектом и предикатом "Некоторые S не есть P " будет истинным. Рассмотрим общеотрицательное суждение: Ни одно S не есть P . Это суждение в отношении противоречия и данному нам частноутвердительному суждению. Согласно закону исключения третьего, два противоречащих друг другу суждения не могут быть в месте ложными. Следовательно, частноутвердительное и общеотрицательное суждение с одинаковым субъектом и предикатом не могут быть вместе ложными. Но нам известно, что частноутвердительное суждение ложно. Следовательно, общеотрицательное суждение истинно.
Из истинности общего суждения вытекает истинность соответствующего ему частного суждения. Общеотрицательное суждение является общим. Поэтому из истинности общеотрицательного суждения вытекает истинность соответствующего ему частного суждения. Общеотрицательному суждению соответствует частноотрицательное. Это значит, что из истинности общеотрицательного суждения вытекает истинность частноотрицательного.
Но мы уже доказали, что общеотрицательное суждение будет истинным при условии ложности частноутвердительного. Следовательно, при условии ложности частноутвердительного суждения частноотрицательное суждение с тем же субъектом и предикатом будет истинным, что и требовалось доказать.

 
 
 
 
Сообщение31.01.2009, 20:12 
jjj66 в сообщении #182725 писал(а):
Согласно закону исключения третьего, два противоречащих друг другу суждения не могут быть в месте ложными.

В цитате дано предложение:
в нем вторая часть - тезис (суждение, требующее обоснования),
а первая часть - аргумент ("убедительная" причина, основание).
"форма рассуждения" - внешний вид рассуждения ( не его смысл). Что мы видим? Обычный текст (словесная форма)..

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

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group