Семантика

апчьомветка

«смысл — это применение» (С). Людвиг Витгенштейн

Формальная семантика — дисциплина, изучающая семантику (интерпретации) формальных и естественных языков путём их формального описания в математических терминах.

Формальный язык может быть задан без какой-либо интерпретации. Это достигается заданием множества символов (также называемого алфавитом) и множества правил вывода (также называемого формальной грамматикой), которые определяют, какие строки символов являются правильно построенными формулами. При добавлении правил преобразования и принятии некоторых предложений за аксиомы (что вместе называется дедуктивной системой), формируется логическая система. Интерпретация — это задание смысла её символам и значений истинности её предложениям.

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

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

https://ru.wikipedia.org/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D1%81%D0%B5%D0%BC%D0%B0%D0%BD%D1%82%D0%B8%D0%BA%D0%B0

Про семитов семантов.

_________________
Когда не знаешь, что искать, то находишь жареные парадоксы.

Айтишнег? Суди не выше сервака!

Не, про антисемитов антисемантов, хехе

каковы, а? "антисемитрактовочники", ога...

но ваще за ветку спасибо. Я по случаю по диагонали прочел о споре энгельса с каутским и прочими диалектами и таки понял, почему такие как вы гуманетарии в совсоюзе считали кибернетику продажной девкой империализма или чем там еще. В башках такие красивые благостные картины были, тезис превращался в антитезис умножением на -1, а возведением в квадрат так ваще синтез получался , но тут ссука пришел Джордж Булль и все опошлил , редуцировав до true-false. Показал им и мать кузькину, и закон исключенного третьего в действии, по хардкору.

Лейтенант, а у тебя по научному коммунизму какая отметка была итоговая?

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

_________________
Мазератти?

Плять, вот развели ыкспертов отдельно по правой кнопке мыша, отдельно по левой, каждый прочитал, цуко, по диагонали целую книгу - не то с верблюдОм, не то с раковиной - по большей части кверху ногами - и каждый же _мнение_, понимашь, имеет

зато интеллектуальная дискуссея!

_________________
не суди,но старайся понять..

можно сказать - изысканное, утончённое, такое, обсуждение, "основ мироздания"...

Асексуалы - новое оружие Запада.
13 март 2015
http://politinform.su/obschestvo/21140-aseksualy-novoe-oruzhie-zapada.html

вот прям сижу и жду как Ван выложит презентацию Хазиным и Делягиным своего доклада )

это чего это такое, м?

я про это
хех



им кажется пригрозили расстрелом )

это чо, разнарядка пришла с пометкой - "срочно"? ))

#дерзкиеичёткие

известные борцы с либерастами дружно завопили шо либерализм у нас был не той системы
а вот они знают как правильно

есть у меня мысля шо они имеют в виду
но я пока помолчу )

смахивает на "разнарядку" и именно с пометкой - "срочно"...

эти, молчали, долго..., тот, пропал на неделю..., подозрительно всё это... ;)

p/s
не было - не было денег "на науку", а вот фдрух, прям цельный фонд на энто дело образовался...
подозрительно всё складывается... )))