Форум: Проблемы искусственного интеллекта

Регистрация | Вход

Все темы | Новая тема  Стр.1 (1)     Поиск:
Автор	Тема: мощности логических систем
гость 91.203.198.*	мощности логических систем Добавлено: 17 авг 13 10:16 откуда столько кретинов среди математиков? почему они считают, что мощность двоичной логики как системы, меньше мощности системы математической логики, к примеру? Почему при сравнении мощностей обоих систем они не утруждают себя привести их к общему знаминателю? Что, сие правило им не знакомо? [Ответ][Цитата]
гость 78.25.121.*	На: мощности логических систем Добавлено: 17 авг 13 23:35 нет такого правила, нет логической необходимости в постулате сравнимости. Постулат о несводимости также порождает логически устойчивую систему. Если в системе допустить неопределенность, т.е. третье значение истинности, то система будет более мощной чем система с двумя значениями. На неразрешимом утверждении система с двумя значениями выдаст либо ошибочное означивание, либо зависнет. Система с третьим значением для сохранения работоспособности (и адекватности) воспользуется именно третьим значением. математическая логика это не двоичная пропозициональная логика, а логика предикатов высших порядков, оперирующая, в частности, предикатом 'неразрешимо', имеющем ТРИ значения истинности (да, нет, не известно (включая случаи, когда и не может быть известно)). Тонкость вопроса заключается в спецификации разных степеней неразреши- мости. [Ответ][Цитата]
гость 91.203.198.*	На: мощности логических систем Добавлено: 18 авг 13 0:02 "нет такого правила, нет логической необходимости в постулате сравнимости." вам так удобно думать? незнание правил не освобождает от ответственности. "Если в системе допустить неопределенность" кто вам дал такое право? т.е. право вносить неопределенность вы имеете, просто после этого вы лишаетесь права называть получившуюся систему логикой, поскольку в логике по определению не может существовать неопределенность. Вы называете логикой то, что теряет полноту. А по определению логика полная система. [Ответ][Цитата]
гость 91.203.198.*	На: мощности логических систем Добавлено: 18 авг 13 0:04 "математическая логика это не двоичная пропозициональная логика" не надо называть матлогику логикой...она ей не является по признаку неполноты. матаппарат похож на логику, не более того. [Ответ][Цитата]
гость 91.203.198.*	На: мощности логических систем Добавлено: 18 авг 13 0:05 точнее, матлогика, это некая конструкция использующая логику частично, причем не правильно. [Ответ][Цитата]
гость 78.25.121.*	На: мощности логических систем Добавлено: 18 авг 13 0:21 Еще раз для танкистов. Мне удобно думать и так и сяк - в разных условиях по-разному. Я не связан глупой догмой. Если что-то неадекватно, громоздко, трудно выражается одними средставами, то ничто не мешает сменить средства выражения, если есть таковая возможность. права не получают, права берут. Что это за рабская психология подчинения упрощенной логике? Как называть тот или иной инструмент решает тот, кто этот инструмент использует. В логике может существовать что угодно, - не вам решать. Аристотель уже задумался о логике модальностей, но обломался, поэтому схоласты зафиксировали некоторую часть логики в качестве канонической и единственно возможной. Но есть разные логики. Есть упрощенная, детская логика, в которой нет 'сложностей', а есть 'реальная' логика, которая преодалевает ограничения сверхидеализации, сверхупрощения, и которая логизирует неопределенность, неразрешимость, неполноту, противоречивость, многозначность, немонотонность, исключения, ошибки, гипотетичность, модальности, причинность, контек- стуализированность, содержательность, динамичность, многосторонность (взаимодействие разных логических систем, систем знания, представления) и прочая. Вы имеет в виду некий гибрид из бинарной логики, некоторого фрагмента каузальной и темпоральной логик, - и думаете что это упражнение в псевдофилософской логике является достаточным. Для вас - достаточно. Но не вы решаете как развиваться логике. [Ответ][Цитата]
гость 78.25.121.*	На: мощности логических систем Добавлено: 18 авг 13 0:28 нет никакого 'определения' логики как полной системы. Полнота это металогическое свойство той или иной логической системы. Параполная и даже неполная система тоже является логической. Если она хоть как-то транслирует истинность по цепям вывода, то этого достаточно, чтобы признать эту систему логикой. Даже если общезначимость, дедуктивность имеют особенности против канонических. Математическая логика шире формальной. Программа логизации математики, физики успешно провалена. [Ответ][Цитата]
гость 91.203.198.*	На: мощности логических систем Добавлено: 18 авг 13 1:27 идите учиться чтоли... [Ответ][Цитата]
гость 78.25.120.*	На: мощности логических систем Добавлено: 18 авг 13 3:09 с удовольствием, чего и вам желаю. [Ответ][Цитата]
гость 70.97.65.*	На: мощности логических систем Добавлено: 18 авг 13 14:47 http://www.nlg-wiki.org/systems/Special:SearchByProperty/Language/Russian [Ответ][Цитата]
NO. Сообщений: 10700	На: мощности логических систем Добавлено: 01 сен 13 4:40 Цитата: Автор: гость откуда столько кретинов среди математиков? У математиков в голове CD-ROM, у программистов RW. [Ответ][Цитата]
kondrat Сообщений: 4026	На: мощности логических систем Добавлено: 02 сен 13 7:16 Цитата: Автор: NO. У математиков в голове CD-ROM, у программистов RW. А у блондинок - ваще квантовый компьютер [Ответ][Цитата]
гость 78.25.123.*	На: мощности логических систем Добавлено: 02 сен 13 7:30 у математиков не ROM, а WOM.. [Ответ][Цитата]
Стр.1 (1)