Типы оградительных сооружений в морском порту: По расположению оградительных сооружений в плане различают волноломы, обе оконечности...
Состав сооружений: решетки и песколовки: Решетки – это первое устройство в схеме очистных сооружений. Они представляют...
Топ:
Марксистская теория происхождения государства: По мнению Маркса и Энгельса, в основе развития общества, происходящих в нем изменений лежит...
Оснащения врачебно-сестринской бригады.
Характеристика АТП и сварочно-жестяницкого участка: Транспорт в настоящее время является одной из важнейших отраслей народного...
Интересное:
Инженерная защита территорий, зданий и сооружений от опасных геологических процессов: Изучение оползневых явлений, оценка устойчивости склонов и проектирование противооползневых сооружений — актуальнейшие задачи, стоящие перед отечественными...
Наиболее распространенные виды рака: Раковая опухоль — это самостоятельное новообразование, которое может возникнуть и от повышенного давления...
Искусственное повышение поверхности территории: Варианты искусственного повышения поверхности территории необходимо выбирать на основе анализа следующих характеристик защищаемой территории...
Дисциплины:
2017-06-12 | 258 |
5.00
из
|
Заказать работу |
|
|
Сложные суждения
Все мухи насекомые, а некоторые козлы не насекомые.
Все S1есть P Некоторые S2 не есть Р
(Все S1есть P۸((Некоторые S2 не есть Р)
a۸p
Виды сложных суждений:
Соединительные (конъюнктивные) – «и» («а» «но» «также» «вместе с тем»)
p۸q
Разделительные (дизъюнктивные) –«или» («либо»….)
Сильная дизъюнкция
.
pVq возможен только один из вариантов, но не оба
Слабая дизъюнкция
pVq когда возможен не только один, но и оба варианта
Условные (импликативные) – «если…, то…»
p q
условие (антецедент) следствие (консеквент)
Эквивалентные - «если, и только если…, то…»
p=q
p q
Суждения с внешним отрицанием «Неверно, что…»
p
Не все люди воспитанные
Некоторые люди не являются воспитанными О
Некоторые S не есть P
p
Неверно, что р
Задание: запишите сложное суждение в виде формулы:
Приходя в дом, снимайте обувь и надевайте тапочки, иначе запачкаете пол.
p (q ۸ r)vz
(p (q ۸ r))vz ۸ r
P- истинно
Q–истинно
R – ложно
Z – ложно
Каким будет суждение в целом (ложным или истинным)?
Таблица истинности сложных суждений
p | q | p۸q | p v q | p v q | p q | p=q | p |
и | и | и | и | л | и | и | л |
л | л | л | л | л | и | и | и |
и | л | л | и | и | л | л | л |
л | и | л | и | и | и | л | и |
(q= (w V e) r ۸ (t y)) V u
Q-ложно
W – истинно
E– истинно
R – истинно
T – ложно
Y – ложно
U - истинно
4. МОДАЛЬНОСТЬ СУЖДЕНИЯ
Под модальностью в формальной логике понимают выраженную в суждении дополнительную оценочную информацию о связях между явлениями, о логическом статусе суждения, о регулятивных, временных и других его характеристиках.
I. Алетическая модальность — это выражаемая с помощью операторов «необходимо», «случайно», «возможно», «невозможно» информация о логической либо фактической обоснованности суждения.
|
типы модальностей:
фактическаямодальность и
логическая модальность.
Фактическая модальность связана с объективной обусловленностью суждений, когда их истинность и ложность определяются реальным положением дел в окружающей действительности.
К фактически истинным относятся суждения, в которых связь между терминами суждения соответствует действительным отношениям между явлениями. Пример такого суждения: «Кремль находится в Москве».
К фактически ложным относятся суждения, в которых связь между субъектом и предикатом не соответствует реальности. Поэтому здесь следует использовать модальный оператор: «Неверно, что Кремль находится на Северном полюсе».
Фактическую модальность, в свою очередь, можно разделить на
фактически необходимую,
фактически случайную,
фактически возможную и
фактически невозможную виды.
Фактически необходимые — это суждениям которых говорится о связи явлений, определяемой их устойчивой внутренней основой и совокупностью условий их развития. Таковыми являются научные законы.
Фактически случайные — это суждения, в которых говорится о связи, определяемой внешними, побочными для данного явления причинами.
Фактически невозможные — это суждения, содержащие информацию об отсутствии единой основы развития явлений. Например: «Обучение на юридическом факультете невозможно для человека, не имеющего среднего образования».
Логическая модальность — это информация об обусловленности суждения, которая основывается на законах и правилах логики. В нем истинность или ложность определяется структурой суждения.
II. Эпистемическая модальность — это выраженная в суждении информация об обосновании и степени его достоверности.
В логике по степени обоснованности различают два класса суждений:
|
достоверные
и проблематичные
Достоверное суждение — это такое высказывание, в котором содержится твердо установленная информация.
Проблематичные суждения — это такие высказывания, которые нельзя считать достоверными в силу того, что истинность или ложность таких суждений точно не установлена.
III. Деонтическая модальность (слово «деонтический» означает в греческом языке «обязанность») — это выраженная в суждении информация, побуждающая людей к определенным поступкам. В естественном языке высказывание строится в форме совета, пожелания, команды, правила поведения или приказа.
Тема 5. Умозаключения
Непосредственные умозаключения (основаны всего на одной посылке)
1. Умозаключение по логическому квадрату
Пример:
Посылка: Все люди – братья
Выводы:
Некоторые люди – братья
Ложно, что ни один человек не брат
Ложно, что некоторые люди не братья
|
|
Эмиссия газов от очистных сооружений канализации: В последние годы внимание мирового сообщества сосредоточено на экологических проблемах...
История создания датчика движения: Первый прибор для обнаружения движения был изобретен немецким физиком Генрихом Герцем...
Механическое удерживание земляных масс: Механическое удерживание земляных масс на склоне обеспечивают контрфорсными сооружениями различных конструкций...
Археология об основании Рима: Новые раскопки проясняют и такой острый дискуссионный вопрос, как дата самого возникновения Рима...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!