Думал ничего не писать, но всё же несколько мыслей напишу.
Вступительная речь Николая:
1) В начале Николай говорит, что разумность - соответствие интеллектуальным правам. В качестве иллюстрации он ссылается на то, что совершение логической ошибки было бы примером неразумности. Он утверждает, что вопрос о том, что такое разумность, на самом деле дискуссионный и что даже не понятно, нужно ли вообще её упоминать. Я считаю, что в рамках данного обсуждения следовало бы определить понятие "разумность" достаточно строго. Одно только упоминание того, что совершать логические ошибки не разумно, не даёт мне чёткого понимания того, по каким критериям определяется разумность. В дальнейшем это приведёт к определённым затруднениям, о которых я напишу дальше.
2) Николай говорит, что в познании есть аксиомы. Тут я согласен и даже разверну сейчас эту мысль более подробно для тех, кто, возможно, не знаком с тем, о чём идёт речь.
Рассматривая структуру убеждений человека с т.з. логики, можно обнаружить, что она состоит из суждений. В структуре убеждений человека есть такие части, которые имеют вид иерархии, состоящей из суждений. В рамках таких иерархий менее фундаментальные суждения опираются на более фундаментальные. И в основе каждой иерархии есть такое суждение или суждения, которые не опираются на более фундаментальные суждения, но являются основой для менее фундаментальных суждений. Это - аксиомы или, говоря иначе, суждения, принятые на веру. Вот некоторые технические детали по этой теме:
Технические детали
1. Всякое суждение в структуре убеждений человека, которое не следует из других суждений но рассматривается как истинное есть аксиома.
2. Существование сознания в других людей есть суждение в структуре убеждений человека, которое не следует из других суждений но рассматривается как истинное.
3. Существование сознания в других людей есть аксиома (1,2,barbara).
Особенно хитрый человек мог бы вот так рассуждать:
4. Всё, что входит в множество Х есть истинно.
5. Существование сознания в других людей есть то, что входит в множество Х.
6. Существование сознания в других людей есть истинно (4,5,barbara).
Но тогда можно спросить относительно (4): "откуда, мол, оно следует?". Если окажется, что ни откуда, то:
7. (4) есть суждение в структуре убеждений человека, которое не следует из других суждений но рассматривается как истинное.
8. (4) есть аксиома (1,7,barbara).
Но не думаю, что много кто рассуждал бы вот так, как в (4)-(6). Думаю, обычно вещи вроде существования других сознаний рассматриваются как данность, которая кажется истинной без вывода из других суждений.
По поводу иерархий:
9. Всякое расположение частей или элементов целого в определённом порядке, где один элемент опирается на другой есть иерархия.
10. Все составляющие умозаключения суждения в структуре убеждений человека есть расположение частей или элементов целого в определённом порядке, где один элемент опирается на другой.
11. Все составляющие умозаключения суждения в структуре убеждений человека есть иерархия (9,10,barabra).
У себя иерархию суждений в составе умозаключений можно обнаружить через саморефлексию (или как это называется?). У других - через их собственное свидетельство при условии доверия к нему. Во всех этих иерархиях из суждений можно отыскать начало - суждения, не следующие из других суждений. Это и будут аксиомы согласно приведённым выше определениям.
В дополнение к мной сказанному приведу пару цитат. Вот цитата из учебника логики:
Цитата
Итак, аксиомы — это высказывания, не нуждающиеся в обосновании. Кстати, доказательство в конечном итоге потому и возможно, что существуют положения, которые не надо доказывать (как то ни парадоксально на первый взгляд). Вспомним, доказательство представляет собой выведение истинности или ложности какого-либо суждения — тезиса — из ранее установленной истинности других суждений — аргументов, которые когда-то сами были тезисами и выводились из иных аргументов, а те, в свою очередь, — из каких-то еще и т. д. Эта цепочка тезисов и аргументов, сколько бы она ни продолжалась, рано или поздно упирается в некую аксиому и на этом останавливается. В противном случае она развертывалась бы без конца, что приводило бы к невозможности любого доказательства. Эту особенность мышления заметили еще древние философы, которые называли рассуждение, лишенное аксиом, удалением в бесконечность (лат. regressus in infinitum).
[Гусев Д.А. Логика. Москва, 2005. 240 с.]
И ещё одна цитата - из статьи на тему веры:
Цитата 2
Образно выражаясь, наша жизнь — мост в будущее, который мы перебрасываем через «бездну двух или трех дней», не говоря уже о безднах более длительных отрезков времени. Одна опора этого моста реальна, очевидна, она стоит здесь, где мы сейчас пребываем в относительном здравии и благополучии, а вот другая — та, что призвана удерживать пролет моста, отстоящий на три дня, или три года, или тридцать лет, не видна, а лишь зыбко предполагаема. Чтобы двинуться вперед, нужно верить в то, что другая опора есть.
Таким образом, вера — это отнюдь не только религиозный (как продолжают думать воспитанные атеизмом ученые), но и общепсихологический феномен. «В представлении многих людей, — констатировал С.Л. Соловейчик, — слово “вера” связывается с понятием “вера в Бога”, и это неудивительно; до недавнего времени вся сфера нравственности находилась в ведении религии, и почти все понятия, с помощью которых только и можно выразить духовно-нравственные идеи, носят религиозную окраску: дух, душа, вера, надежда, милосердие, грех, совесть. Но что же делать? Мы по десять раз на дню произносим “спасибо” — “спаси Бог”, вовсе о Боге не думая». Более того, «…в реальной жизни, в реальной речи и, значит, в практическом нашем сознании слово “вера” на каждом шагу используется в нерелигиозном значении. Мы говорим: вера в победу, вера в людей, вера в правду, с верой в будущее; люди верят в себя, в удачу, в судьбу; мы говорим о доверии к человеку и уверенности в себе. Наконец, мы говорим: верность Родине, верность долгу, верность любви, верность своему призванию, беспредельная верность своему народу. Все высшие качества человека и лучшие его поступки связаны с верой и верностью!» (Соловейчик, 1985, с. 189).
[Братусь Б.С., Инина Н.В. Вера как общепсихологический феномен сознания человека. Вестник Московского университета. Серия 14. Психология. 2011. №1. С. 25-38.]
Николай указал на факт наличия аксиом в структуре убеждений человека и привёл некоторые примеры: объективность мира, существование прошлого, бытие других сознаний. Со сказанным им в этой части я согласен.
3) Николай говорит, что упомянутые им аксиомы не доказуемые, но разумны. Вот здесь и возникает первая проблема с понятием разумности, о котором я писал ранее. Не понятно на достаточно строгом уровне, что такое разумность и не понятно, соответственно, можно ли упомянутые аксиомы считать разумными. Конечно, в повседневности люди считают эти аксиомы разумными в некотором интуитивном смысле. Но речь идёт о том, что я испытываю трудности с формальным определением того, являются ли они разумными или нет. Нет достаточно строгих критериев, что бы это сделать.
Возможно, был смысл кратко рассмотреть вопрос о разумности принятия аксиом в контексте какой-нибудь теории в рамках эпистемологии. Согласно эпистемологическому фундаментализму наше познание имеет фундамент у виде самоочевидных аксиом, обоснованных теми или иными когнитивными процессами. Такие аксиомы являются базовыми убеждениями. И в рамках данного взгляда на структуру убеждений человека рациональными являются либо базовые убеждения, либо убеждения, которые следуют из базовых убеждений.
4) Николай утверждает, что аксиомы в основании нашего познания не фальсифицируемы и что это опровергает сциентизм. Тезис сам по себе может быть и правильный, но без использования формальных умозаключений он не столь силён как хотелось бы. Не говоря уже о том, что кто-то придирающийся к логике так же как и я мог бы высказать следующее:
1. Аксиомы в основании структуры убеждений человека есть не фальсифицируемые.
2. Сциентизм есть ложный.
(2) логически не следует из (1) и утверждать обратное значит совершать логическую ошибку non sequitur. Впрочем, я не вижу особых трудностей, что бы этот тезис Николая развернуть у виде умозаключения так, что бы действительно признание определённых аксиом в структуре убеждений человека разумными в некоем интуитивном смысле возникала необходимость отрицать сциентизм:
3. Всякое разумное убеждение есть подтверждающееся в рамках научного метода или удовлетворяющее методологическим принципам.
4. Существование прошлого не есть подтверждающееся в рамках научного метода или удовлетворяющее методологическим принципам.
5. Существование прошлого не есть разумное убеждение (3,4,camestres).
Руководствуясь неким интуитивным представлением о разумности, человек мог бы воспринять вывод (5) как ошибочный. А руководствуясь правилом передачи ложности от вывода к предпосылкам умозаключения он мог бы построить рассуждение, которое привело бы его к отрицанию истинности суждения (3):
6. Всякое умозаключение, в котором есть отношение логического следования и ошибочный вывод, есть имеющее ложной либо первую предпосылку, либо вторую предпосылку, либо обе предпосылки.
7. (3)-(5) есть умозаключение, в котором есть отношение логического следования и ошибочный вывод.
8. (3)-(5) есть имеющее ложной либо первую предпосылку, либо вторую предпосылку, либо обе предпосылки (6,7,barbara).
Предпосылка (4) фактически истинная, а стало быть ни вторая предпосылка, ни обе предпосылки ложными быть не могут, что приводит к следующему:
9. Ложно, что (3)-(5) есть имеющее ложной вторую предпосылку и обе предпосылки.
10. Верно, что (3)-(5) есть имеющее ложной первую предпосылку (8,9,modus tollendo ponens).
Более того: есть ещё более простой путь к отвержению суждения (3):
11. (3) не есть подтверждающееся в рамках научного метода или удовлетворяющее методологическим принципам.
12. (3) не есть разумное убеждение (3,11,camestres).
В итоге разновидность сциентизма, выраженная суждением (3), является самореферентной. Иначе говоря, она опровергает саму себя.
5) Николай говорит, что эвиденциализм не обоснован. Тут я согласен. Я бы это выразил так:
13. Всякое суждение, которое не является аксиомой в структуре моих убеждений и которое я не имею чувственных или теоретических оснований считать истинным, есть такое, которое я не рассматриваю как истину, на базе которой строю своё мировоззрение.
14. Эвиденциализм есть суждение, которое не является аксиомой в структуре моих убеждений и которое я не имею чувственных или теоретических оснований считать истинным.
15. Эвиденциализм есть такое, которое я не рассматриваю как истину, на базе которой строю своё мировоззрение (13,14,barbara).
6) Николай говорит, мол, таким образом вера не является a priori не разумной. Здесь в очередной раз даёт себя знать проблема определения того, что же такое эта разумность. Без наличия такого определения я просто не могу дать оценку тезису о не разумности веры. По крайней мере в формальном смысле. Я выше упоминал ещё некий интуитивный смысл. В этом смысле я бы может быть и согласился бы с Николаем. Но без формального определения мне сложно что-то сказать о разумности или неразумности веры. Если, конечно, не руководствоваться ранее упомянутой мной теорией в эпистемологии, согласно которой все базовые убеждения разумно считать истинными. В таком случае я мог бы сказать, что поскольку упомянутые Николаем аксиомы - базовые убеждения, то их разумно считать истинными. Также у меня вызывает подозрение словосочетание "таким образом", произнесённое Николаем. Создаётся впечатление:
16. Некоторые принятые на веру убеждения в структуре убеждений человека мы считаем разумными.
17. Вера не есть a priori не разумная.
В такой формулировке (17) логически не следует из (16). Утверждать обратное значило бы совершать логическую ошибку non sequitur. Правда, написанное мной не значит, что (17) не является истинным утверждением. Более того: согласно упомянутой мной теории в области эпистемологии вера быть разумной как базовое убеждение. Опять же, в данном случае проблему создаёт недостаточно чётко определённое понятие "разумность". Вот если бы так было написано нечто вроде следующего, то у меня бы никаких претензий не было:
18. Всякое базовое убеждение есть разумное убеждение.
19. Такие аксиомы, как существование других сознаний, существование прошлого, существование Бога и т.д. есть базовые убеждения.
20. Такие аксиомы, как существование других сознаний, существование прошлого, существование Бога и т.д. есть разумные убеждения (18,19,barbara).
Тем, кто желает углубиться в эту тему, я бы посоветовал прочесть книгу аналитического философа Алвина Плантинги:
[Plantinga A.K. Warranted Christian Belief. New York: Oxford University Press. 2000. 528 p.]Также возможно, что я не правильно понял Николая. Возможно, он просто высказывает тот факт, что нет оснований считать веру a priori не разумной. Если это верно, то я с ним согласен. Кроме того, он говорит, что вера в Бога не является a priori не разумной. Если здесь имеется ввиду, что точно так же как нам ничто не мешает принимать на веру существование объективного мира и т.д. то нам ничто не мешает принимать на веру и существование Бога, то, опять же, я с ним согласен.
7) Николай говорит, что материализм предполагает существование некоей абстрактной и трансцендентной безличностной субстанции. Я не знаю сколько материалистов согласились бы с таким видением субстанции в рамках их мировоззрения, но с этим, наверное, не согласился бы философ-материалист Ю. И. Семёнов. Насколько я могу судить, он не считает, что субстанция в понимании материалистов является трансцендентной. Он рассматривает материализм как взгляд, согласно которому материя - объективная действительность, которая является при этом первичной относительно всякого сознания, относительно всего идеального. Насколько я понимаю, в рамках такого взгляда на материализм субстанция является не трансцендентной, а имманентной.
8) Николай говорит, что материя может произвести что угодно включая Летающего макаронного монстра (ЛММ). Я не понял какое умозаключение ведёт к этому выводу. Кто-то, кто придирается к логике так же как и я, мог бы утверждать, что существование ЛММ логически не следует из материализма и обвинить Николая в совершении логической ошибки non sequitur. Хотя я сомневаюсь, что нашлось бы достаточно много таких людей с учётом того насколько редкой в наше время является логическая аргументация в спорах на мировоззренческие темы. Впрочем, сам тезис Николая может быть истинным. Если идею математической демократии Макса Тегмарка можно считать материалистической, то действительно что-то вроде ЛММ должно существовать:
21. Постулат: всё логически возможное есть существующее.
22. ЛММ есть логически возможное.
23. ЛММ есть существующее (21,22,barbara).
Другой вопрос - верно ли (22). Некоторые аналитические философы вроде Питера ван Ивангена идею ЛММ считают логически противоречивой и что ЛММ не может существовать в реальном мире. И всё же всякие странные вещи наверняка в рамках математической демократии Макса Тегмарка являются возможными и, согласно её, должны где-то существовать.
Также можно заметить, что даже в рамках обычного материализма, возможно, могут существовать всякие странные положения вещей:
24. Постулат: всякая логически возможная комбинация материи есть реализующаяся на протяжении вечности бесконечное количество раз.
25. Избушка на курьих ножках есть логически возможная комбинация материи.
26. Избушка на курьих ножках есть реализующаяся на протяжении вечности бесконечное количество раз (24,25,barbara).
Если (25) или нечто подобное на (25) может быть результатом какой-то комбинации материи, то, в комбинации с постулатом (24), это уже существовало бесконечное количество раз.
Насколько я понимаю, Николай утверждает, что выводы на подобии (23) и (26) являются абсурдными. Я не очень понимаю, что это значит. Это попытка сказать, что они являются ложными или что считать их истинными, в каком-то смысле, неразумно? Если да, то здесь вновь работает правило передачи ложности от вывода к предпосылкам умозаключения. Правда, в рамках моих формулировках будет опровергнут не материализм как таковой, а определённые постулаты материализма. Впрочем, если верно, что при условии истинности материализма истинными должны быть и эти постулаты, то их ложность опровергает материализм в рамках формы умозаключения modus tollens.
9) Николай защищает два вида моральных аргументов:
27. Если Бога нет, то объективной морали нет.
28. Ложно, что объективной морали нет.
29. Ложно, что Бога нет (27,28,modus tollens).
30. Если материализм является истинным, то объективной морали нет.
31. Ложно, что материализм является истинным (28,30,modus tollens).
С точки зрения формальной логики сами умозаключения являются правильными. Вопросы могут возникнуть только относительно истинности их предпосылок. И при обсуждении предпосылок пришлось бы затрагивать сложные вопросы метаэтики и эпистемологии, чего я делать сейчас не хочу. Так что сделаю лишь краткое замечание по поводу объективной морали: убеждение в её существовании действительно может быть разумным в соответствии с ранее упомянутой эпистемологической теорией как базовое убеждение человека.
10) Николай ссылается на книгу "Новое естественное богословие" под редакцией аналитических философов У. Л. Крейга и Дж. П. Морленда:
[Крейг У.Л., Морленд Дж.П. Новое естественное богословие. Москва, 2014. 801 с.]Эта книга может быть иллюстрацией того, что сторонники теизма могут основательно аргументировать свои взгляды, пользуясь различными аналитическими средствами. Существование такой литературы опровергает распространённые в определённых кругах убеждения будто верующие не могут быть логичными или не могут аргументировать свои взгляды. Хотя я считаю, что есть много хорошей литературы с защитой теизма помимо упомянутой книги. И, может быть, даже более хорошей литературы.
Теперь я кратко рассмотрю ответ Станислава Дробышевского на вступительную речь Николая:
1) Станислав, утверждает, что не выступает против веры. Затем он утверждает, что может нам рассказать сказку про Колобка и что в неё можно верить или не верить, но материальная реальность от этого никуда не денется. К чему были сказаны эти слова - понять сложно. Можно предположить, что он таким образом возражает против того, что бы основывать свои убеждения на вере. Однако:
32. Мы можем поверить в правильность сказки про Колобка.
33. Мы не должны основывать свои убеждения на вере.
(33) логически не следует из (32) и утверждать обратное значит совершать логическую ошибку non sequitur.
Сказанное Станиславом никак не отменяет того факта, что в познании есть аксиомы, что эвиденциализм не обоснован. И даже тот факт, что убеждение в существовании упомянутого ним материального мира принимается на веру. Даже если сам Станислав не знает об этом. Упомянутый выше материалист Ю. И. Семёнов понимает проблему явно намного лучше. Он признаёт, что логически доказать существование объективного мира нельзя.
2) Станислав говорит, что религия не имеет никакого отношения к морали и что моральные устои эволюционно обусловлены и являются адаптивные признаками. Сложно понять, как эти утверждения могут быть связанными с аргументами Николая. Я не вижу логической связи между утверждениями Станислава и предпосылками в основании умозаключений Николая. Иначе говоря:
34. Моральные устои есть эволюционно обусловленными.
35. Ложно, что если Бога нет, то, объективной морали нет.
36. Ложно, что объективная мораль есть.
37. Ложно, что если материализм является истинным, то объективной морали нет.
Из (34) логически не следует ни (35), ни (36), ни (37). Утверждать обратное значит совершать логическую ошибку non sequitur. По сути Станислав сделал несколько утверждений, которые никак не опровергают сказанное во вступительной речи Николаем.
В дальнейшем обсуждении поднимались ещё некоторые темы. Я не буду их сейчас обсуждать. Хочу заметить, что позиция Николая выглядела более прочной несмотря на ряд моих критических замечаний. Сложилось впечатление, что Станислав Дробышевский попросту не может понять ряд из затронутых Николаем проблем. На самом деле мне не очень понятно, почему именно с ним был организован спор. Я не думаю, что он достаточно хорошо разбирается в затронутых в споре философских вопросах. Также замечу, что я ожидал от спора большего. Я думал, что будет затронут более широкий спектр тем. А по факту пошло много времени на обсуждение элементарных вещей и даже в их обсуждении какого-либо существенного прогресса не было.
На этом закончу анализ.
