Institute of Philosophy of Saint-Petersburg State University
Not a member yet
686 research outputs found
Sort by
Парадокс Крипке, вычислимость и тезис Чёрча-Тьюринга
No full textПарадокс Крипке, вычислимость и тезис Чёрча-Тьюринг
Риторический инструментарий Михаила Пселла в его комментариях на Григория Богослова
No full textРиторический инструментарий Михаила Пселла в его комментариях на Григория Богослов
Логика в России XIX — начала ХХ столетий и православная церковь
Get PDFRussia’s government was suspicious toward philosophy and at the mid of XIX century ousted philosophy from University curriculum. Nevertheless ban of philosophy have no impact on logic which was taught by philosophers as well. Study of logic continued in all Russian Universities though the program was compiled by Moscow Spiritual academy and approved by Holy Synod. We discuss the feature of this program and stress crucial role of Orthodox Church in preserving logical traditions in Russia during XIX — turn of XX centuries.В статье показано, что Русская православная церковь в России XIX — начала XX в. и ее священнослужители внесли значительный вклад в дело преподавания логики в отечественных учебных заведениях (университетах, Духовных академиях и училищах), а также распространения логических знаний. Российское правительство в середине XIX в. с подозрительностью относилось к философии; запретив ее преподавание в университетах, оно сохранило преподавание логики, поручив его священникам. Текст дополняется найденной в архивах программой по логике для университетов (1850 г.), которая позволяет судить о круге вопросов, которые рассматривались в стандартном ее курсе
«Начертание логики» как гносеологический реализм в духовно- академической философии XIX в.
No full text«Начертание логики» как гносеологический реализм в духовно-академической философии XIX в
Эквивалентные преобразования формул в логике Роговского R4 в базисе {B,->}
No full textЭквивалентные преобразования формул в логике Розовского R4 в базисе {B,->
Means or end? Eulerian-diagrams in the history of modern philosophy
No full textMeans or end? Eulerian-diagrams in the history of modern philosoph
Принцип противоречия Лейбница
Get PDFThe relation of Leibniz’s principle of contradiction and logical laws of contradiction and excluded middle is considered. The interdependence of the law of the excluded middle and N. A. Vasiliev’s triangle of oppositions is analyzed and is determined the value of the triangle of oppositions for A. Heyting’s intuitionistic logic.В статье выясняется соотношение принципа противоречия Лейбница и логических законов противоречия и исключенного третьего. Рассматривается взаимозависимость закона исключенного третьего и треугольника противоположностей Н. А. Васильева, а также определяется значение треугольника противоположностей для интуиционистской логики А. Гейтинга
Ретроспектива становления «неклассичности» в сфере логических изысканий
No full textРетроспектива становления «неклассичности» в сфере логических изыскани
Два подхода к обобщению формальных систем: формализованный язык и аксиоматика
No full textДва подхода к обобщению формальных систем: формализованный язык и аксиоматик