какая модальность рассматривает суждения в состав которых включен временной фактор

Логика: конспект лекций.

1. Модальность суждений.

Модальное суждение – это отдельный вид суждений, имеющий свои особенности и характеризующийся как наличием общих с ассерторическими суждениями признаков, так и отличием от последних.

Изучаются модальные суждения в рамках модальной логики, которая неоднородна по своему содержанию и разделена на несколько ветвей. Среди них: логика времени, логика действия, логика норм, деонтическая логика, логика принятия решений и др.

С точки зрения классической логики, то или иное суждение можно назвать ассерторическим или модальным. Очевидно, что два этих вида разнятся между собой. Модальные суждения можно назвать уточняющими. Суждения такого вида не просто дают характеристику того или иного предмета, описывают, определяют его и присущие ему свойства, но и уточняют, дополняют такую характеристику. В упрощенном виде можно говорить о том, что модальные суждения выражают наше отношение к рассматриваемому объекту. Разумеется, эта особенность модальных суждений отражается в естественном языке. Так, в отличие от ассерторических суждений (читай – простых) модальные содержат ряд специальных слов. Например, «доказано», «обязательно», «возможно», «хорошо», «плохо» и др. Эти слова называют модальными операторами. Можно показать различие между ассерторическими и модальными суждениями, приведя следующие предложения: «Завтра будет холодно» – это суждение является ассерторическим; «Возможно, завтра будет холодно» – как уже понятно, это суждение модальное. С этих позиций можно утверждать, что модальные суждения – это дополненные специфическим отношением ассерторические суждения. Однако роль модальных высказываний не сводится к простой передаче отношения говорящего к предмету. Налицо более сложная и заметная не с первого взгляда закономерность: модальные суждения отражают характер связи между субъектом и предикатом. В каком-то смысле сами ее и создают.

Модальные суждения – это суждения, в которых отражаются отношения и связь между субъектом и предикатом и показывается отношение к предмету с помощью модальных операторов.

Для того чтобы лучше уяснить природу данного вида суждений, рассмотрим ряд примеров. Будем вначале давать пример ассерторического суждения, а следом за ним образованного из него модального. «На небе ни облачка, и ярко светит солнце», «Хорошо, что на небе ни облачка и ярко светит солнце»; «Правильная осанка повышает работоспособность», «Доказано, что правильная осанка повышает работоспособность» и «Обливание холодной водой способствует укреплению здоровья», «Доказано, что обливание холодной водой способствует укреплению здоровья». А также: «Бегун на второй дорожке придет первым», «Возможно, что бегун на второй дорожке придет первым»; «Два, умноженное на два, дает четыре», «Очевидно, что два, умноженное на два, дает четыре»; «Электрический ток при прохождении нагревает проводник» и «Обязательно, что ток при прохождении нагревает проводник». Разница между ассерторическими и модальными суждениями в приведенных примерах очевидна. Скажем, первая пара суждений. «На небе ни облачка…» – это только констатация факта, описание двух составляющих ясной погоды, лишенное оценки, а вместе с ней каких-либо чувств и эмоций. С добавлением слова «хорошо» в суждение приходит оценка этой погоды говорящим. Из этого суждения можно с очевидностью сделать вывод, что такая погода ему по душе. Первый вид суждений, как и второй (т. е. как ассерторические, так и модальные суждения) может быть либо истинным, либо ложным. Третьего при этом не дано. Однако нельзя не согласиться с тем, что модальные суждения имеют больше вариаций и оттенков. Они зачастую могут трактоваться по-разному, из-за чего появляется вероятность возникновения ошибок при определении их истинности или ложности. Здесь необходимо упомянуть о том, что логика в целом и модальная логика в частности подходят к рассмотрению значения слов «возможно», «необходимо», «доказано», «обязательно», а также образованных от них «необходимость», «обязательность», «случайность», «невозможность» с особенной стороны. Если с точки зрения естественного языка указанные выше слова являются только словами и имеют различные оттенки и значения, то логика возводит их в ранг категорий. С этой точки зрения происходит рассмотрение их взаимосвязей и зависимостей. Данные категории рассматриваются и в рамках философии, которую интересует более всего их содержательная сторона.

Таким образом, ассерторические суждения – это простые суждения, в которых утверждается или отрицается определенная информация относительно того или иного предмета. Они характеризуются также тем, что говорят об отношениях между предметами, отраженными в них. Таких предметов может быть два или несколько. Чтобы пояснить сказанное выше, приведем пример: «Все профессиональные лыжники – спортсмены». В данном суждении соотносятся понятия «профессиональные лыжники» и «спортсмены», причем первое уже второго и полностью включено в его объем, зато богаче по содержанию, в силу того что имеет больше признаков. Модальное суждение в отличие от ассерторического указывает на доказанность или недоказанность того, что отражено в суждении, необходимость связи между предметами или ее случайность, отношение к предмету суждения с точки зрения морали, нравственности и т. д. Модальные суждения имеют структуру: М (S есть (или не есть) Р).

Необходимо сказать, что ассерторические суждения (как это уже было описано в других главах) могут объединяться в сложные при помощи логических связок (конъюнкции, дизъюнкции, эквиваленции, импликации, отрицания). Модальные операторы прекрасно подходят и к сложным суждениям. Другими словами, и сложные суждения могут быть модальными. В этом случае их структура будет такой: М (а ^ b) или М (а V b) и др. Необходимо только помнить, что всего логических связок и, соответственно, образованных от них сложных суждений пять.

Слова в естественном языке (в том числе и русском) характеризуются известной неоднозначностью. Иначе говоря, многие слова имеют разное значение при одинаковом звучании. Другие, несмотря на то что разнятся по звучанию и написанию, означают один и тот же предмет. Последнее относится и к модальным операторам. Так, один из модальных операторов может запросто быть заменен другим, причем без потери подразумеваемого смысла суждения. Например, суждение «Вероятно, этот спортсмен прибежит первым» не потеряет имеемого и не приобретет нового, если заменить «вероятно» на «возможно». Судите сами: «Возможно, этот спортсмен прибежит первым». Таким образом можно поступить и в других случаях.

Объединяя сказанное выше, можно назвать сложными модальными суждениями такие сложные суждения, которые при помощи модальных операторов отражают отношения и связь между простыми суждениями, входящими в его состав.

Как было описано выше, модальные высказывания образуются при помощи модальных же операторов.

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

Модальности могут быть логическими и онтологическими, дионтическими, эпистемическими, аксиологическими и временными.

Логические модальности вкупе с онтологическими образуют алетические модальности.

Говоря о модальности суждений, не раз упоминалось о модальных операторах. Они показывают необходимость суждения либо его случайность, возможность или невозможность. Однако в процессе не давалось определения ни истинности, ни ложности и другим терминам из этого ряда. Между тем знание точного смысла указанных выше категорий немаловажно. Итак, необходимость суждения означает, что это суждение основывается на законе, открытом в рамках какой-либо науки, в том числе и логики. Необходимыми при этом признаются также и все обоснованные следствия, выведенные из данных законов. Определяющим в этом случае является фактор объективности. Иными словами, закон должен быть реальным, а не виртуальным, т. е. правильно отражать реальное положение вещей. Случайные суждения определяются как высказывания, хотя и не основанные непосредственно на известных науке законах, но не противоречащие им. То же относится и к следствиям этих законов. В случае с невозможными суждениями все очевидно. Такими суждениями называют те, которые противоречат научно подтвержденным законам или их следствиям. Возможные суждения основаны на здравом смысле и не противоречат научным законам и их следствиям.

Указанные выше категории и изучают алетические модальности.

Источник

1. Модальность суждений

1. Модальность суждений

Модальное суждение — это отдельный вид суждений, имеющий свои особенности и характеризующийся как наличием общих с ассерторическими суждениями признаков, так и отличием от последних.

Изучаются модальные суждения в рамках модальной логики, которая неоднородна по своему содержанию и разделена на несколько ветвей. Среди них: логика времени, логика действия, логика норм, деонтическая логика, логика принятия решений и др.

С точки зрения классической логики, то или иное суждение можно назвать ассерторическим или модальным. Очевидно, что два этих вида разнятся между собой. Модальные суждения можно назвать уточняющими. Суждения такого вида не просто дают характеристику того или иного предмета, описывают, определяют его и присущие ему свойства, но и уточняют, дополняют такую характеристику. В упрощенном виде можно говорить о том, что модальные суждения выражают наше отношение к рассматриваемому объекту. Разумеется, эта особенность модальных суждений отражается в естественном языке. Так, в отличие от ассерторических суждений (читай — простых) модальные содержат ряд специальных слов. Например, «доказано», «обязательно», «возможно», «хорошо», «плохо» и др. Эти слова называют модальными операторами. Можно показать различие между ассерторическими и модальными суждениями, приведя следующие предложения: «Завтра будет холодно» — это суждение является ассерторическим; «Возможно, завтра будет холодно» — как уже понятно, это суждение модальное. С этих позиций можно утверждать, что модальные суждения — это дополненные специфическим отношением ассерторические суждения. Однако роль модальных высказываний не сводится к простой передаче отношения говорящего к предмету. Налицо более сложная и заметная не с первого взгляда закономерность: модальные суждения отражают характер связи между субъектом и предикатом. В каком-то смысле сами ее и создают.

Модальные суждения — это суждения, в которых отражаются отношения и связь между субъектом и предикатом и показывается отношение к предмету с помощью модальных операторов.

Для того чтобы лучше уяснить природу данного вида суждений, рассмотрим ряд примеров. Будем вначале давать пример ассерторического суждения, а следом за ним образованного из него модального. «На небе ни облачка, и ярко светит солнце», «Хорошо, что на небе ни облачка и ярко светит солнце»; «Правильная осанка повышает работоспособность», «Доказано, что правильная осанка повышает работоспособность» и «Обливание холодной водой способствует укреплению здоровья», «Доказано, что обливание холодной водой способствует укреплению здоровья». А также: «Бегун на второй дорожке придет первым», «Возможно, что бегун на второй дорожке придет первым»; «Два, умноженное на два, дает четыре», «Очевидно, что два, умноженное на два, дает четыре»; «Электрический ток при прохождении нагревает проводник» и «Обязательно, что ток при прохождении нагревает проводник». Разница между ассерторическими и модальными суждениями в приведенных примерах очевидна. Скажем, первая пара суждений. «На небе ни облачка…» — это только констатация факта, описание двух составляющих ясной погоды, лишенное оценки, а вместе с ней каких-либо чувств и эмоций. С добавлением слова «хорошо» в суждение приходит оценка этой погоды говорящим. Из этого суждения можно с очевидностью сделать вывод, что такая погода ему по душе. Первый вид суждений, как и второй (т. е. как ассерторические, так и модальные суждения) может быть либо истинным, либо ложным. Третьего при этом не дано. Однако нельзя не согласиться с тем, что модальные суждения имеют больше вариаций и оттенков. Они зачастую могут трактоваться по-разному, из-за чего появляется вероятность возникновения ошибок при определении их истинности или ложности. Здесь необходимо упомянуть о том, что логика в целом и модальная логика в частности подходят к рассмотрению значения слов «возможно», «необходимо», «доказано», «обязательно», а также образованных от них «необходимость», «обязательность», «случайность», «невозможность» с особенной стороны. Если с точки зрения естественного языка указанные выше слова являются только словами и имеют различные оттенки и значения, то логика возводит их в ранг категорий. С этой точки зрения происходит рассмотрение их взаимосвязей и зависимостей. Данные категории рассматриваются и в рамках философии, которую интересует более всего их содержательная сторона.

Таким образом, ассерторические суждения — это простые суждения, в которых утверждается или отрицается определенная информация относительно того или иного предмета. Они характеризуются также тем, что говорят об отношениях между предметами, отраженными в них. Таких предметов может быть два или несколько. Чтобы пояснить сказанное выше, приведем пример: «Все профессиональные лыжники — спортсмены». В данном суждении соотносятся понятия «профессиональные лыжники» и «спортсмены», причем первое уже второго и полностью включено в его объем, зато богаче по содержанию, в силу того что имеет больше признаков. Модальное суждение в отличие от ассерторического указывает на доказанность или недоказанность того, что отражено в суждении, необходимость связи между предметами или ее случайность, отношение к предмету суждения с точки зрения морали, нравственности и т. д. Модальные суждения имеют структуру: M (S есть (или не есть) Р).

Необходимо сказать, что ассерторические суждения (как это уже было описано в других главах) могут объединяться в сложные при помощи логических связок (конъюнкции, дизъюнкции, эквиваленции, импликации, отрицания). Модальные операторы прекрасно подходят и к сложным суждениям. Другими словами, и сложные суждения могут быть модальными. В этом случае их структура будет такой: M (a ^b) или M (a V b) и др. Необходимо только помнить, что всего логических связок и, соответственно, образованных от них сложных суждений пять.

Слова в естественном языке (в том числе и русском) характеризуются известной неоднозначностью. Иначе говоря, многие слова имеют разное значение при одинаковом звучании. Другие, несмотря на то что разнятся по звучанию и написанию, означают один и тот же предмет. Последнее относится и к модальным операторам. Так, один из модальных операторов может запросто быть заменен другим, причем без потери подразумеваемого смысла суждения. Например, суждение «Вероятно, этот спортсмен прибежит первым» не потеряет имеемого и не приобретет нового, если заменить «вероятно» на «возможно». Судите сами: «Возможно, этот спортсмен прибежит первым». Таким образом можно поступить и в других случаях.

Объединяя сказанное выше, можно назвать сложными модальными суждениями такие сложные суждения, которые при помощи модальных операторов отражают отношения и связь между простыми суждениями, входящими в его состав.

Как было описано выше, модальные высказывания образуются при помощи модальных же операторов.

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

Модальности могут быть логическими и онтологическими, дионтическими, эпистемическими, аксиологическими и временными.

Логические модальности вкупе с онтологическими образуют алетические модальности.

Говоря о модальности суждений, не раз упоминалось о модальных операторах. Они показывают необходимость суждения либо его случайность, возможность или невозможность. Однако в процессе не давалось определения ни истинности, ни ложности и другим терминам из этого ряда. Между тем знание точного смысла указанных выше категорий немаловажно. Итак, необходимость суждения означает, что это суждение основывается на законе, открытом в рамках какой-либо науки, в том числе и логики. Необходимыми при этом признаются также и все обоснованные следствия, выведенные из данных законов. Определяющим в этом случае является фактор объективности. Иными словами, закон должен быть реальным, а не виртуальным, т. е. правильно отражать реальное положение вещей. Случайные суждения определяются как высказывания, хотя и не основанные непосредственно на известных науке законах, но не противоречащие им. То же относится и к следствиям этих законов. В случае с невозможными суждениями все очевидно. Такими суждениями называют те, которые противоречат научно подтвержденным законам или их следствиям. Возможные суждения основаны на здравом смысле и не противоречат научным законам и их следствиям.

Указанные выше категории и изучают алетические модальности.

Данный текст является ознакомительным фрагментом.

Источник

Какая модальность рассматривает суждения в состав которых включен временной фактор

1. Модальность суждений

Модальное суждение — это отдельный вид суждений, имеющий свои особенности и характеризующийся как наличием общих с ассерторическими суждениями признаков, так и отличием от последних.

Изучаются модальные суждения в рамках модальной логики, которая неоднородна по своему содержанию и разделена на несколько ветвей. Среди них: логика времени, логика действия, логика норм, деонтическая логика, логика принятия решений и др.

С точки зрения классической логики, то или иное суждение можно назвать ассерторическим или модальным. Очевидно, что два этих вида разнятся между собой. Модальные суждения можно назвать уточняющими. Суждения такого вида не просто дают характеристику того или иного предмета, описывают, определяют его и присущие ему свойства, но и уточняют, дополняют такую характеристику. В упрощенном виде можно говорить о том, что модальные суждения выражают наше отношение к рассматриваемому объекту. Разумеется, эта особенность модальных суждений отражается в естественном языке. Так, в отличие от ассерторических суждений (читай — простых) модальные содержат ряд специальных слов. Например, «доказано», «обязательно», «возможно», «хорошо», «плохо» и др. Эти слова называют модальными операторами. Можно показать различие между ассерторическими и модальными суждениями, приведя следующие предложения: «Завтра будет холодно» — это суждение является ассерторическим; «Возможно, завтра будет холодно» — как уже понятно, это суждение модальное. С этих позиций можно утверждать, что модальные суждения — это дополненные специфическим отношением ассерторические суждения. Однако роль модальных высказываний не сводится к простой передаче отношения говорящего к предмету. Налицо более сложная и заметная не с первого взгляда закономерность: модальные суждения отражают характер связи между субъектом и предикатом. В каком-то смысле сами ее и создают.

Модальные суждения — это суждения, в которых отражаются отношения и связь между субъектом и предикатом и показывается отношение к предмету с помощью модальных операторов.

Для того чтобы лучше уяснить природу данного вида суждений, рассмотрим ряд примеров. Будем вначале давать пример ассерторического суждения, а следом за ним образованного из него модального. «На небе ни облачка, и ярко светит солнце», «Хорошо, что на небе ни облачка и ярко светит солнце»; «Правильная осанка повышает работоспособность», «Доказано, что правильная осанка повышает работоспособность» и «Обливание холодной водой способствует укреплению здоровья», «Доказано, что обливание холодной водой способствует укреплению здоровья». А также: «Бегун на второй дорожке придет первым», «Возможно, что бегун на второй дорожке придет первым»; «Два, умноженное на два, дает четыре», «Очевидно, что два, умноженное на два, дает четыре»; «Электрический ток при прохождении нагревает проводник» и «Обязательно, что ток при прохождении нагревает проводник». Разница между ассерторическими и модальными суждениями в приведенных примерах очевидна. Скажем, первая пара суждений. «На небе ни облачка…» — это только констатация факта, описание двух составляющих ясной погоды, лишенное оценки, а вместе с ней каких-либо чувств и эмоций. С добавлением слова «хорошо» в суждение приходит оценка этой погоды говорящим. Из этого суждения можно с очевидностью сделать вывод, что такая погода ему по душе. Первый вид суждений, как и второй (т. е. как ассерторические, так и модальные суждения) может быть либо истинным, либо ложным. Третьего при этом не дано. Однако нельзя не согласиться с тем, что модальные суждения имеют больше вариаций и оттенков. Они зачастую могут трактоваться по-разному, из-за чего появляется вероятность возникновения ошибок при определении их истинности или ложности. Здесь необходимо упомянуть о том, что логика в целом и модальная логика в частности подходят к рассмотрению значения слов «возможно», «необходимо», «доказано», «обязательно», а также образованных от них «необходимость», «обязательность», «случайность», «невозможность» с особенной стороны. Если с точки зрения естественного языка указанные выше слова являются только словами и имеют различные оттенки и значения, то логика возводит их в ранг категорий. С этой точки зрения происходит рассмотрение их взаимосвязей и зависимостей. Данные категории рассматриваются и в рамках философии, которую интересует более всего их содержательная сторона.

Таким образом, ассерторические суждения — это простые суждения, в которых утверждается или отрицается определенная информация относительно того или иного предмета. Они характеризуются также тем, что говорят об отношениях между предметами, отраженными в них. Таких предметов может быть два или несколько. Чтобы пояснить сказанное выше, приведем пример: «Все профессиональные лыжники — спортсмены». В данном суждении соотносятся понятия «профессиональные лыжники» и «спортсмены», причем первое уже второго и полностью включено в его объем, зато богаче по содержанию, в силу того что имеет больше признаков. Модальное суждение в отличие от ассерторического указывает на доказанность или недоказанность того, что отражено в суждении, необходимость связи между предметами или ее случайность, отношение к предмету суждения с точки зрения морали, нравственности и т. д. Модальные суждения имеют структуру: M (S есть (или не есть) Р).

Необходимо сказать, что ассерторические суждения (как это уже было описано в других главах) могут объединяться в сложные при помощи логических связок (конъюнкции, дизъюнкции, эквиваленции, импликации, отрицания). Модальные операторы прекрасно подходят и к сложным суждениям. Другими словами, и сложные суждения могут быть модальными. В этом случае их структура будет такой: M (a ^b) или M (a V b) и др. Необходимо только помнить, что всего логических связок и, соответственно, образованных от них сложных суждений пять.

Слова в естественном языке (в том числе и русском) характеризуются известной неоднозначностью. Иначе говоря, многие слова имеют разное значение при одинаковом звучании. Другие, несмотря на то что разнятся по звучанию и написанию, означают один и тот же предмет. Последнее относится и к модальным операторам. Так, один из модальных операторов может запросто быть заменен другим, причем без потери подразумеваемого смысла суждения. Например, суждение «Вероятно, этот спортсмен прибежит первым» не потеряет имеемого и не приобретет нового, если заменить «вероятно» на «возможно». Судите сами: «Возможно, этот спортсмен прибежит первым». Таким образом можно поступить и в других случаях.

Объединяя сказанное выше, можно назвать сложными модальными суждениями такие сложные суждения, которые при помощи модальных операторов отражают отношения и связь между простыми суждениями, входящими в его состав.

Как было описано выше, модальные высказывания образуются при помощи модальных же операторов.

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

Модальности могут быть логическими и онтологическими, дионтическими, эпистемическими, аксиологическими и временными.

Логические модальности вкупе с онтологическими образуют алетические модальности.

Говоря о модальности суждений, не раз упоминалось о модальных операторах. Они показывают необходимость суждения либо его случайность, возможность или невозможность. Однако в процессе не давалось определения ни истинности, ни ложности и другим терминам из этого ряда. Между тем знание точного смысла указанных выше категорий немаловажно. Итак, необходимость суждения означает, что это суждение основывается на законе, открытом в рамках какой-либо науки, в том числе и логики. Необходимыми при этом признаются также и все обоснованные следствия, выведенные из данных законов. Определяющим в этом случае является фактор объективности. Иными словами, закон должен быть реальным, а не виртуальным, т. е. правильно отражать реальное положение вещей. Случайные суждения определяются как высказывания, хотя и не основанные непосредственно на известных науке законах, но не противоречащие им. То же относится и к следствиям этих законов. В случае с невозможными суждениями все очевидно. Такими суждениями называют те, которые противоречат научно подтвержденным законам или их следствиям. Возможные суждения основаны на здравом смысле и не противоречат научным законам и их следствиям.

Указанные выше категории и изучают алетические модальности.

2. Истинность суждений

Переходя к вопросу об истинности суждений, сразу следует сказать, что зачастую определение этого фактора становится нелегкой задачей. Это может быть связано с неоднозначностью слов, применяемых в высказываниях, или с некорректным с точки зрения логики построением суждения. Причиной может быть сложность структуры самого суждения или невозможность определения ложности либо истинности в данный момент в силу неизвестности или недоступности необходимой информации.

Определение истинности суждений непосредственно связано со сравнимостью и несравнимостью. Сравнимые суждения делятся на совместимые и несовместимые.

Несовместимые суждения могут находиться в отношениях противоречия и противоположности. Понятия, входящие в отношение противоречия, характеризуются тем, что не могут быть одновременно истинными или ложными. Если одно из противоречащих суждений истинно, то другое ложно, и наоборот.

Если одно из противоположных суждений истинно, другое обязательно ложно, так как они исключают друг друга полностью. При этом ложность одного из противоположных суждений не означает ложности или истинности другого. И действительно, противоположность суждений еще не означает, что одно из них всегда истинно, а другое — ложно. Например: «На Марсе нет жизни» и «На Марсе есть жизнь». Эти понятия неопределенны, т. е. неизвестно, истинны они или ложны. Оба они могут быть ложными. Но истинным может быть только одно из них.

Совместимые суждения входят в отношения логического подчинения, равнозначности и частичного совпадения (пересечения).

Подчиненные совместимые суждения. Носят такое название в силу того, что одно из этих суждений входит в объем другого, подчинено ему. Такие суждения имеют общий предикат. Определение истинности суждений, находящихся в отношении подчинения, связано с определенной спецификой, так как одно из суждений входит в объем второго. В связи с этим истинность общего суждения влечет истинность частного, истинность же частного не определяет с достоверностью истинности общего. Ложность общего оставляет частное суждение неопределенным, а ложность частного не означает, что ложно и общее.

Приведем пример: «Феррари — хороший автомобиль» и «Все автомобили хорошие». Второе суждение ложно. Оно является подчиняющим. При этом подчиненное ему частное суждение является истинным.

Условно говоря, совместимые равнозначные суждения отражают одно и то же явление или предмет окружающего мира, но делают это по-разному. Так, если мы возьмем для рассмотрения два разных суждения об одном предмете или явлении, т. е. два совместимых суждения, то заметим закономерность: в одном случае у обоих этих высказываний будет один субъект, но различно выраженные (хотя и имеющие одинаковый смысл) предикаты. В другом возникает обратная ситуация. Однако в данном случае мы говорим только об эквивалентных, но ни в коем случае не обо всех совместимых суждениях. Само собой разумеется, что когда два суждения эквивалентны, одинаковы по своему значению, в случае ложности одного из них ложно и второе, и наоборот.

Примером эквивалентных совместимых суждений являются следующие высказывания: «Луна является естественным спутником Земли» и «Луна — это спутник Земли, возникший в результате естественных причин».

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

Отношение пересечения характеризуется тем, что при ложности одного такого суждения другое обязательно истинно. Это связано с тем, что такие суждения имеют одинаковые субъект и предикат, которые тем не менее разнятся по качеству. При этом если одно из таких суждений истинно, то относительно другого не ясно, истинно оно или ложно.

Источник