Парадокс Тавтология Силлогизм Выполнено Сивохиной Анастасией Студенткой группы

Парадокс Тавтология Силлогизм Выполнено Сивохиной Анастасией Студенткой группы 1102

Парадокс — ситуация (высказывание, утверждение, суждение или вывод), которая может существовать в реальности, но не имеет логического объяснения.

Вторая формулировка Парадокс — высказывание, которое расходится с общепринятым мнением и кажется нелогичным (зачастую лишь при поверхностном понимании). Парадокс – это всегда полуправда и это, как говорил Оскар Уайльд, «лучшее, чего мы можем достичь, потому что абсолютных правд не существует» . Парадокс своей стилизованной формой напоминает афоризм; привычная истина рушится на глазах и даже высмеивается.

Парадоксы в логике Логический парадокс — это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к заключениям. Разновидности логических парадоксов: Апория характеризуется наличием аргумента, противоречащего очевидному, общепринятому мнению, здравому смыслу. Антиномия — наличием двух противоречащих другу, одинаково доказуемых суждений.

Тавтология (греч. говорить то же самое) — термин стилистики, означающей ненужное повторение. Можно выделить следующие разновидности тавтологии: Смысловое повторение, избыточность. Повторение однокоренных слов, например, изобразить образ, приблизиться ближе. Построение звуковых последовательностей: лет до ста расти нам до самой старости.

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

Пример тавтологии в литературе Рассмотрим известное из песни высказывание: «В хоккей играют настоящие мужчины, Трус не играет в хоккей» . Формализуем его: X - играет в хоккей M - настоящий мужчина - не играет в хоккей - - не настоящий мужчина (трус) Получаем формулу:

Силлогизм Простой категорический силлогизм — рассуждение, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на большую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся на фигуры, а последние по логической форме посылок и заключения — на модусы.

Пример силлогизма Всякий человек смертен (большая посылка) Сократ — человек (меньшая посылка) Сократ смертен (заключение)

Структура простого категорического силлогизма В силлогизм входит ровно три термина: S — меньший термин: субъект заключения (входит также в меньшую посылку); P — больший термин: предикат заключения (входит также в большую посылку); M — средний термин: входит в обе посылки, но не входит в заключение.

S (субъект) – то, относительно чего мы высказываем (делится на два вида): 1. Определенное: Единичное, Частное, Множественное Единичные суждения – в которых подлежащее является индивидуальным понятием. Пример: «Ньютон открыл закон тяготения» Частное суждение – в котором подлежащим суждения является понятие, взятое в части своего объема. Пример: «Некоторые S суть P» Множественное суждение - это те, в которых несколько подлежащих классовых понятий. Пример: «Насекомые, пауки, раки есть членистоногие»

2. Неопределенное. Пример: «светает» , «больно» и т. п. Сказуемое P (предикат) – то, что мы высказываем (2 вида суждений): Повествовательные – это суждение относительно событий, состояний, процессов или деятельности скоропроходящих. Пример: « Роза в саду цветет» . Описательные – когда одному или многим предметам приписывается какое-нибудь свойство. Субъектом всегда является определенная вещь. Пример: «Огонь горяч» , «снег бел» .

Правила простого категорического силлогизма Средний термин должен быть распределён хотя бы в одной из посылок. Термин, не распределённый в посылке, не должен быть распределён в заключении. Число отрицательных посылок должно быть равно числу отрицательных заключений. В каждом силлогизме должно быть только три термина.

Фигуры силлогизма Фигурами силлогизма называются формы силлогизма, отличающиеся расположением среднего термина в посылках. Фигур существует четыре. Каждой фигуре отвечают модусы — формы силлогизма, различающиеся количеством и качеством посылок и заключения.

История Учение о силлогизме впервые изложено у Аристотеля в его «Первой аналитике» . Он говорит лишь о трёх фигурах категорического силлогизма, не упоминая о возможной четвёртой. Особенно подробно он рассматривает роль модальности суждений в процессе умозаключения. Преемник Аристотеля, основатель ботаники Теофраст прибавил ещё пять модусов к первой фигуре силлогизма; эти пять модусов впоследствии были выделены Клавдием Галеном (жившим во II-м в. н. э. ) в особую четвёртую фигуру.

Силлогизм в современной логике Силлогизм преобладал в логике до XIX века и имел ограниченное приложение в частности из-за привязки к категорическому силлогизму. Заменой силлогизму служит более простая и мощная логика первого порядка, а также теория кванторов.