Регистрация: 16.09.2014 Сообщения: 1103 Благодарил (а):1 раз.
Поблагодарили:21 раз.
«смысл — это применение» (С). Людвиг Витгенштейн
Формальная семантика — дисциплина, изучающая семантику(интерпретации)формальных и естественных языков путём их формального описания в математических терминах.
Формальный язык может быть задан без какой-либо интерпретации. Это достигается заданием множества символов (также называемого алфавитом) и множества правил вывода (также называемого формальной грамматикой), которые определяют, какие строки символов являются правильно построенными формулами. При добавлении правил преобразования и принятии некоторых предложений за аксиомы (что вместе называется дедуктивной системой), формируется логическая система.Интерпретация — это задание смысла её символам и значений истинности её предложениям.
Условия истинности различных предложений, которые могут присутствовать в аргументах, зависят от их смысла, поэтому добросовестные учёные не могут полностью обойтись без какого-либо описания смысла этих предложений. Семантика логики описывает различные подходы к пониманию и определению тех частей смысла, которые представляют интерес. Как правило, интерес с точки зрения логики представляет не само по себе предложение, а оно же в пропозиционной, идеализированной форме, подходящей для логических преобразований.
До становления современной логики, в «Органоне» Аристотеля, а именно в работе «Об истолковании» были заданы основы понимания и значения логики. Введение кванторов должно было решить проблему общности множеств, не решаемую в рамках субъектно-предикатного анализа Аристотеля, хотя в логике термов появляется новый интерес, а именно попытки построить исчисление в духе силлогистики Аристотеля, но используя свойства общности кванторов из современной логики.
Регистрация: 19.08.2014 Сообщения: 4158 Благодарил (а):80 раз.
Поблагодарили:52 раз.
.lt.~MO писал(а):
Швеллер писал(а):
какой же бесконечный ужас в башках гуманитариеф
Айтишнег? Суди не выше сервака!
но ваще за ветку спасибо. Я по случаю по диагонали прочел о споре энгельса с каутским и прочими диалектами и таки понял, почему такие как вы гуманетарии в совсоюзе считали кибернетику продажной девкой империализма или чем там еще. В башках такие красивые благостные картины были, тезис превращался в антитезис умножением на -1, а возведением в квадрат так ваще синтез получался , но тут ссука пришел Джордж Булль и все опошлил , редуцировав до true-false. Показал им и мать кузькину, и закон исключенного третьего в действии, по хардкору.
Регистрация: 04.10.2014 Сообщения: 1254 Откуда: дровишки? травишка? из лесу, вестимо Благодарил (а):
0 раз.
Поблагодарили:1 раз.
Вообще-то продажной девкой империализъма лысенко назвал генетику что не отменяет ничего, высказанного камрадом Швеллером, к чему я присоединяюсь да не постигнет меня вовеки веков игнор общности множеств кванторов
Регистрация: 18.08.2014 Сообщения: 2654 Благодарил (а):6 раз.
Поблагодарили:46 раз.
Плять, вот развели ыкспертов отдельно по правой кнопке мыша, отдельно по левой, каждый прочитал, цуко, по диагонали целую книгу - не то с верблюдОм, не то с раковиной - по большей части кверху ногами - и каждый же _мнение_, понимашь, имеет