Как философская логика изучает взаимосвязи между различными типами суждений?

Философская логика изучает взаимосвязи между различными типами суждений, исследуя логические связи между мыслями, отвлекаясь от их конкретного содержания. azbyka.ru

Некоторые виды логических связей:

• Совместимость по истинности. spravochnick.ru Характеризует суждения, которые могут быть одновременно истинными. spravochnick.ru Пример: «У некоторых кошек зелёные глаза» и «У некоторых кошек не зелёные глаза». spravochnick.ru
• Совместимость по ложности. spravochnick.ru Характеризует суждения, которые могут быть одновременно ложными. spravochnick.ru Пример: «Все кошки пушистые» и «Все кошки не пушистые». spravochnick.ru
• Логическое следование (импликация). spravochnick.ru Если суждение A следует из суждения B, говорят, что B имплицирует A. spravochnick.ru Это выражается в форме «Если B, то A» или «B => A». spravochnick.ru В такой схеме при истинности посылки невозможна ложность следствия. spravochnick.ru Пример: «Все кошки не умеют мяукать» и «Некоторые кошки не умеют мяукать». spravochnick.ru
• Эквивалентность. spravochnick.ru Отношение между суждениями, которое указывает на одинаковую истинностную (истинное или ложное) значение. spravochnick.ru Если одно суждение истинно, то и другое суждение также будет истинным, и если одно суждение ложно, то другое суждение будет ложным. spravochnick.ru Пример: «Сегодня пятница» и «Вчера был четверг». spravochnick.ru
• Субконтрарность. spravochnick.ru Отношение между суждениями, которое указывает на то, что эти суждения не могут быть одновременно ложными. spravochnick.ru Если одно суждение истинно, то другое суждение может быть истинным или ложным. spravochnick.ru Пример: «Некоторые кошки не могут мяукать» и «Некоторые кошки могут мяукать». spravochnick.ru
• Контрарность. spravochnick.ru Отношение между суждениями, которое указывает на то, что эти суждения не могут быть одновременно истинными, но могут быть одновременно ложными. spravochnick.ru Если одно суждение истинно, то другое суждение обязательно ложно. spravochnick.ru Пример: «Все кошки могут мяукать» и «Все кошки не могут мяукать». spravochnick.ru