Страницы: 1 ... 7 [8] 9 ... 39   Вниз

Автор Тема: Что такое истина?  (Прочитано 103509 раз)

0 Пользователей и 2 Гостей просматривают эту тему.

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
Re: Что такое истина?
« Ответ #70 : 25 Август, 2006, 22:33:45 pm »
Цитата: "Бессмертный"
Цитата: "KWAKS"
При выполнении подстановки взаимообратимость ни к чему.
KWAKS , давайте ка всё сначала. У нас есть законы логики. Законов арифметики ещё нет - они сейчас вычисляются. Мы вводим понятие. У нас есть <свойство 3>. Теперь нам надо получить <заключение>. Дайте рецепт. Такой чтобы введя его и наше свойство в комп, на выходе бы получилось наше заключение.
Цитата: "KWAKS"
адын баран - адын арэх - адын гвозд.
дван баран - дван арэх - дван гвозд.
трын баран - трын арэх - трын гвозд.
.........................
и т.д. скокко нада !!!!!!!!!!!
Это я чего-то не понял. Это адын баран с гвоздэм истина? Или тире между ними?
Опять Вы не угадали.
Истина здесь - <свойство 3>.
Если мы проделали несколько раз "трын баран - трын арэх - трын гвозд" , то в дальнейшем ВСЕГДА(и для любого "алтына") будем получать ...
получать будем - ТОЛЬКО <свойство 3> И НИЧЕГО БОЛЬШЕ !
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Записан
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
(Нет темы)
« Ответ #71 : 26 Август, 2006, 07:21:33 am »
Цитата: "Бессмертный"
KWAKS, 49, Nussi и другие коллеги! Я вопрос так поставлю. Что именно (какое-то свойство?) доказывается, когда хотят доказать истинность некого высказывания?
Соответствие данного высказывания окружающей нас действительности.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Записан
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
(Нет темы)
« Ответ #72 : 26 Август, 2006, 08:24:00 am »
Цитата: "Nussi"
любое определение истины потребует следующих определений: например, что такое модель?
Что такое адекватное?
что понимать под реальностью? и т.д. Процесс бесконечный.
Чтобы определить такого рода понятия, нужен метаязык, а его у нас его нет, .
А метаязык нам и нЕзачем,поскольку -
ЛЮБОЙ Объект реальности дискретный
(в отличие от виртуальности Объектов воображаемых).
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Записан
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн 49=1+3+5+7+9+11+13

  • Афтар жжот
  • ****
  • Сообщений: 2 674
  • Репутация: +0/-0
(Нет темы)
« Ответ #73 : 26 Август, 2006, 10:11:56 am »
Совершенно верно ветеран пруда то, что я и написал ранее отсутствие у высказывания внешних и внутренних противоречий.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от 49=1+3+5+7+9+11+13 »
Записан
100=1+3+5+7+9+11+13+15+17+19

Оффлайн Nussi

  • Афтар жжот
  • ****
  • Сообщений: 1 277
  • Репутация: +11/-1
(Нет темы)
« Ответ #74 : 27 Август, 2006, 22:42:53 pm »
Квакс, при всем к Вам уважении,
это что-же, образец какой-то неизвестной мне логики?

...метаязык нам и нЕзачем, поскольку -
ЛЮБОЙ Объект реальности дискретный...
Где же тут связь, или просто надо что-то сказать?
А насчет дискретности - в реальности не все так просто: есть волновые явления, мыслящие существа, да и вообще, вы что же, метафизик? Неужели можно всю вселенную разобрать по кусочкам?
Боюсь, если потом собрать, что нибудь останется лишнее... Или вдруг не хватит... Только при чем здесь метаязык?
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Nussi »
Записан
"Религия - это область, куда разуму разрешено проникнуть лишь при условии собственного самоупразднения".

Оффлайн 49=1+3+5+7+9+11+13

  • Афтар жжот
  • ****
  • Сообщений: 2 674
  • Репутация: +0/-0
(Нет темы)
« Ответ #75 : 27 Август, 2006, 22:48:14 pm »
Нюсси скорее всего схема следующая:1 квант- уровень=дискретность.2 макроуровень=непрерывность.А вот метаязык тут действительно непричём.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от 49=1+3+5+7+9+11+13 »
Записан
100=1+3+5+7+9+11+13+15+17+19

Оффлайн Бессмертный

  • Афтар жжот
  • ****
  • Сообщений: 2 476
  • Репутация: +0/-0
(Нет темы)
« Ответ #76 : 28 Август, 2006, 06:50:25 am »
Цитата: "KWAKS"
Цитата: "Бессмертный"
KWAKS, 49, Nussi и другие коллеги! Я вопрос так поставлю. Что именно (какое-то свойство?) доказывается, когда хотят доказать истинность некого высказывания?
Соответствие данного высказывания окружающей нас действительности.
А что является окружающей действительностью в области математики? Представления о числах?

2. Я кажется нашёл ответ о подстановке. В ф. логике есть специальный закон когда подстановка корректна, когда нет. Тогда бесконечность цепочки подстановок избегается так: делаем подстановку, не пользуясь никаким законом, затем проверяем корректна подстановка, или нет.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Бессмертный »
Записан
[size=92]Чернь считает религию истиной, мудрец — ложью, правитель — полезным изобретением.
Сенека, Луций Анней.[/size]

Оффлайн 49=1+3+5+7+9+11+13

  • Афтар жжот
  • ****
  • Сообщений: 2 674
  • Репутация: +0/-0
(Нет темы)
« Ответ #77 : 28 Август, 2006, 09:21:45 am »
В области математики окружающей действительностью являються аксиомы и твёрдо установленные математические факты.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от 49=1+3+5+7+9+11+13 »
Записан
100=1+3+5+7+9+11+13+15+17+19

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
(Нет темы)
« Ответ #78 : 28 Август, 2006, 18:35:44 pm »
Цитата: "Nussi"
Квакс, при всем к Вам уважении,
это что-же, образец какой-то неизвестной мне логики?
Уважаемая Nussi !
А виноват ли Квакс, что Вы не поинтересовались
даже обычными учебниками логики ?

Цитата: "Nussi"
...метаязык нам и нЕзачем, поскольку -
ЛЮБОЙ Объект реальности дискретный...
Где же тут связь, или просто надо что-то сказать?
Обязательно надо что-то сказать !
Потому что сами ведь не догадаются .....

Цитата: "Nussi"
А насчет дискретности - в реальности не все так просто: есть волновые явления, мыслящие существа, да и вообще, вы что же, метафизик? Неужели можно всю вселенную разобрать по кусочкам?
Незачем всю вселенную разобрать по кусочкам !
Потому что и волновые явления, и мыслящие существа, да и вообще -
ВСЁ УМЕЩАЕТСЯ в дискретности - в реальности !

Цитата: "Nussi"
Боюсь, если потом собрать, что нибудь останется лишнее... Или вдруг не хватит... Только при чем здесь метаязык?
Вот и при тОм,что употребляя его(метаязык) не по назначения -
"что нибудь останется лишнее... Или вдруг не хватит... " ! ! !

И всё-то .. про всё-то .. *проблем* случится ! ! !
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Записан
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
(Нет темы)
« Ответ #79 : 28 Август, 2006, 18:47:32 pm »
Цитата: "Бессмертный"
Цитата: "KWAKS"
Цитата: "Бессмертный"
Что именно (какое-то свойство?) доказывается, когда хотят доказать истинность некого высказывания?
Соответствие данного высказывания окружающей нас действительности.
А что является окружающей действительностью в области математики? Представления о числах?.
Цитата: "49=1+3+5+7+9+11+13"
В области математики окружающей действительностью являються аксиомы и твёрдо установленные математические факты.
Гы - гЫ-ЫЫЫЫ .........
"в области математики"(как и во всех остальных сферах человеческой деятельности) -
окружающей действительностью является самААА окружающая действительность ! ! !

Цитата: "Бессмертный"
2. Я кажется нашёл ответ о подстановке. В ф. логике есть специальный закон когда подстановка корректна, когда нет. Тогда бесконечность цепочки подстановок избегается так: делаем подстановку, не пользуясь никаким законом, затем проверяем корректна подстановка, или нет.
И так *каждый раз на теже грабли* ? ? ?
Ох,кощЭй и "методы" у Вас,однААко ! ! !

В реале - всё гор-РРРа-бздо прощЭ : подбираем для Объекта
адекватную ему Логическую Функцию - а дальше .....
даже комп средней мощности будет вам выдавать ,и выдавать и ,выдавать и .......

ВСЁ ПРАВИЛЬНЫЕ ОТВЕТЫ ! ! !
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Записан
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор тИнно-болотнУтого Ничего Не ИследУюшшего И-а.
Страницы: 1 ... 7 [8] 9 ... 39   Вверх