[Feeleen]

gav

Энциклопедия Кирилла и Мефодия:
МАТЕМАТИЧЕСКАЯ ЛОГИКА, дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике.

ЛОГИКА (греч. logike), наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней — классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических исчислений.

Видите, понятия в энциклопедии различаются. Мат логика - дедуктивная логика, а не индуктивная.
Обратите внимание на словосоч. "как правило", т.е. не всегда.

Здесь важна форма высказываний, а не их содержание.

А что, содержание уже не важно, т.е. оно может быть противоречивым?
Для того,чтобы оценить противоречивость высказывания по форме, обязательно его символизировать??


Да и опять-таки, Кохановский не включает формальную непротиворечивость в основной список предъявляемых к научному знанию критериев, оставляет на периферии, что говорит о меньшей значимости критерия.
Тем не менее,
ПРОТИВОРЕЧИЕ, –я, ср.
1. Взаимодействие противопоставленных и взаимосвязанных сущностей как источников самодвижения и развития (спец.). Диалектическое п.
2. Положение при к-ром одно (высказывание, мысль, поступок) исключает другое, не совместимое с ним. Впасть в п. П. во взглядах.
3. Высказывание или поступок, направленные против кого-чего–н. Не терпит противоречий кто–н. Дух противоречия (стремление во что бы то ни стало сделать не так, совсем иначе).
4. Противоположность интересов. Внутренние противоречия.

Думаю, нам нужен №2. Повторю, выявить наличие противоречия нужно всегда с помощью мат логики, представив высказывание в символической форме?
А содержание уже не важно?
Средневековые схоласты рассуждали, сколько чертей поместятся на конце иглы. Все было непротиворечиво и системно, все по законам логики. Даже истинно, с точки зрения логики. Только не объективно.








Добавлено

Отвечаю на замечания и заканчиваю дискуссию: софистика не интересна.

Альтернативные метамодели в студию! Уже неделю ждем. Все никак

Задача гум наук изучение уникальных объектов во всей их сложности и качественном разнообразии, а не построение метамоделей.
О специфике гум знания хорошо прописано в упомянутом gavом учебнике Кохановского.
Кохановский В.П., Золотухина Е.В., Лешкевич Т.Г., Фатхи Т.Б. Философия для аспирантов: Учебное пособие. Изд. 2-е - Ростов н/Д: "Феникс", 2003. - 448 с. (Серия "Высшее образование".)

§ 6. Классификация наук и проблема периодизации истории науки 60 – специфика гуманитарного знания.

См. также упоминаемый там источник. Риккерт Г. Науки о природе и науки о культуре // Культурология. XX век. Антология. - М., 1995. С. 90-91.
Уникальные объекты - всегда часть системы, не сами по себе. На всякий случай добавлю. Исторический процесс, литературный процесс, я об этом и здесь писал, и в теме про необычные истории написания диссера.

Если я не прав, то приведите пример формальной логики, то есть логики, которая изучает правильность высказываний по форме, а не по содержанию, которая бы не являлась математической.

Традиционная логика. Аристотелевская. Анализ суждения без формализации, т.е. без использования символики там возможно. Она не потеряла актуальность.

Про критерий противоречивости:

В объем логического критерия научности помещены требования непротиворечивости, полноты, независимости. Среди этих составляющих непротиворечивость, которая в своей первой редакции, согласно сформулированному Аристотелем закону непротиворечивости, звучит так: невозможно, чтобы одно и то же в одно и то же время и было присуще и не было одному и тому же в одном и том же отношении, — занимает самую шаткую позицию. По отношению ко многим основополагающим логическим системам в отношении их содержательных выводов (например, теорема Геделя) можно усмотреть указание на их принципиальную противоречивость как на величайшее открытие. И выдвинутый принцип фаллибилизма обыгрывает именно ограниченность императива непротиворечивости. Существенные изъяны очевидны и в требованиях полноты как компоненты логического критерия научности. Семантическая и синтаксическая полнота — всего лишь желаемый идеал всестороннего описания действительности, а не реальность бурно изменяющегося и постоянно развивающегося мира. С требованием независимости связывают ситуацию невыводимости одной аксиомы из другой и условие соблюдения принципа простоты в науке. Однако независимость как составляющая логического критерия в конечном счете упирается в конвенции, в соглашения ученых взять ту или иную систему отсчета за исходную и базовую.

Источник: Лешкевич Т. Г.
Философия науки: традиции и новации: Учебное пособие для вузов. М.: «Издательство ПРИОР», 2001. — 428 с.