Форум атеистов Рунета

Текущее время: 08 ноя 2026, 20:39

Часовой пояс: UTC + 4 часа




Начать новую тему Ответить на тему  [ Сообщений: 234 ]  На страницу Пред.  1 ... 17, 18, 19, 20, 21, 22, 23, 24  След.
Автор Сообщение
 Заголовок сообщения: Re: положение "вещей"
СообщениеДобавлено: 28 янв 2015, 10:45 
Не в сети

Зарегистрирован: 21 янв 2013, 07:01
Сообщения: 650
sergey писал(а):
Задачу рекомендуют решать формальной логикой.

Очевидно, вроде. Или есть подвох?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: положение "вещей"
СообщениеДобавлено: 28 янв 2015, 11:11 
Не в сети
Аватара пользователя

Зарегистрирован: 17 авг 2012, 21:37
Сообщения: 37284
Откуда: Новороссийск
Нет, подвоха. Можно решить обычными рассуждениями. По всей видимости, Вы это уже и сделали. Т.е. можете дать ответ, будет ли сущность на следующий день, с плазмой или без, с огнями или без. Но бывают довольно большие задачи. Типа А сказал, что B сделал С в день D. E сказал, что С сделал F. B сказал, что он не делал С, но в день D видел G.... И так далее с условиями на пол страницы. В памяти тяжело все удержать. Проще написать формулы, упростить и получить ответ M=1 т.е. утверждение М истинно, убийца, к примеру, тот-то. Или поручить это компьютеру, ответит за секунду. Т.е. формальная логика ничем не отличается от булевой алгебры. Это я и хотел рассказать Язычнику.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: положение "вещей"
СообщениеДобавлено: 28 янв 2015, 11:16 
Не в сети

Зарегистрирован: 21 янв 2013, 07:01
Сообщения: 650
sergey писал(а):
1. Если не будет сущности, то будет плазма без огня.
2. Если будет огонь, то будет плазма без сущности.
3. Если будет плазма, то будет огонь и не будет сущности.

a) Если будет огонь, то не будет сущности (2), если не будет сущности, то не будет огня (1). Противоречие. Следовательно, огня не будет.
б) Если будет плазма, то будет огонь (3). Но огня не будет (a). Следовательно, не будет и плазмы.
в) Остается сущность.

Будет сущность; не будет ни огня, ни плазмы.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: положение "вещей"
СообщениеДобавлено: 28 янв 2015, 11:23 
Не в сети
Аватара пользователя

Зарегистрирован: 17 авг 2012, 21:37
Сообщения: 37284
Откуда: Новороссийск
Решение верное, обошлись без формул. Надеюсь Язычник тоже смог бы решить.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: положение "вещей"
СообщениеДобавлено: 28 янв 2015, 11:44 
Не в сети

Зарегистрирован: 21 янв 2013, 07:01
Сообщения: 650
Расскажите, кто знает, про "борьбу диалектиков и формалистов". Цитирую удивительный абзац из Википедии:

В 1930—40-е гг. формальная логика третировалась официальными философскими инстанциями как "теоретическая основа буржуазного мировоззрения", нечто несовместимое с марксизмом и коммунистическими идеалами. Активной работы в соответствующих направления не было, традиции были утрачены, немногие остававшиеся в живых специалисты были вынуждены заниматься другими дисциплинами или были лишены условий для нормального научного общения.

Споры вокруг формальной логики в Советском Союзе


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: положение "вещей"
СообщениеДобавлено: 28 янв 2015, 12:02 
Не в сети
Заблокирован бессрочно

Зарегистрирован: 16 фев 2013, 22:14
Сообщения: 8513
Евпатий писал:
"Расскажите, кто знает..."
..............................
Да ведь Губерман давно рассказал:
"Мне Маркса жаль:
Его наследство свалилось в РУССКУЮ купель..."

_________________
TERTIUM DATUR!
GOD EST!


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: положение "вещей"
СообщениеДобавлено: 29 янв 2015, 00:04 
Не в сети

Зарегистрирован: 23 авг 2012, 17:03
Сообщения: 3230
sergey писал(а):
Язычник писал(а):
Не понял смысла претензии, я с двоичной логикой знаком не на словах, а на деле и мне глубоко пофигу, кто чего, о ней, написал в инете.
Мне кажется Вы просто не поняли, почему я ей отдаю предпочтение относительно формальной.
Она не абстрагирует, то есть, не даёт возможности уйти в "параллельный мир" погрузившись в некие иллюзии.

Формальная логика - логика которую можно свести к формальным преобразованиям: конъюнкция, дизъюнкция, отрицание. Достаточно даже двух операций: отрицания и конъюнкции или отрицания и дизъюнкции. Полезные преобразования всякие есть, правило Моргана, Квайна-МакКласки, Блейка –Порецкого… Но если ты знаком с двоичной логикой на деле, то ты все это знаешь. Рекомендую решить логическую задачу:

Путники в ущелье встретили шамана, он предсказал, что ждет их на следующий день:

1. Если не будет сущности, то будет плазма без огня
2. Если будет огонь, то будет плазма без сущности
3. Если будет плазма, то будет огонь и не будет сущности.


Так что же будет завтра?

Это не стеб. Задачу рекомендуют решать формальной логикой.


Извините, но моя теория не задачки решает, а реальность рассматривает.
Объясню недостатки формальной логики:

Цитата:
https://ru.wikipedia.org/wiki/%D4%EE%F0%EC%E0%EB%FC%ED%E0%FF_%EB%EE%E3%E8%EA%E0
Форма́льная ло́гика — конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. Формальная логика, в отличие от неформальной, организована как формальная система, обладающая высоким уровнем абстракции и чётко определёнными методами, правилами и законами[1]. Формальная логика как наука занимается выводом нового знания на основе ранее известного без обращения в каждом конкретном случае к опыту, а применением законов и правил мышления. Начальной ступенью формальной логики можно считать традиционную логику, а математическую логику — её следующей ступенью, использующей математические методы, символический аппарат и логические исчисления[2].

С первых строк понятно, что формальная логика занимается говорильней, а далее говориться, что у неё высокий уровень абстракции :o А это значит, что надеяться на то что она приводит к реальным знаниям, глупо. А чего мы хотим в жизни, неужто абстрагироваться от реальности?

Вот пример такого абстрагирования:

Groshik писал(а):
Цитата:
Значит Вы уважаемый, однозначно отрицаете значение жреца и отрицаете значение молитвы.
Я атеист, если у кого-то логика не работает. Конечно, никакого действия молитва не оказывает. Если, конечно, слово "значение" следует понимать так. (У Вас явно проблемы с русским языком: четко и определенно мысль не звучит. Что прискорбно.)

В данном конкретном случае, формат атеизма, заставляет индивидуума игнорировать имеющиеся факты, тем самым абстрагируя его от реальности. Именно об этом и был мой упрёк Грошику, в -запаралеленности.

Аналогично и в монотеизме, формальная логика организует ход мысли:

Во времена Тамерлана, Ургеньч был большим хорошо укреплённым городом, который его войско не в силах было взять штурмом. Но будучи хитрым исламским зомби, Тамерлан решил напасть на простоватых исламских зомби, во время праздника жертвоприношения. Когда горожане очухались, то успели оказать лишь незначительное сопротивление. А Тамерлан осознавая совершенное им нарушение божественных законов, во искупление собственного греха и греха своих воинов, отдал приказ, принести всех жителей в жертву Аллаху. Что и было исполненно.

Так что господа, ну её к Аллаху, эту формальную логику.
Лучше быть тщательнее к фактам, вместе с двоичной. 8-)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: положение "вещей"
СообщениеДобавлено: 29 янв 2015, 00:39 
Не в сети
Аватара пользователя

Зарегистрирован: 20 июл 2014, 23:42
Сообщения: 15803
Ни к какому Аллаху я логику посылать не буду. А есть А. На сём стою и стоять буду. В мире нет противоречий, поэтому не может быть противоречий и в знании о нём. Если же они встречаются, проверьте исходные посылки.

_________________
Христос воскресе!


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: положение "вещей"
СообщениеДобавлено: 29 янв 2015, 01:01 
Не в сети

Зарегистрирован: 18 авг 2012, 17:06
Сообщения: 8378
Слышал что есть такая штука, как многозначная логика :)
Это такая логика - не бинарная, не двоичная, а с несколькими значениями, а то и вообще непрерывная.

Это когда не только два значения "да"-"нет" , или 1 и 0, но ещё и какие-то промежуточные между ними.
Традиционная (двузначная, двоичная, бинарная) логика суждений - как бы функция, которая на своей области определения (логические суждения) принимает всего два значения - вот тут она 0 (ложь) , а вот тут вот она 1 (истина).

Многозначная (нетрадиционная) логика суждений - это как бы функция, которая вот на этом множестве принимает значения 0, вот на этом 1, а на промежуточном между ними - промежуточные значения (то есть что-то среднее между ложью и истиной).

Хотя представить я себе это категорически не могу. Как и понять - где такое можно применить.
Просто слышал, что есть такая вот штука :)

ПС: А ещё как будто бы когда разрабатывали ранние ЭВМ - якобы выяснилось что самая "оптимальная", "экономичная" система исчисления была не двоичной, а троичной. Типа 0, 1 и 2. Или типа включено туда, включено обратно и выключено. "+" , "-" и "0". Не не прижилась она - проще было реализовать двоичную - горит/не горит лампочка, идёт/не идёт ток, реле замкнуло/разомкнуло...

А если прижилась бы - прикиньте - может и ходили бы все сейчас с троичной логикой? Ну как бы "да" , "нет" и не то и не сё... :D


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: положение "вещей"
СообщениеДобавлено: 29 янв 2015, 01:13 
Не в сети
Аватара пользователя

Зарегистрирован: 20 июл 2014, 23:42
Сообщения: 15803
Предельная ясность, чистота и честность логики невыносима для современных умов, поэтому они и ищут пути, как бы им продолжать казаться логичными, т.е. разумными, но при этом отвергнуть разум.

_________________
Христос воскресе!


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 234 ]  На страницу Пред.  1 ... 17, 18, 19, 20, 21, 22, 23, 24  След.

Часовой пояс: UTC + 4 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: Google [Bot] и гости: 11


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения

Найти:
Перейти:  
cron
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB