Nov. 28th, 2011

А запишу-ка я просто как думается, ведь все равно не знаю, где такое есть в литературе и как правильно называется. Мысли, собственно говоря, об отрицаниях и общности в человеческих языках в связи с конструктивной математикой с пустым набором аксиом.

Посылка провокационная. Можно долго обсуждать. Если коротко, то все фразы, содержащие отрицание, кроме идиом и иронии, ложны, а все остальные высказывания правдивы. Дело в том, что отрицание вводит общности по времени, месту, смыслам и многому другому, и как ее не ограничивай, найдется интерпретация и обстоятельства, при которых утверждение с отрицанием окажется неверным, а значит, и в общем случае было неверным.

С предложениями без отрицаний все наоборот. Там вводится существование, какую общность вроде места и времени не накладывай, так как найдется интерпретация (в том числе и для самих слов, обозначающих общность) и обстоятельства, где фраза будет верна, пусть даже выдуманные или откровенно фантастические.

Это что-то вроде конструктивного подхода, когда нет базовых аксиом, где можно лишь показать, что объект существует, предъявив его построение, хоть какое-нибудь, не обязательно даже полезное или вообще имеющее какое-то отношение к действительности. А говорить о несуществовании чего-либо нельзя, ибо мало ли чего есть в определенных системах аксиом. Вон, нечеткая логика всякая.

Profile

Anton Salikhmetov

November 2018

S M T W T F S
    123
45678 910
11121314151617
18192021222324
252627282930 

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 7th, 2025 06:00 pm
Powered by Dreamwidth Studios