Представители

- Л. Брауэр (1881 – 1861 гг.)

- К. И. Льюис (1883 – 1964 гг.)

- Я. Лукасевич (1878 – 1956 гг.-)

- Э. Пост (1897 – 1954 гг.)

Логическая форма или форма мышления – это способ связи элементов мысли, её строение, благодаря которому содержание существует и отражает действительность.

Современная логика как наука о законах и формах человеческого мышления включает в себя две относительно самостоятельные науки: логику формальную и логику диалектическую.

Мысли и процессы мышления можно подразделить на классы в зависимости от типов их логических форм. Эти классы составят мысли, называемые понятиями, суждениями, вопросами и т.д.

Поскольку логика изучает формы мыслей и способы их выражения в языке, постольку логика является наукой о языке. Одним из таких языков является язык логики предикатов (пер. с лат. логическое сказуемое: то, что в суждении высказывается о предмете суждения, о субъекте.) Достоинство – его выражения однозначны, что позволяет фиксировать ход рассуждений.

При логическом анализе язык выступает как система знаков.

Знак – это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо объекта.

Принято выделять:

- знаки-индексы - связаны с представлениями или объектами материально (причина и следствие)

- знаки-образы – сами по себе несут информацию о представляемых ими объектах (чертеж).

- знаки-символы – не связаны материально и не сходны с представляемыми ими объектами.

Все знаки имеют предметное или значение и смысловое значение – выраженное в языке характеристика объекта,

Некоторые знаки не имеют значения, т.е. представляют несуществующие объекты, а некоторые не имеют смысла, т.е. обозначают объекты, но не несут о них информации. Американский философ Чарльз Пирс (1839 – 1914) заложил основы особой науки о знаках – семиотики, в которой принято выделять три раздела – синтаксис – исследуются отношения между материальными объектами, выступающими в роли знаков. Семантика и прагматика.

Имена – это один из видов знаков Готлиб Фреге (1848 – 1925) разработал учение – теорию именования. Большой вклад в создание учения внесли и отечественный логик Е.К. Войшвилло (1913).

Имя – это слово или словосочетание, обозначающее какой-либо предмет. Имя – это знак, а значит, имеется смысл и значение. Значение имени – это предмет, обозначенный этим именем. Другие названия значения имени – денотат, десигнат, номинат (номинатив – именительный падеж). Смысл или концепт (лат – conceptus – мысль, понятие).

Различают имена двух типов. Единичные – обозначающие один предмет (столица России), общие – животное, Значениями общего имени являются предметы некоторого класса, содержащего более одного элемента. Класс, который составляет предметы, являющиеся значениями имени, называют объемом имени. (Объем единичного имени – класс, состоящий из одного предмета). Могут быть имена с разными смыслами и одним и тем же объемом, но не может быть имен с одним и тем смыслом, но разными объемами. Имена могут обозначать предметы, не существующие в универсуме рассуждений. Это мнимые имена. Их объем – пустое множество. Имена, значениями которых являются предметы, входящие в универсум рассуждения, называются действительными. Относительно смысла имен среди ученых нет однозначной позиции. Имена, имеющие собственный смысл – это описательные имена самая высокая гора в мире, Неописательные имена – Волга не имеет смысла – смысл приданный.

В науке действуют три нормативных принципа:

- принцип предметности – (материя первична, а сознание вторично). Автонимное употребление имен – «Материя есть философская категория для обозначения объективной реальности, которая дана человеку в ощущениях его, которая копируется, фотографируется, отображается нашими ощущениями, существуя независимо от них». В употреблении имени «материя» имеет место автонимное употребление – что Ленин назвал материей, объективную реальность или категорию, т.е. мысль, понятие о реальности.;

- принцип однозначности - выражение, используемое в качестве имени, должно быть именем только одного предмета, если это единичное имя, а если это общее имя, то данное выражение должно быть именем, общим для предметов одного класса. В естественном языке этот принцип не всегда соблюдается.

- принцип взаимозаменяемости: если в сложном имени заменить част, в свою очередь являющуюся именем, другим именем с тем же значением, то значение полученного в результате такой замены сложного имени должно быть тем же, что и значение исходного сложного имени. Земля вращается вокруг Солнца (Центрального тела Солнечной системы).

В науках, в том числе в логике, выделяют два уровня познания — эмпирический и теоретический.

На первом уровне производится сбор фактов (накопление информации об исследуемых объектах) и осуществляется первичная их систематизация в форме таблиц, схем, графиков и т.д. На эмпирическом уровне могут даже формулироваться законы, которые носят гипотетический характер, т.е. требуют объяснения и логического обоснования.

На втором уровне действительность отражается в форме теорий.

Есть много определений теории. Например, теорию определяют как множество предложений, связанных отношением выводимости. Это определение и неточно, и неполно. Почему неточно? Не все предположения теории связаны этим отношением. Почему неполно? Здесь выделяется лишь один аспект теории — формально-логический. Другое определение: теория — это множество предложений, замкнутых относительно выводимости. Это определение не выделяет многих существенных свойств теории. Иногда прибегают к остенсивному определению теории (теория — это, например, теория относительности, учение о происхождении видов Дарвина и т.д.). В остенсивных определениях не раскрываются отличительные признаки теории.

В некоторых случаях при определении теории исходят из фактического положения дел, то есть из того, что те или иные авторы мыслительных конструкций называют теориями, и пытаются обобщить эти понимания теории. В конечном счёте получается, что общим для всех авторов является признак теории «быть множеством предложений».

Теория — это достоверное (в диалектическом смысле) знание об определенной области действительности, являющееся моделью этой действительности и позволяющее объяснять и предсказывать явления из данной области.

Какие же признаки теории мы включаем в определение?

Теория — достоверное знание (в диалектическом смысле). Хотя теория и не является полной и окончательной истиной о какой-то области действительности, она все же в своей основной части обоснована. В ней есть содержание, которое в дальнейшем не будет опровергнуто.

Принимая достоверность (обоснованность) за отличительную черту теории, мы стремимся отграничить этот вид знания от гипотезы, а также от философско-умозрительного объяснения тех или иных явлений. Теория — достоверное знание (в диалектическом смысле). Хотя теория и не является полной и окончательной истиной о какой-то области действительности, она все же в своей основной части обоснована, доказана. В ней есть содержание, которое в дальнейшем не будет опровергнуто. То есть теория – это единство абсолютной и относительной истины.

Теория является особой моделью реальности (объективной или субъективной). Как и любая модель, теория в каком–то отношении сходна с моделируемой реальностью, является её упрощением и служит целям познания этой реальности. Моделями здесь служат системы так называемых теоретических объектов. Эти объекты противопоставляются объектам наблюдения, поскольку вводятся в науку посредством определенной мыслительной деятельности. Объекты наблюдения, называемые также эмпирическими объектами, существуют в действительности. Если вести речь о естественнонаучных теориях, то эмпирические объекты этих теорий существуют реально в качестве физических объектов.

Можно выделить следующие виды теоретических объектов на основе способов их введения в науку.