>никогда, подчеркиваю никогда, не встречала профессионального логика Интересно, что это должно доказывать? У вас снова проблемы с логикой, на этот раз в области необходимости и достаточности. Я тоже как-то не встречал аутистов-физиков, однако это никоим образом не влияет на факт существования Кавендиша.
>Странно Вы определяете формальную логику: набор правил Это называется «формальная логика», которую вы, вероятно, по незнанию уже много раз помянули на примере логики предикатов.
>Если же брать науку логику, то там, извините, кроме набора правил есть еще человеческая деятельность по этим правилам А это называется «неформальная логика» и этим занимался ещё Платон. И это не наука. По крайней мере, не в большей степени, чем завязывание шнурков.
>Я Вам щас такую систему аксиом напишу, что посмотрим, что Вы из нее выведете, если у Вас нет логического мышления Как вы считаете, ваш компьютер обладает логическим мышлением? Тем не менее, набор фактов, вытекающих из аксиом, выводится абсолютно тривиальным алгоритмом для компьютера. В том числе вашего.
>неплохо, когда набор минимален и непротиворечив Не «неплохо», а необходимо, если это формальная теория. Именно поэтому упомянутые вами философские рассуждения Лейбница не имеют отношения к его математической деятельности, упомянутой оратором, которого вы бросились защищать.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2012-01-10 01:52 pm (UTC)Интересно, что это должно доказывать? У вас снова проблемы с логикой, на этот раз в области необходимости и достаточности. Я тоже как-то не встречал аутистов-физиков, однако это никоим образом не влияет на факт существования Кавендиша.
>Странно Вы определяете формальную логику: набор правил
Это называется «формальная логика», которую вы, вероятно, по незнанию уже много раз помянули на примере логики предикатов.
>Если же брать науку логику, то там, извините, кроме набора правил есть еще человеческая деятельность по этим правилам
А это называется «неформальная логика» и этим занимался ещё Платон. И это не наука. По крайней мере, не в большей степени, чем завязывание шнурков.
>Я Вам щас такую систему аксиом напишу, что посмотрим, что Вы из нее выведете, если у Вас нет логического мышления
Как вы считаете, ваш компьютер обладает логическим мышлением? Тем не менее, набор фактов, вытекающих из аксиом, выводится абсолютно тривиальным алгоритмом для компьютера. В том числе вашего.
>неплохо, когда набор минимален и непротиворечив
Не «неплохо», а необходимо, если это формальная теория. Именно поэтому упомянутые вами философские рассуждения Лейбница не имеют отношения к его математической деятельности, упомянутой оратором, которого вы бросились защищать.