For-UA - Форум всея Великия и Малыя и Белыя России https://for-ua.info/ |
|
Семантика https://for-ua.info/viewtopic.php?f=3&t=4652 |
Страница 9 из 11 |
Автор: | carpenter [ 06.03.15, 06:20 ] |
Заголовок сообщения: | Re: Семантика |
апчьомветка |
Автор: | one [ 06.03.15, 08:00 ] |
Заголовок сообщения: | Re: Семантика |
«смысл — это применение» (С). Людвиг Витгенштейн Формальная семантика — дисциплина, изучающая семантику (интерпретации) формальных и естественных языков путём их формального описания в математических терминах. Формальный язык может быть задан без какой-либо интерпретации. Это достигается заданием множества символов (также называемого алфавитом) и множества правил вывода (также называемого формальной грамматикой), которые определяют, какие строки символов являются правильно построенными формулами. При добавлении правил преобразования и принятии некоторых предложений за аксиомы (что вместе называется дедуктивной системой), формируется логическая система. Интерпретация — это задание смысла её символам и значений истинности её предложениям. Условия истинности различных предложений, которые могут присутствовать в аргументах, зависят от их смысла, поэтому добросовестные учёные не могут полностью обойтись без какого-либо описания смысла этих предложений. Семантика логики описывает различные подходы к пониманию и определению тех частей смысла, которые представляют интерес. Как правило, интерес с точки зрения логики представляет не само по себе предложение, а оно же в пропозиционной, идеализированной форме, подходящей для логических преобразований. До становления современной логики, в «Органоне» Аристотеля, а именно в работе «Об истолковании» были заданы основы понимания и значения логики. Введение кванторов должно было решить проблему общности множеств, не решаемую в рамках субъектно-предикатного анализа Аристотеля, хотя в логике термов появляется новый интерес, а именно попытки построить исчисление в духе силлогистики Аристотеля, но используя свойства общности кванторов из современной логики. 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 |
Автор: | Бендер [ 06.03.15, 11:40 ] |
Заголовок сообщения: | Re: Семантика |
carpenter писал(а): апчьомветка Про семитов семантов. |
Автор: | .lt.~MO [ 07.03.15, 10:34 ] |
Заголовок сообщения: | Re: Семантика |
Швеллер писал(а): какой же бесконечный ужас в башках гуманитариеф Айтишнег? Суди не выше сервака!
|
Автор: | Tom2k6 [ 07.03.15, 20:42 ] |
Заголовок сообщения: | Re: Семантика |
Бендер писал(а): carpenter писал(а): апчьомветка Про семитов семантов. Не, про антисемитов антисемантов, хехе |
Автор: | one [ 08.03.15, 04:21 ] |
Заголовок сообщения: | Re: Семантика |
каковы, а? "антисемитрактовочники", ога... |
Автор: | Швеллер [ 10.03.15, 18:50 ] |
Заголовок сообщения: | Re: Семантика |
.lt.~MO писал(а): Швеллер писал(а): какой же бесконечный ужас в башках гуманитариеф Айтишнег? Суди не выше сервака!но ваще за ветку спасибо. Я по случаю по диагонали прочел о споре энгельса с каутским и прочими диалектами и таки понял, почему такие как вы гуманетарии в совсоюзе считали кибернетику продажной девкой империализма или чем там еще. В башках такие красивые благостные картины были, тезис превращался в антитезис умножением на -1, а возведением в квадрат так ваще синтез получался , но тут ссука пришел Джордж Булль и все опошлил , редуцировав до true-false. Показал им и мать кузькину, и закон исключенного третьего в действии, по хардкору. |
Автор: | Швеллер [ 10.03.15, 18:51 ] |
Заголовок сообщения: | Re: Семантика |
Лейтенант, а у тебя по научному коммунизму какая отметка была итоговая? |
Автор: | Вас ис дас [ 10.03.15, 19:24 ] |
Заголовок сообщения: | Re: Семантика |
Вообще-то продажной девкой империализъма лысенко назвал генетику что не отменяет ничего, высказанного камрадом Швеллером, к чему я присоединяюсь да не постигнет меня вовеки веков игнор общности множеств кванторов |
Автор: | .lt.~MO [ 10.03.15, 20:02 ] |
Заголовок сообщения: | Re: Семантика |
Плять, вот развели ыкспертов отдельно по правой кнопке мыша, отдельно по левой, каждый прочитал, цуко, по диагонали целую книгу - не то с верблюдОм, не то с раковиной - по большей части кверху ногами - и каждый же _мнение_, понимашь, имеет |
Автор: | prokl [ 10.03.15, 20:10 ] |
Заголовок сообщения: | Re: Семантика |
зато интеллектуальная дискуссея! |
Автор: | one [ 10.03.15, 23:10 ] |
Заголовок сообщения: | Re: Семантика |
можно сказать - изысканное, утончённое, такое, обсуждение, "основ мироздания"... |
Автор: | one [ 13.03.15, 11:09 ] |
Заголовок сообщения: | Re: Семантика |
Асексуалы - новое оружие Запада. 13 март 2015 http://politinform.su/obschestvo/21140-aseksualy-novoe-oruzhie-zapada.html |
Автор: | one [ 13.03.15, 12:03 ] |
Заголовок сообщения: | Re: Семантика |
Автор: | Tom2k6 [ 18.03.15, 00:36 ] |
Заголовок сообщения: | Re: Семантика |
вот прям сижу и жду как Ван выложит презентацию Хазиным и Делягиным своего доклада ) |
Автор: | one [ 18.03.15, 07:08 ] |
Заголовок сообщения: | Re: Семантика |
это чего это такое, м? |
Автор: | Tom2k6 [ 18.03.15, 08:47 ] |
Заголовок сообщения: | Re: Семантика |
я про это хех им кажется пригрозили расстрелом ) |
Автор: | one [ 18.03.15, 19:39 ] |
Заголовок сообщения: | Re: Семантика |
это чо, разнарядка пришла с пометкой - "срочно"? )) #дерзкиеичёткие |
Автор: | Tom2k6 [ 18.03.15, 20:05 ] |
Заголовок сообщения: | Re: Семантика |
известные борцы с либерастами дружно завопили шо либерализм у нас был не той системы а вот они знают как правильно есть у меня мысля шо они имеют в виду но я пока помолчу ) |
Автор: | one [ 18.03.15, 20:08 ] |
Заголовок сообщения: | Re: Семантика |
смахивает на "разнарядку" и именно с пометкой - "срочно"... эти, молчали, долго..., тот, пропал на неделю..., подозрительно всё это... ;) p/s не было - не было денег "на науку", а вот фдрух, прям цельный фонд на энто дело образовался... подозрительно всё складывается... ))) |
Страница 9 из 11 | Часовой пояс: UTC + 4 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |