Я читал диссертацию Флориана Стейнбергера (Гармония и логический вывод) и на стр. 60 наткнулся на следующее:
... два фундаментальных предположения (другое - принцип автономии), которые лежат в основе не только выводного подхода к логичности, но и взгляда логического вывода в более общем плане.
Принцип невиновности: логика сама по себе не должна быть источником новой информации. То есть не должно быть возможности, исключительно занимаясь дедуктивными рассуждениями, открывать неизвестные до сих пор (атомарные) истины о мире, которые мы были бы неспособны открыть (по крайней мере в принципе) независимо от логики.
А Стейнбергер отмечает в сноске:
Принцип невиновности имеет хорошо известную оборотную сторону: если логика действительно не дает никаких новых знаний, то как объяснить ее полезность?
Это показалось мне очень интересным моментом: действительно, если кто-то верит в принцип невиновности, кажется, что мы не должны быть в состоянии получить новое знание, например математические истины, посредством дедуктивных рассуждений.
Итак, мой вопрос заключается в следующем: есть ли какое-то конкретное название для этих дебатов? И может ли кто-нибудь предложить дополнительную литературу (было бы лучше, если бы это была обзорная статья о дебатах в целом), пожалуйста?
Если вам завязали глаза и отвели в город, в котором вы никогда не были и который не видели ни на одной карте, а затем отвели внутрь здания без окон, с завязанными глазами и попросили нарисовать карту города, в котором вы находились, — вы потерпит неудачу. Логика не позволит вам построить карту города с нуля.
Однако, если вы выросли в городе, но никогда не видели его карту, вы все равно можете попытаться нарисовать его карту, основываясь на том, что вы знаете. Очевидно, что самый простой способ нанести город на карту — это посмотреть на него и нарисовать то, что вы видите. Но логика (или другие способы более эффективной обработки информации) может позволить обнаружить следствия того, что вы уже знаете, не дожидаясь, пока данные ударят вас по голове.
При первом посещении большого города вы можете увидеть линии электропередач или воду. Или сегодня, не заходя туда, вы можете сделать вывод (или сделать обоснованное предположение), что у них есть линии электропередач и вода, основываясь на таких вещах, как население, страна, в которой она находится, ее точное географическое положение и другие подобные вещи. (Точно так же, не возвращаясь назад во времени, когда жили динозавры, вы можете сделать вывод, что тогда нигде не было линий электропередач, но тогда во многих местах была вода.)
Конифолд
Постоянно сбит с толку
Зубочистка Анемон