– Да он не сам беспокоится – засмеялся Миша – это его родители накрутили
– Э-эй – сказал обиженно Ромка – я вообще не о том хотел. Но… раз уж вы тут эту тему подняли – делаете вы из Миши религиозного фанатика или нет?
– Нет, не делаем – ответил Математик – и из тебя делать не будем. С помощью логики можно любые ошибки находить, не только у атеистов. Просто нам показалось интересным именно этим заниматься. А чего спросить-то хотел?
– Тут, Миша, похоже, увлекся всякими логическими штуками – начал Ромка – на переменах книжки читал… Я подглядел. Там обычно, если про логику пишут, добавляют «классическая» или «формальная». С классической все понятно – а формальная это что? Про формулы? Как на математике?
Математик улыбнулся
– Тут дело в другом. Сейчас объясню на примере. Вы, когда ходили паспорт получать, сначала заполняли анкету. Ну, там, имя, фамилия, адрес и так далее. Анкету вы заполняли на бланке. Там стояли только названия тех граф, куда вы должны были вписывать ответы. Или тесты вы писали по разным предметам – там принцип тот же: вопрос и под ним графа, куда надо написать варианты ответов. Или «галочки» поставить. Анкету или тест может заполнять любой человек – Михаил, Роман, я, кто-то еще. Ответы тоже будут разные – кого-то зовут Василий Иванов и живет он на улице Весенняя, дом 3 – а кто-то Петр Смирнов и живет на улице Зеленая, дом 6. Тест может быть заполнен правильно или неправильно. Но обрабатывать и тест, и анкету будут независимо от того, что конкретно в них написано. Как будет написано в анкете – такие данные и внесут в будущий паспорт. Какие ответы будут в тесте – такую оценку автору и поставят. И паспорт, и отметка – чьи-то личные результаты, но схема одна и та же, кто бы не заполнял. Вот такие общие готовые бланки, например, называются «формы». Они не зависят от того, что конкретно в них написано – они сами по себе всегда одинаковы. И правила работы с ними – тоже всегда одинаковы. Вот формальная логика42 – это логика, которая изучает правила работы с понятиями, суждениями и умозаключениями (с вашим мышлением, проще говоря) вне зависимости от того, какие конкретно понятия, суждения и умозаключения мы имеем ввиду. Поэтому логики при описании законов своей науки пользуются общими обозначениями. Это будет понятней, когда мы начнем разбирать