Парадокс правды и лжи

Добавлено: Пн Сен 14, 2009 6:02 pm

Предлагаю решить этот парадокс ( описан не мной).

Дано утверждение "я всегда лгу"
если это утверждение ЛОЖЬ,то человек(на человеке проще объяснить) ее говорящий,на самом деле говорит правду,а если он говорит ПРАВДУ,то есть он на самом деле лжет.
Вывод:это утверждение и правда и ложь одновременно,а такого быть не может,то есть мы имеем парадокс.

Добавлено: Ср Сен 16, 2009 9:13 am

Lois

Популярно - это здеся. Very Happy

http://ru.wikipedia.org/wiki/%D0%9B%D1%83%D0%BA%D0%B0%D1%81%D0%B5%D0%B2%D0%B8%D1%87,_%D0%AF%D0%BD

Добавлено: Ср Сен 16, 2009 12:23 pm

Elizabet
мне хотелось бы услышать это живым русским языком, а не нудным изложением в энциклопедии.

Добавлено: Ср Сен 16, 2009 12:43 pm

Lois , ты хочешь ЭТО услышать? Ты хочешь "узнать по-русски, каковы"

Цитата:

взаимосвязи 1) между логикой ложности FL4 и логикой Белнапа; 2) между подлогиками FL3N логики ложности FL4 и трехзначными логиками Лукасевича и Клини. Логика ложности FL4 позволяет корректно оперировать с противоречивыми предложениями наряду с двузначными и такими, которые не истинны и не ложны.
Для системы FL4 доказываются теоремы непротиворечивости, полноты и дедукции.
Трехзначная логика Лукасевича L3 функционально эквивалентна логике FL3N. Поскольку FL3N является подлогикой FL4 и функционально эквивалентна L3, систему FL4 можно рассматривать как функционально эквивалентную четырехзначному обобщению L3, которое отличается от обобщения самого Лукасевича.

Если охота до сих пор не отпала, - позвони мне на мой телефон поздно ночью... Я прочту тебе ЭТО живым русским языком, перемежая это со вздохами, охами и поглаживанием телефонной трубки... Very Happy

Добавлено: Ср Сен 16, 2009 2:16 pm

Lois писал(а):

Александр Клыгин
а если популярно рассказать насчёт логики Лукасевича?

Я бы рад, но у меня мозгов не хватит популярно изложить. Laughing

Могу только цитат накидать:

http://ru.wikipedia.org/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0

Цитата:

Распространение идей многозначной логики в различных её вариантах (в том числе, символизированных), а затем — идей абстрактных типов данных в теоретическом программировании проблематизировало «изнутри» специфику истинности как области значений логических функций, включающих лишь два возможных значения. Так, аппарат бесконечнозначной логики Лукасевича—Тарского[10] практически неотличим от аппарата теории вероятностей, а в теории типов данных тип логический (булев) ничем особенным не отличается от прочих ни с операторной точки зрения, ни с точки зрения машинной реализации.

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

А вот это ещё интереснее: "Интуиционистская логика":
http://ru.wikipedia.org/wiki/%D0%98%D0%BD%D1%82%D1%83%D0%B8%D1%86%D0%B8%D0%BE%D0%BD%D0%B8%D1%81%D1%82%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0

Цитата:

Интуициони́зм — система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений. С точки зрения интуиционизма, основным критерием истинности математического суждения является интуитивная убедительность возможности проведения мысленного эксперимента, связываемого с этим суждением. Поэтому в интуиционистской математике отвергается теоретико-множественный подход к определению математических понятий, а также некоторые способы рассуждения, принятые в классической логике.

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

Lois писал(а):

Не всякий , кто не похож на еврея, является неевреем.

Хороший афоризм. Теперь буду знать! Very Happy

Добавлено: Ср Сен 16, 2009 2:18 pm

Ну и вот, из ссылки Элизабет, чтоб совсем понятно было:

Цитата:

Лукасевич разработал первую систему многозначной логики — трёхзначную логику высказываний (1920). В качестве третьего логического значения высказывания было введено значение, выражаемое словами «вероятно», «нейтрально». О каждом высказывании в системе Лукасевича можно сказать: оно либо истинно (1), либо ложно (0), либо нейтрально (1/2). Это стало возможным благодаря тому, что Лукасевич одним из первых, независимо от русского логика Н. А. Васильева[источник?], выдвинул тезис о возможности построения логических исчислений, в которых не действует принцип непротиворечивости. На основании трёхзначной логики Лукасевич построил систему модальной логики, в которой наряду с исследованием логических операций над ассерторическими высказываниями (утверждениями и отрицаниями) исследуются так называемые модальные высказывания (сильные и слабые утверждения и отрицания).

Добавлено: Ср Сен 16, 2009 2:49 pm

Александр Клыгин
меня интересует логика, в которой выполняется одновременно два условия- есть и нет.

Добавлено: Чт Сен 17, 2009 4:53 pm

Lois писал(а):

Александр Клыгин
меня интересует логика, в которой выполняется одновременно два условия- есть и нет.

Это не логика, это мистика. "Да и нет, и да и нет, ни да ни нет, потому что и да, и нет". Такой мистический взгляд на мир. Помню только, что о нём Сидерский писал в "Третьем открытии Силы".

Добавлено: Чт Сен 17, 2009 6:01 pm

Вы фамилии интересных людей упоминаете, о которых я и не слышал. Вы знаете где можно ознакомиться с образцами психотронного искусства Сидерского ( если это тот конечно) ?
Да, всё верно, это мистика, а вот туда мат.логики пока похоже и не суются. Хорошо, что объяснили.

Добавлено: Пт Сен 18, 2009 3:40 pm

Lois писал(а):

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

На кемпинге в Ивантеевке мне один чел рассказывал о своих впечатлениях от психотронного искусства Сидерского. Где с образцами ознакомиться - не знаю.
Вот ссылка на книгу "Третье открытие Силы":
http://www.koob.ru/siderskiy_andrey/third_power_opening

Lois писал(а):

Да, всё верно, это мистика, а вот туда мат.логики пока похоже и не суются.

Математики не суются в мистику, они так сильно её боятся, что отрицают саму возможность существования чего-то мистического. Surprised

Добавлено: Пт Сен 18, 2009 4:28 pm

Цитата:

Математики не суются в мистику, они так сильно её боятся, что отрицают саму возможность существования чего-то мистического.

Как раз я недавно узнал, что лезут
http://www.membrana.ru/articles/simply/2009/08/19/174500.html
Прочтите, крайне интересно- парадокс двух конвертов.
И биологи лезут http://www.anima-volga.ru/morfologija-morfogennoe-pole
морфогенные поля.
И физики
http://x-faq.ru/index.php?topic=100.0;wap2
фотоны близнецы

Добавлено: Пт Сен 18, 2009 9:20 pm

Lois писал(а):

Как раз я недавно узнал, что лезут
http://www.membrana.ru/articles/simply/2009/08/19/174500.html
Прочтите, крайне интересно- парадокс двух конвертов.

Начал читать... и прежде чем мозги мои спеклись, увидел только знакомое словосочетание "коты Шрёдингера". О котах Шрёдингера я читал, представляю в общих чертах, что это такое, но осмыслить на бытовом уровне я все эти парадоксы не могу.

Добавлено: Вс Ноя 08, 2009 12:25 am

Это утверждение решается также легко, как утверждение что Всё и Ничто - едины.

Добавлено: Пт Ноя 13, 2009 2:59 pm

Lois писал(а):

Предлагаю решить этот парадокс ( описан не мной).

Дано утверждение "я всегда лгу"
если это утверждение ЛОЖЬ,то человек(на человеке проще объяснить) ее говорящий,на самом деле говорит правду,а если он говорит ПРАВДУ,то есть он на самом деле лжет.
Вывод:это утверждение и правда и ложь одновременно,а такого быть не может,то есть мы имеем парадокс.

нет правды и лжи - есть разные виды лжи. также, как нет добра и зла, а есть разные виды добра. "я" всегда лжёт. оно живет этим...парадокс?!

Добавлено: Вс Ноя 15, 2009 9:04 am

Lois проиллюстрировать этот парадокс можно так, например. Известно, что Гюрджиевкие практики включают в себя йогу, движения дервишей, практику факиров и христианство. Отсюда можно сделать вывод, что Гюрджиевские Движения - это ВСЁ, которое представляет из себя, по факту, НИЧТО из вышеперечисленного. Это сравнение - чисто психологическое, никакой математики.