Follow

Вон чо отец матлогики Буль пишет:

>All propositions are either assertions or denials, and are thus divided into affirmative and negative

>Simple identity or non -identity is the ultimate state to which every assertion may be reduced ; and we shall, therefore , first ask , from what identities, & c., can other identities, & c., be produced ?

Перевожу мякотку: "Все суждения либо утвердительные, либо отрицательные. А каждое суждение может быть сведено к простому тождеству или не-тождеству."

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

Чисто напомнить — это 1847 год. Английский математик, обращаясь к философскому опыту цивилизации, поставил в начало то же самое, что и Гегель за 30 лет до него. Но переебал аристотелевщину по своему, чисто чтоб удобнее было записывать логику в виде значков, 1 и 0. Потом появились бинарные компьютеры.

А вот если бы Буль был поумнее, он бы соединил 1 и 0 в троичность и у нас были бы троичные компьютеры.

Ну и так, чисто отполировать

encyclopediaofmath.org/wiki/Lo

Logical calculus

A formalization of a meaningful logical theory. The derivable objects of a logical calculus are interpreted as statements, formed from the simplest ones

Из более простых, сука. А что самое простое можно сказать о любом? То, что оно есть.

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.