Поиск

Рациональная реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств

... Ходикова теория поиска вывода, теории доказательств Гильберта, поризматическая модель, Б.С. Грязнов 117—131 deduction-search theory, Hilbert’s proof theory, porismatic model, Boris Gryasnov The analysis of logical investigations development, which resumed in the formation of deduction-search theory on the basis of Hilbert’s proof theory, is accomplished from the standpoint of history of logic. The thesis of the paper ...

Проблема аналитических и синтетических суждений в истории и философии логики

... истории логики. 172-197 history of logic, image of logic, analytic and synthetic propositions, synthetic propositions a priori; concept of logic of N. Lossky, intuitionism; conceptual pragmatism, philosophy of logic of W.V.O. Quine; porismatic model in the history of logic. On the example of some of the historical facts connected with the history of discussion about the nature of analytic and synthetic propositions in logic it is shown that the views on their status are strongly dependent ...

Поризматические сюрпризы в логике

... interpretation, normativity, inference system, search — inference system In the "Tractatus Logico-Philosophicus" (6.1251) Ludwig Wittgenstein said that “there can never be surprises in logic”. The main aim of this study is to use the porismatic model for critical evaluation of this aphorism as well as to clarify the principle that logic provides norms for reasoning. The approach is based on the dichotomies: reasoning as a logical inference vs. reasoning as believe revision (Gilbert Harman); ...