Конкретизируйте.
"Математическая логика тесно связана с логикой и обязана ей своим возникновением. Основы логики, науки о законах и формах человеческого мышления (отсюда одно из ее названий - формальная логика), были заложены величайшим древнегреческим философом Аристотелем (384—322 гг. до н. э.), который в своих трактатах обстоятельно исследовал терминологию логики, подробно разобрал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления, в том числе законы противоречия и исключения третьего. Вклад Аристотеля в логику весьма велик, недаром другое ее название - Аристотелева логика. Еще сам Аристотель заметил, что между созданной им наукой и математикой (тогда она именовалась арифметикой) много общего. Он пытался соединить две эти науки, а именно свести размышление, или, вернее, умозаключение, к вычислению на основании исходных положений. В одном из своих трактатов Аристотель вплотную приблизился к одному из разделов математической логики - теории доказательств.
В дальнейшем многие философы и математики развивали отдельные положения логики и иногда даже намечали контуры современного исчисления высказываний, но ближе всех к созданию математической логики подошел уже во второй половине XVII века выдающийся немецкий ученый Готфрид Вильгельм Лейбниц (1646 - 1716), указавший пути для перевода логики «из словесного царства, полного неопределенностей, в царство математики, где отношения между объектами или высказываниями определяются совершенно точно» . Лейбниц надеялся даже, что в будущем философы, вместо того чтобы бесплодно спорить, станут брать бумагу и вычислять, кто из них прав . При этом в своих работах Лейбниц затрагивал и двоичную систему счисления."
https://studfile.net/preview/5316232/page:4/ _________________ Практикую интегральную йогу Шри Ауробиндо, интересуюсь буддизмом. Очень нравится как учит буддизму Далай Лама и его общественная деятельность.
Зарегистрирован: 18.03.2012 Суждений: 10843 Откуда: Москва
№634859Добавлено: Вс 17 Сен 23, 16:46 (1 год тому назад)
СлаваА
Цитата:
В буддизме эта идея (о боге) излишняя. То есть не дает ничего нового к описанию или объяснению эмпирического опыта.
в опыте есть добро и зло. И также можно наблюдать, что объекты/субъекты, захваченные злом, склонны к саморазрушению.
Идея Бога может красиво объяснить, почему это так.
Там рассказывается специальная история про это. _________________ новичок на форуме, прочитавший несколько книжек
и доверяющий сведениям, изложенным в метафизическом трактате Д.Андреева "Роза Мира"
Зарегистрирован: 09.09.2008 Суждений: 7953 Откуда: Воронеж
№634861Добавлено: Вс 17 Сен 23, 17:26 (1 год тому назад)
Повторюсь, все нечеткие и грубые множества - это математика. Ну, берут вместо 0 и 1 отрезок [0,1] и функцию принадлежности. _________________
Два класса столкнулись в последнем бою;
Наш лозунг - Всемирный Советский Союз!
Конкретизируйте.
"Математическая логика тесно связана с логикой и обязана ей своим возникновением.
"Автомобиль обязан возникновению конным повозкам" - по "человеческой логике" СлавыА, автомобиль есть конная повозка.
Это случай особого бреда - когда причинную связь путают с родовой.
Во-первых, по "моей человеческой логике" я не вижу особой разницы между формализованной логикой и математической, так как сейчас любую формализованную логику можно выразить через математику. Уже Аристотель понимал взаимосвязь формализованной логики и математики того времени.
И напомню, что обсуждалось взаимоотношение между тремя логиками: формализованной/математической, человеческой (которой Вы считаете нет), и божественной (если она есть).
Мои тезисы были - человеческой не понять божественную. И второй человеческая отличается от формализованной/математической. Аргументы в защиту тезисов я привел.
Ваши тезисы были - "человеческой" нет и придирки что считать формализованной или математической логикой. Кроме этого ввели какую-то "универсальную" логику, не дав ей определения. _________________ Практикую интегральную йогу Шри Ауробиндо, интересуюсь буддизмом. Очень нравится как учит буддизму Далай Лама и его общественная деятельность.
В буддизме эта идея (о боге) излишняя. То есть не дает ничего нового к описанию или объяснению эмпирического опыта.
в опыте есть добро и зло. И также можно наблюдать, что объекты/субъекты, захваченные злом, склонны к саморазрушению.
Идея Бога может красиво объяснить, почему это так.
Там рассказывается специальная история про это.
Почему "захваченные злом склонны к саморазрушению" в буддизме еще проще объясняется. То есть идея бога тут тоже лишняя. Достаточно просто причинно-следственных связей.
Вот само изначальное возникновения зла тут сложнее, так как для буддизма это метафизический вопрос и поэтому считается не нужно его рассматривать, нужно только освободиться от текущего зла, распутать текущий клубок проблем. _________________ Практикую интегральную йогу Шри Ауробиндо, интересуюсь буддизмом. Очень нравится как учит буддизму Далай Лама и его общественная деятельность.
Повторюсь, все нечеткие и грубые множества - это математика. Ну, берут вместо 0 и 1 отрезок [0,1] и функцию принадлежности.
То есть "человеческую" логику можно будет описать математикой. Возможно. Но пока это не очень получается. _________________ Практикую интегральную йогу Шри Ауробиндо, интересуюсь буддизмом. Очень нравится как учит буддизму Далай Лама и его общественная деятельность.
Повторюсь, все нечеткие и грубые множества - это математика. Ну, берут вместо 0 и 1 отрезок [0,1] и функцию принадлежности.
То есть "человеческую" логику можно будет описать математикой. Возможно. Но пока это не очень получается.
Да откуда вам знать-то? Давно уже сотни есть таких моделей, пригодных для разных ситуаций. _________________
Два класса столкнулись в последнем бою;
Наш лозунг - Всемирный Советский Союз!
Зарегистрирован: 18.03.2012 Суждений: 10843 Откуда: Москва
№634883Добавлено: Пн 18 Сен 23, 16:06 (1 год тому назад)
СлаваА
Цитата:
Почему "захваченные злом склонны к саморазрушению" в буддизме еще проще объясняется. То есть идея бога тут тоже лишняя. Достаточно просто причинно-следственных связей.
объяснение будет такое? : "злое склонно к саморазрушению потому что из "зла" как причины следует следствие - "само-разрушение".
Я верно уловил ход Ваших мыслей ? _________________ новичок на форуме, прочитавший несколько книжек
и доверяющий сведениям, изложенным в метафизическом трактате Д.Андреева "Роза Мира"
Почему "захваченные злом склонны к саморазрушению" в буддизме еще проще объясняется. То есть идея бога тут тоже лишняя. Достаточно просто причинно-следственных связей.
объяснение будет такое? : "злое склонно к саморазрушению потому что из "зла" как причины следует следствие - "само-разрушение".
Я верно уловил ход Ваших мыслей ?
Верно. Только "саморазрушение" в контексте буддизма надо понимать как упадок благих качеств и соответственно отдаление от цели освобождения от страдания. _________________ Практикую интегральную йогу Шри Ауробиндо, интересуюсь буддизмом. Очень нравится как учит буддизму Далай Лама и его общественная деятельность.
Повторюсь, все нечеткие и грубые множества - это математика. Ну, берут вместо 0 и 1 отрезок [0,1] и функцию принадлежности.
То есть "человеческую" логику можно будет описать математикой. Возможно. Но пока это не очень получается.
Да откуда вам знать-то? Давно уже сотни есть таких моделей, пригодных для разных ситуаций.
Для каких-то ситуаций пригодны, но чуть выходишь за рамки заложенного в модель и уже неадекватный результат получается. Как в общении с роботами службы поддержки. Как заложить в модель все возможные ситуации и описать все причины которые приводят к тому или иному выбору человека? Скорее всего это невозможно, так как бесконечное количество причин. _________________ Практикую интегральную йогу Шри Ауробиндо, интересуюсь буддизмом. Очень нравится как учит буддизму Далай Лама и его общественная деятельность.
Повторюсь, все нечеткие и грубые множества - это математика. Ну, берут вместо 0 и 1 отрезок [0,1] и функцию принадлежности.
То есть "человеческую" логику можно будет описать математикой. Возможно. Но пока это не очень получается.
Да откуда вам знать-то? Давно уже сотни есть таких моделей, пригодных для разных ситуаций.
Для каких-то ситуаций пригодны, но чуть выходишь за рамки заложенного в модель и уже неадекватный результат получается. Как в общении с роботами службы поддержки. Как заложить в модель все возможные ситуации и описать все причины которые приводят к тому или иному выбору человека? Скорее всего это невозможно, так как бесконечное количество причин.
Очевидно же, что не бесконечное, а очень большое, и что не составили теорию всего на свете лишь потому, что делают много отдельных теорий на каждый полезный случай. Как их делать - вполне понятно. _________________
Два класса столкнулись в последнем бою;
Наш лозунг - Всемирный Советский Союз!
Повторюсь, все нечеткие и грубые множества - это математика. Ну, берут вместо 0 и 1 отрезок [0,1] и функцию принадлежности.
То есть "человеческую" логику можно будет описать математикой. Возможно. Но пока это не очень получается.
Да откуда вам знать-то? Давно уже сотни есть таких моделей, пригодных для разных ситуаций.
Для каких-то ситуаций пригодны, но чуть выходишь за рамки заложенного в модель и уже неадекватный результат получается. Как в общении с роботами службы поддержки. Как заложить в модель все возможные ситуации и описать все причины которые приводят к тому или иному выбору человека? Скорее всего это невозможно, так как бесконечное количество причин.
Очевидно же, что не бесконечное, а очень большое, и что не составили теорию всего на свете лишь потому, что делают много отдельных теорий на каждый полезный случай. Как их делать - вполне понятно.
Теорию всего? Создали хотя бы полную непротиворечивую систему аксиом для арифметики. ) _________________ Практикую интегральную йогу Шри Ауробиндо, интересуюсь буддизмом. Очень нравится как учит буддизму Далай Лама и его общественная деятельность.
Повторюсь, все нечеткие и грубые множества - это математика. Ну, берут вместо 0 и 1 отрезок [0,1] и функцию принадлежности.
То есть "человеческую" логику можно будет описать математикой. Возможно. Но пока это не очень получается.
Да откуда вам знать-то? Давно уже сотни есть таких моделей, пригодных для разных ситуаций.
Для каких-то ситуаций пригодны, но чуть выходишь за рамки заложенного в модель и уже неадекватный результат получается. Как в общении с роботами службы поддержки. Как заложить в модель все возможные ситуации и описать все причины которые приводят к тому или иному выбору человека? Скорее всего это невозможно, так как бесконечное количество причин.
Очевидно же, что не бесконечное, а очень большое, и что не составили теорию всего на свете лишь потому, что делают много отдельных теорий на каждый полезный случай. Как их делать - вполне понятно.
Теорию всего? Создали хотя бы полную непротиворечивую систему аксиом для арифметики. )
Теорию всего, при ныне существующей науке, создать невозможно. Материалистам, в т.ч. здесь на форуме, следует на это указывать.
...
Теорию всего? Создали хотя бы полную непротиворечивую систему аксиом для арифметики. )
Это технически невозможно из-за особенностей нашего мира. Однако, все утверждения про конечные объекты арифметики опираются на полную и непротиворечивую систему аксиом, сбой происходит только в области утверждений о бесконечных объектах (которые в реальности не факт что существуют). _________________
Два класса столкнулись в последнем бою;
Наш лозунг - Всемирный Советский Союз!
Вам нельзя начинать темы Вам нельзя отвечать на сообщения Вам нельзя редактировать свои сообщения Вам нельзя удалять свои сообщения Вам нельзя голосовать в опросах Вы не можете вкладывать файлы Вы можете скачивать файлы