формальная онтология

Аватар пользователя Юрий Дмитриев

Мир и Бог

Целое и часть суть отношения между совокупностями предметов и отдельными предметами, образующими совокупности. Предикативно эти отношения выражаются через "быть целым", "быть частью" и "содержать части". В этом плане Бог апофатичен; из прочего же сущего:

Аватар пользователя Юрий Дмитриев

Локальная контрадикторность: формальный аспект

Некоторое время назад Александром Болдачёвым (boldachev) было введено понятие локальной контрадикторности предикатов, в отличие от абсолютной контрадикторности: «Абсолютно контрадикторными следует считать такую пару предикатов, для которой предложения, образованные приписыванием их одному логическому субъекту, подчиняются закону исключенного третьего всегда и везде на любом множестве логических субъектов.

Аватар пользователя Юрий Дмитриев

Пять предрассудков о логике

Наиболее часто встречающиеся предрассудки:

Предрассудок первый - "Логика есть наука о мышлении".

Предрассудок второй - "Логические аксиомы и правила произвольны".

Предрассудок третий - "Логические системы противоречат друг другу".

Предрассудок четвёртый - "Логикой может доказать всё, что угодно".

Предрассудок пятый - "Логика обедняет мышление и мешает творчеству".

RSS-материал