Логика. 6.
В современной Логике логические процессы изучаются путем их отображения в языках формализованных, или логических, исчислений.
Построение исчисления отличается тщательностью, с которой формулируются его синтаксические и семантические правила, отсутствием исключений, характерных для естественного языка.
Исследованием формального строения логических исчислений, правил образования и преобразования входящих в них выражений занимается логический синтаксис.
Отношения между исчислениями и содержательными областями, служащими их интерпретациями или моделями, исследуются семантикой логической.
Современная Логика слагается из большого числа логических систем, описывающих отдельные фрагменты, или типы, содержательных рассуждений.
Эти системы принято делить на Логику классическую, включающую классические Логику высказываний и Логику предикатов,
и Логику неклассическую, в которую входят модальная Логика, интуиционистская Логика, многозначная Логика, неклассические теории логического следования, паранепротиворечивая Логика, Логика квантовой механики и др.
Каждая из этих Логик также включает, как правило, соответствующие Логику высказываний и Логику предикатов.
Таким образом, хотя Логика, как наука едина, она слагается из множества более или менее частных систем, ни одна из которых не может претендовать на выявление логических характеристик мышления в целом.
Единство Логики проявляется прежде всего в том, что входящие в нее "отдельные" Логики пользуются при описании логических процессов одними и теми же методами исследования.
Все они отвлекаются от конкретного содержания высказываний и умозаключений и оперируют только их формальным, структурным содержанием.
В каждой применяется язык символов и формул, строящийся в соответствии с общими для всех систем принципами.
И наконец, "сконструированная" Логика вызывает ряд вопросов, характерных для любой системы: нет ли в ней противоречий, охватывает ли она все истины рассматриваемого рода и др. (см.: Непротиворечивость, Полнота, Разрешения проблема).
Между разными логическими системами имеются определенные связи.
Одни системы могут быть эквивалентны другим, или включаться в них, или быть их обобщением и т. д.
Единство Логики проявляется также в том, что разные Логики не противоречат друг другу: законами одной из них не являются отрицания законов, принятых в другой.
Построение исчисления отличается тщательностью, с которой формулируются его синтаксические и семантические правила, отсутствием исключений, характерных для естественного языка.
Исследованием формального строения логических исчислений, правил образования и преобразования входящих в них выражений занимается логический синтаксис.
Отношения между исчислениями и содержательными областями, служащими их интерпретациями или моделями, исследуются семантикой логической.
Современная Логика слагается из большого числа логических систем, описывающих отдельные фрагменты, или типы, содержательных рассуждений.
Эти системы принято делить на Логику классическую, включающую классические Логику высказываний и Логику предикатов,
и Логику неклассическую, в которую входят модальная Логика, интуиционистская Логика, многозначная Логика, неклассические теории логического следования, паранепротиворечивая Логика, Логика квантовой механики и др.
Каждая из этих Логик также включает, как правило, соответствующие Логику высказываний и Логику предикатов.
Таким образом, хотя Логика, как наука едина, она слагается из множества более или менее частных систем, ни одна из которых не может претендовать на выявление логических характеристик мышления в целом.
Единство Логики проявляется прежде всего в том, что входящие в нее "отдельные" Логики пользуются при описании логических процессов одними и теми же методами исследования.
Все они отвлекаются от конкретного содержания высказываний и умозаключений и оперируют только их формальным, структурным содержанием.
В каждой применяется язык символов и формул, строящийся в соответствии с общими для всех систем принципами.
И наконец, "сконструированная" Логика вызывает ряд вопросов, характерных для любой системы: нет ли в ней противоречий, охватывает ли она все истины рассматриваемого рода и др. (см.: Непротиворечивость, Полнота, Разрешения проблема).
Между разными логическими системами имеются определенные связи.
Одни системы могут быть эквивалентны другим, или включаться в них, или быть их обобщением и т. д.
Единство Логики проявляется также в том, что разные Логики не противоречат друг другу: законами одной из них не являются отрицания законов, принятых в другой.