Похожие чаты

С вашего позволения для своего удобства сейчас буду обозначать распределённый

субъект большой "S", а нераспределенный маленькой "s", распределённый предикат - большой "P" нераспределенный - маленькой "p".
Таким образом до этого момента я полагал, что существуют 8 вариантов суждений:
A (S-P) и A (S-p)
E (S-P) и Е (S-p)
I (s-P) и I (s-p)
O (s-P) и O (s-p)
Вы же утверждаете, что I (s-P) это то же самое, что A (S-p), с чем я согласен. Но выходит, что A (S-p) в логике используется, а I (s-P) - нет.
Однако, я не могу сообразить почему? По какой причине именно первое из двух используется, почему не наоборот, например? Чем вызвана именно такая избирательность?
То же самое, насколько я понимаю, вы относите к Е (S-p) и O (s-P).

17 ответов

15 просмотров

И учтите, что «некоторые S есть (не-есть) Р» в силлогистике понимается как «по крайней мере некоторые, а может быть и все, S есть (не есть) Р»

Massimo Nova
И учтите, что «некоторые S есть (не-есть) Р» в сил...

Если мы не говорим о силлогистике Васильева, где специально вводятся суждения типа М : «Только некоторые S есть Р»

Victor-Nosov Автор вопроса
Massimo Nova
И учтите, что «некоторые S есть (не-есть) Р» в сил...

Это я понимаю, ведь речь идёт о том, что известно точно и какой правильный вывод мы можем из этого сделать.

В этом плане например штуки в духе I (s-P) в вашей нотации быть не может с точки зрения того, как устроено всё обычно в силлогистике

Massimo Nova
screenshot

Вот на схемах 1. и 2. суждение типа i истинно. Но в логике в оценке выводов мы абстрагируемся от того, каковы действительно соотношения у интересующих нас элементов (в данном случае у объемов терминов). Мы должны рассматривать все возможные сочетания, потому что логические связи, отношения, и тд должны иметь место независимо от того, какое сочетание мы барем. Так вот тут видно, что субъект в общем случае всё же не в полном объеме берется. Если мы будем брать в полном объеме, то схема 2. Не работает, хотя должна, тогда как если мы берем не в полном объеме, у нас всё будет нормально и со схемой 1.

Massimo Nova
Вот на схемах 1. и 2. суждение типа i истинно. Но ...

Вот например есть суждение «Все равносторонние прямоугольники есть квадраты». Мы знаем, что оно эквивалентно «Все квадраты есть равносторонние прямоугольники», потому что в принципе это один класс объектов. Но с точки зрения силлогистики, когда мы абстрагируемся от того, с какими классами объектов мы работаем, мы не можем непосредственно (то есть через правила для умозаключений из одной посылки) заключить «Все квадраты есть равносторонние прямоугольники» из «Все равносторонние прямоугольники есть квадраты» Потому что обращение применяется к А-суждениям с ограничением. И мы можем получить только «некоторые квадраты есть равносторонние прямоугольники»

Victor-Nosov Автор вопроса
Victor Nosov
Что же именно это за ограничение?

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

Victor-Nosov Автор вопроса
Massimo Nova
Ограничение заключается в том, чтоб мы из общего н...

Да, но в чём его смысл? Почему это так? Не могу помыслить ни одного примера, где "все A есть все B", но лишь "Некоторые B есть все A".

Victor Nosov
Да, но в чём его смысл? Почему это так? Не могу по...

Пусть (!) все актёры работают в театре. Верно ли при таком допущении, что все работающие в театре это актёры? Ведь там работают и костюмеры, уборщики и тд

Victor-Nosov Автор вопроса
Massimo Nova
Пусть (!) все актёры работают в театре. Верно ли п...

Предикат "работающие в театре" в данном примере взят не во всём объеме. Мы же рассматриваем случай, когда во всем.

Victor Nosov
Предикат "работающие в театре" в данном примере вз...

Это суждение типа А. Там суждение в общем случае не может иметь предикат в полном объеме

Massimo Nova
Это суждение типа А. Там суждение в общем случае н...

Так, наверное, не очень понятно. Надо по круговым диаграммам смотреть

Massimo Nova
screenshot

Вот такие

Похожие вопросы

Обсуждают сегодня

А кто-то пробовал, уезжая из Эстонии получить э-рез и продолжить вести предпринимательскую деятельность внутри Эстонии, используя свой OÜ?
Lalalashechki Lalala
57
@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
Подобного рода ;Следующие три строки это директивы ассемблера, ;которые можно не задавать, т.к.работаем в Visual Studio. ;Символ ";" - это начало однострочного комментария ...
Егор Анелькин
3
I arrived here after a Chico Crypto show highlighted the project & the Team - the fact that the Team had a long history of successfully working with household names gave me e...
Banter is Bullish
5
Dear super pioneers 🥳🥳: I want to purchase a hosting plan for a website where video games, metaverse, AI avatars, videos, and heavy virtual twins can be uploaded, which I wan...
Guapi
10
Привет всем. появился вопрос. Разрабатываю сайт, в данный момент он запущен. Хостинг beget. Добавляю на сайт яндекс метрику с помощью полей client-settings (взято отсюда http...
Andrew
2
еще вопрос, допустим мы создадим char массив из 10 элементов и присвоим ему через сканф 10 символов. и выведем все символы. Хотел спросить последний элемент /0 будет включать...
Anthem
10
Подскажите, где смотреть результат выполнения программы? Код: ;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, станда...
Егор Анелькин
5
Карта сайта