Предмет логики и ее основные семантические категории

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

Законы логики долгое время представлялись абсолютными истинами, никак не связанные с опытом. Логика складывается в практике мышления. Логические законы – продукты человеческого опыта. Современная логика находит применение во многих областях. В частности, она оказала влияние на развитие математики, прежде всего теории множеств, формальных систем, алгоритмов, рекурсивных функций; идеи и аппарат логики используются в кибернетике, вычислительной технике, в электротехнике.                                    

Семантические категории.

Семантическая Категория  - класс языковых выражений, взаимная замена которых в предложении сохраняет его грамматический статус, т. е. предложение остается предложением. Если, напр., в предложении «Волга впадает в Каспийское море» слово «Волга» мы заменим словом «Нева», то получим хотя и ложное, но все-таки предложение. Это означает, что слова «Волга» и «Нева» принадлежат одной С.к. Но если вместо слова «Волга» мы поставим слово «меньше», то у нас окажется бессмысленный набор слов, следовательно, слова «Волга» и «меньше» принадлежат разным С. к.. Предполагается, что каждое правильно построенное выражение языка может быть расчленено на функтор и его аргументы. Категория функтора определяется как дробь, в знаменателе которой стоят категории аргументов, а в числителе - категория выражения, образующегося в результате сочленения функтора с аргументами. Напр., к какой С. к. принадлежит одноместный предикат «...бел»? Его единственным аргументом является некоторое имя, категория которого помещается в знаменателе дроби; в результате соединения предиката с именем получается предложение, категория которого   помещается в числителе дроби, получается . С. к. двухместного предиката, скажем, «больше», будет выглядеть так: . Логические связки можно рассматривать как функторы, применяемые к предложениям, причем в результате опять получается предложение. Т. о., категория бинарной связки, скажем, «или», «если, то» и т. п., будет выглядеть так: . Теория С. к. служит основой для классификации формализованных языков и определения важных семантических понятий, например понятия истины.

Заключение.

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

 
    Логика рассматривает области мысли вообще. Мышление есть его собственная сфера. Оно представляет собой целое для себя. Содержанием логики являются специфические определения самого мышления, не имеющие никакого другого основания, кроме мышления. Все гетерономное для мышления — это вообще данное представлением. Логика, таким образом, представляет собой великую науку. Необходимо, разумеется, отличать чистую мысль от реальности, тем не менее реальность, если понимать под ней истинную действительность, присуща также и мысли. Если же  под реальностью понимается только чувственное, внешнее наличное бытие, то мысль имеет даже гораздо более высокую реальность. Мышление, следовательно, заключает в себе некоторое содержание, а именно себя самого, автономным образом. Благодаря занятиям логикой научаются также более правильно мыслить, ибо, если мы мыслим мышление о мышлении, дух достигает тем самым своей силы. Зная природу мышления, можно уследить, когда мышление захочет дать себя ввести в заблуждение. Мы должны быть в состоянии дать себе отчет в действиях мышления. Благодаря этому мы приобретаем умение не давать другим сбить нас с толку. 
 
Мыслить — значит, собственно говоря, постигать и выражать многообразие в единстве. Многообразие, как таковое, принадлежит вообще внешнему, чувству и чувственному созерцанию. Мышление состоит в том, чтобы все многообразное приводить в. единство. Дух, мысля о вещах, приводит их к простым формам, представляющим собой чистое определение Духа. Все многообразное прежде всего внешне для мышления. Постигая это чувственно-многообразное, мы еще не мыслим; только соотнесение его есть мышление. Непосредственное постижение многообразного мы называем чувствованием или ощущением. Только тогда, когда я чувствую, я просто знаю о чем-то, созерцая же, я созерцаю нечто как внешнее мне в пространстве и во времени. Чувство, становясь в пространственном и временном отношении определенным, становится созерцанием. 
Мышление представляет собой абстракцию, если интеллект (Intelligenz) начинает с конкретных созерцаний, затем какое-нибудь из этих многообразных определений опускает, а другое выделяет и придает ему простую форму мышления.