Пес Ебленский - Post a comment [entries|archive|friends|userinfo]
rex_weblen

[ website | Наши рисуночки ]
[ userinfo | ljr userinfo ]
[ archive | journal archive ]

Links
[Links:| update journal edit friends fif tiphareth recent comments ]

'Об Интерпретации' Аристотеля 7: отрицания кванторов Jul. 16th, 2020|11:48 am

rex_weblen
Тут Аристотель начинает разделять сингулярные и универсальные высказывания. Универсальные высказывания отличаются от сингулярных тем, что перед ними стоит квантор, который нельзя убрать без потери смысла. Как должно быть известно из курса элементарной или высшей математики есть два квантора $\forall$ или 'для всех', и $\exists$ или 'существует такой что'. Думаю, примеры приводить не нужно.

Аристотель выводит знаменитые законы отрицания кванторов $\neg \forall A . P = \exists A . \neg P$ и $ \neg \exists A . P = \forall A . \neg P$. Например, сказать 'не все люди дебилы', то это тоже самое, что сказать, 'есть человек, который не дебил'. Так как распространенной ошибкой тут будет искать отрицание высказывания вида $\neg \forall A . P$ в виде $\forall A . \neg P$, то Аристотель называет такие пары высказываний противоположными.

Тут стоит вернуться к теории противоположностей Аристотеля и проанализировать как вышесказанное согласуется с тем, что я про нее писал. Но мне эта теория не очень нравится, и я этого делать не буду (пока).
Link Read Comments

Reply:
From:
Identity URL: 
имя пользователя:    
Вы должны предварительно войти в LiveJournal.com
 
E-mail для ответов: 
Вы сможете оставлять комментарии, даже если не введете e-mail.
Но вы не сможете получать уведомления об ответах на ваши комментарии!
Внимание: на указанный адрес будет выслано подтверждение.
Username:
Password:
Subject:
No HTML allowed in subject
Message: