знаки которые находятся в отношении подобия с обозначаемыми объектами
Знаки которые находятся в отношении подобия с обозначаемыми объектами
Сергей Антюшин, Николай Михалкин
Логика: Учебное пособие
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ
УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ
РОССИЙСКАЯ АКАДЕМИЯ ПРАВОСУДИЯ
Антюшин С. С., профессор кафедры философии и социальногуманитарных дисциплин Российской академии правосудия, д-р философ, наук, доцент;
Михапкин Н. В., профессор кафедры философии и социальногуманитарных дисциплин Российской академии правосудия, д-р философ, наук, профессор.
Торгашев Г. А., д-р философ, наук, профессор;
Сафонов В. Е., д-р юрид. наук, профессор.
Точность и непротиворечивость мышления важна для любого человека уже потому, что он – неотъемлемая часть общества, потому что его благополучие и самореализация во многом зависят от других людей. Поэтому человек вынужден постоянно пытаться понимать цели, интересы и позиции партнеров по общественной деятельности, что-то доказывать, отстаивать собственные взгляды и ценности. Ясность мысли способствует умению находить адекватные, рациональные формы восприятия и понимания мира, его отдельных фрагментов, процессов, явлений.
Одни достигают высокого уровня культуры мышления интуитивно (таких, как правило, не очень много), другим не удается избежать противоречий (а иногда – и самих себя понять), а третьи знают законы правильного непротиворечивого мышления, открытые и сформулированные многими поколениями ученых, мыслителей. Эти законы и принципы – незаменимый инструмент, способствующий более точному и всестороннему представлению о действительности, упорядоченному накоплению информации о ней, эффективному выбору собственных целей, четкому изложение своих мыслей и пониманию окружающих.
Среди многих видов общественной и профессиональной деятельности, в которых правильное мышления является непременным условием эффективной работы, особое место занимают юридические специальности, а в судебной сфере, где требуются большой опыт понимания и оценки сложных социальных ситуаций, огромная ответственность при принятии единственно правильных решений, логическое мышление приобретает атрибутивное значение.
Законы правильного мышления изучает логика – учебная дисциплина, которая уже сотни лет является неотъемлемым компонентом высшего образования по многим специальностям. Традиционно ее изучают будущие юристы.
Овладение логическим мышлением, навыками аргументации требует прочных знаний теории логики и непрерывного закрепления их на практике. Решению этих задач подчинены структура и содержание данного пособия. Оно построено по принципу «от простого – к сложному», позволяющему постепенно овладевать знаниями данной дисциплины. Несмотря на относительную компактность, пособие раскрывает все основные вопросы формальной логики; при этом объем глав пропорционален сложности раскрываемых в них проблем. В конце каждой главы учебника – контрольные вопросы и упражнения, а завершается пособие кратким глоссарием, где можно найти многие из важных понятий, используемых в тексте.
Разумеется, даже внимательное изучение учебного материала и выполнение упражнений недостаточно для того, чтобы мыслить без ошибок. Важна собственная целеустремленность, большое терпение, внутренний настрой на понимание сущности каждого правила и положения, повседневная практика использования полученных знаний.
Вот этого и пожелаем читателю!
Логика как наука и ее роль в деятельности юристов
♦ Язык формальной логики
♦ Формальная логика в деятельности юриста
В структуре научного знания место логики особенное. В значительной мере это обусловлено тем, что содержание логики связано с организацией процесса мышления – того, без чего невозможно развитие не только никакой из областей научного знания, но и повседневная жизнь большинства людей.
Иногда логику рассматривают как самостоятельную область знания, иногда связывают с другими науками (например, с риторикой), позволяющими человеку более ясно и эффективно выстраивать цепочки своих рассуждений, как можно более полно и точно излагать свои мысли окружающим людям. Многие ученые считают логику одним из разделов философского знания.
Философия (греч. букв. – «любовь к мудрости»: филео – люблю, софия – мудрость) – форма общественного сознания, учение об общих принципах бытия и познания, об отношении человека к миру, наука о всеобщих законах развития природы, общества и мышления.
Философских дисциплин, раскрывающих соответствующие разделы философии – онтология, гносеология, аксиология, этика, эстетика, философская антропология и др., много. У каждой из них свой объект и предмет, но, в отличие от логики, они не имеют статуса наук, потому что не всегда их положение основывается строго на фактах действительности. Философию называют учением, как и ее составные части, но не логику.
Логика, как и любая другая наука, имеет свой объект и предмет, свои правила обосновывает фактами, выводит их из выявленных законов природы. Осмысление объекта и предмета науки (или другой области человеческого знания) связано с ясным пониманием субъектом самого процесса осмысления.
Субъектом в познавательном процессе является, прежде всего, человек (индивид, группа, коллектив).
Субъект (лат. subjectus – лежащий внизу, находящийся в основе, sub – под, jacio – бросаю, кладу в основание) – носитель предметно-практической деятельности и познания (индивид или социальная группа), источник активности, направленной на объект. Например, субъектом можно считать всякого, кто изучает логику.
Объект (objectum – предмет от лат. objicio – бросаю вперед, противопоставляю) – то, что противостоит субъекту и его предметнопрактической и познавательной деятельности, на что эта деятельность направлена.
Объект (в познавательно-преобразовательном процессе) – это существующая независимо от сознания человека вещь (или идеальная конструкция), включенная в сферу отношений человека с миром.
Объект науки – элемент реальности, обладающий очевидными границами, относительной автономностью существования, и проявляющий себя в окружающей среде. Предмет – категория, обозначающая некоторую целостность, выделенную из мира объектов в процессе человеческой деятельности и познания, отражающая наиболее существенные свойства и признаки объекта.
1.1. Логика как наука
Объект логики (науки) – мышление человека – сложный, многогранный процесс, высшая форма познания мира.
Одновременно мышление является объектом психологии, физиологии, генетики, кибернетики. Однако предмет у каждой из этих наук свой, отличный от других.
Предмет логики (науки) – формы и средства мысли, законы правильного мышления и получения выводного знания, методы рассуждений и формулирования истинных выводов, обобщений, рекомендаций, решений.
Логика (от греч. λόγος – логос – слово, понятие, рассуждение, разум, мысль) – наука об общезначимых формах и средствах мысли (в том числе, закономерностях мышления, методах рассуждений), необходимых для рационального познания в любой области знания, непротиворечивых выводов, формулирования понятий, построения умозаключений, гипотез, версий, теорий.
Говоря кратко, логику можно назвать наукой о формах, закономерностях и методах правильного мышления. Мышление, включая познание, представляет сложный процесс, в котором центральное место занимают знания. Цель любого субъекта заключается в обладании возможно большим объемом необходимых в его жизни и деятельности истинных знаний.
Шпаргалка по «Логике»
Автор работы: Пользователь скрыл имя, 22 Января 2013 в 08:09, шпаргалка
Краткое описание
Работа содержит ответы на вопросы по дисциплине «Логика».
Прикрепленные файлы: 1 файл
Пропозициональной функцией называется выражение, содержащее переменную и превращающееся в истинное или ложное высказывание при постановке вместо переменной имени предмета из определенной системной области.
Понятие пропозициональной функции широко используется в математике. Все уравнения с одним неизвестным представляют собой одноместные пропозициональные функции.
При логическом анализе язык рассматривается как знаковая система.
Знак – это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо объекта.
Можно выделить знаки следующего вида:
Логика исследует знаки последнего вида. Знаки-символы не связаны причинно и не сходны с представляемыми ими объектами.
6. Язык как знаковая система
Язык как знаковая система
Поскольку логика изучает формы мышления и способы их выражения в языке, постольку логика является также наукой о языке. В логике исследуются отдельные аспекты естественых языков (языков, которые возникли и развиваются в основном стихийно), а также создаются искусственные языки — специальные языки-логики. Одним из таких языков является язык логики предикатов, широко используемый при выявлении связей между мыслями по их логическим формам. Основное достоинство этого языка заключается в том, что его выражения однозначны. В нем нет омонимов и нет неясных выражений. Это позволяет строго фиксировать ход рассуждений и точно решать вопрос об их правильности, или неправильности, а также ряд других вопросов.
При логическом анализе язык рассматривается как знаковая система.
Знак — это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо объекта.
Можно выделить знаки следующих трех типов: знаки-индексы, знаки-образы, знаки-символы.
Знаки-индексы связаны с представляемыми ими объектами как следствия с причинами. Так, дым говорит о наличии огня, повышенная температура человека — о заболевании, измене¬ние цвета ногтей человека — о заболевании внутренних органов, изменение высоты ртутного столба — об изменении атмосферного давления.
Знаками-образами являются те знаки, которые сами по себе несут информацию о представляемых ими объектах (карта местности, картина, чертеж), поскольку они находятся в отношении подобия с обозначаемыми объектами.
Знаки-символы не связаны причинно и не сходны с представляемыми ими объектами.
Логика исследует знаки последнего вида.
Как правило, знаки имеют предметные и смысловые значеня.
Предметным значением является тот объект, который представляется (или обозначается) знаком. Смысловое значение — это выражаемая знаком характеристика объекта, представителем которого является знак (информации об этом объекте). Предметное значение часто называют просто значением, а смысловое значение — смыслом.
Некоторые знаки не имеют значения, т.е. представляют несуществующие объекты (например, «вечный двигатель»), а некоторые не имеют смысла, т.е. обозначают какие-то объекты, но не несут о них информации, по крайней мере такой, которая позволяла бы однозначно выделять предметы, обозначаемые знаком.
7. Теория именования
Формализованный язык логики существует в двух вариантах: язык логики предикатов и язык логики высказываний.
Структура языка логики предикатов отражает смысловые характеристики естественного языка. К семантическим категориям языка относятся: предложения, имена (знаки предметов), пре- дикаторы (знаки свойств и отношений), функциональные знаки.
Имена — это слова или словосочетания, обозначающие какой-либо предмет.
Различают простые имена, состоящие из одного слова, например: «книга», «воробей», «песня»; сложные имена, которые состоят из двух слов, например: «город-герой», и описательные имена, состоящие из частей, имеющих самостоятельный смысл, например: «самая высокая горная вершина». Единичное имя обозначает один предмет и представлено в языке именем собственным, например: «А.П. Чехов», или представлено описательно. Общее имя обозначает класс однород-
ных предметов и в языке представлено именем нарицательным, например «закон», или дается описательно, например «действующий вулкан».
Предикаторы — это языковые выражения, обозначающие свойства, качества, отношения.
Число имен, к которым относится предикатор, называется его местностью.
Предикаторы, выражающие свойства, присущие отдельным предметам, называются одноместными. Например, «лед холодный».
Предикаторы, выражающие отношения между двумя и более предметами, называются многоместными.
Двухместными предикаторами являются, например, «больше», «любить», «мать» и т. д., «Диаметр Венеры больше диаметра Меркурия».
Трехместный предикатор: «Город Волгоград находится между городами Саратов и Астрахань».
Функциональные знаки — это выражения, обозначающие предметные функции, т. е. функции, значениями которых явля-ются предметы.
В языке встречаются логические термины — это термины, относящиеся к логической форме мысли и не имеющие самостоятельного содержания. Они ничего не обозначают и ничего не описывают. В русском языке имеются слова и словосочетания, которые являются такими терминами: «есть», «суть». «не», «неверно, что», «все», «если и только если», «некоторые», «ни один», «или» и т. п.
Предложение — это выражение языка, в котором что-то утверждается или отрицается.
Логика высказываний — это логика повествовательных пред-ложений, т. е. прежде всего суждений, позволяющая с помощью искусственного языка выразить их логическую структуру.
Формализованный язык логики высказываний состоит из алфавита, т. е. совокупности символов и правил построения формул из этих символов. Алфавит логики высказываний состоит из знаков простых высказываний, т. е. букв, которыми заменяются
понятия или суждения; знаков логических связок или союзов; технических знаков, которые обозначаются скобками.
В логике высказываний фразы естественного языка переводятся на язык логики высказываний. Выглядит это следующим образом: во фразе выделяют части, соединенные логическими союзами, эти части обозначают буквами и соединяют этими союзами.
Пример.
Если вещи вовсе неспособны быть объектом чьей-либо соб-ственности или, будучи таким объектом, объявлены по закону неотчуждаемыми, они считаются изъятыми из оборота.
Обозначим буквами следующие части:
А — вещи, вовсе неспособные быть объектом чьей-либо соб-ственности;
В — вещи являются таким объектом;
С — вещи объявлены по закону неотчуждаемыми;
D — вещи считаются изъятыми из оборота.
Используя логические союзы и технические знаки, получаем следующую формулу:
[(AV (B & C)) —> D].
Формулы, которые мы получаем в результате перевода фраз естественного языка на логический язык, могут быть трех видов:
тождественно истинные, т. е. истинные всегда, какие бы значения мы ни подставляли в них вместо букв; тождественно ложные, т. е. ложные при каких угодно значениях своих переменных; нейтральные, т. е. при одних значениях переменных ложные, а при других — истинные.
Одной из задач исчисления в логике высказываний является выяснение, к какому из трех данных видов относится данная формула, записанная символическим языком логики. Более подробно операции логики высказываний будут рассмотрены в дальнейшем.
8.Семантические категории выражений языка
Семантические категории языка, и ее понятие. Понятие семантическая категория, предикаторы.
Все выражения, являющиеся знаками, в зависимости от типов их предметных значений могут быть разбиты на классы, называемые семантическими категориями.
Семантическая категория – это класс выражений с однотипными предметными значениями, при этом включающий все выражения с предметным значением данного типа.
Такими классами являются имена, предикаторы, предметные функторы, логические термины, повествовательные предложения.
Имена – слова и словосочетания, являющиеся знаками предметов.
Предикаторы – выражения языка (слова и словосочетания), предметными значениями которых являются свойства (одноместные предикаторы) и отношения (многоместные предикаторы).
Свойствами в современной логике называют характеристики отдельных предметов («белый», «странный», «иметь спинку», «ходить» и т.п.). Отношения – это связь между двумя и более предметами («находиться между», «быть братом», «быть больше», «знать лучше, чем» и т.п.). Таким образом, отношения представляют собой характеристики не отдельных предметов, а некоторых систем предметов.
Наличие или отсутствие у какого-либо предмета свойства или отношения к другим предметам называется признаком. Признаки – это любые возможные характеристики предмета, все, что можно высказать о предмете.
Предметные функторы – это знаки так называемых предметных функций. Наряду с математическими функциями «синус», «логарифм», «умножение» и т.п. сюда относятся такие особые характеристики предметов, как скорость, плотность, возраст, пол, профессия, агрегатное состояние, место жительства и др. Иногда их называют предметно-функциональными характеристиками.
Логические термины (логические константы) – это знаки логических отношений «и», «или», «если…, то…», «неверно, что» и операций «всякий», «существует» («некоторые»), «тот…, который…».
Знаки первых четырех категорий (имена, предикаторы, предметные функторы и логические термины) используются в составе предложений. При этом, в отличие от логических терминов, имена, предикаторы и предметные функторы называются дескриптивными (описательными) терминами (рис. 1).
Дескриптивные и логические термины различаются тем, что первые специфичны для различных областей познания и поэтому характеризуют конкретное содержание высказываний той или иной области познания. Логические термины являются общими в высказываниях разных областей познания и определяют те аспекты смыслов высказываний, понятий, теорий, которые называют логическими содержаниями.
9. Логика и методология. Основные методологические принципы логики
В качестве высшего методологического принципа выступает требование объективности рассмотрения. Этот принцип вытекает из материалистического решения основного вопроса философии, т.е. из мировоззренческого принципа первичности материального и вторичности идеального. Он требует при исследовании всякого объекта исходить из него самого, а не из нашего мнения о нем. “Не мышлению подчинять предмет, а мышление предмету, внутренней логике взаимосвязи и взаимозависимости его сторон”.
Принцип объективности рассмотрения, используемый в социальном познании, “включает в себя не только требование исходить из самого объекта, из законов его функционирования и развития и не привносить в него ничего от себя, но и четкого различения материальных и идеологических отношений, объективных и субъективных факторов, общественного бытия и общественного сознания, признание материальных, объективных факторов (отношений), общественного бытия в качестве определяющего, первичного, а духовных, идеологических отношений, явлений общественного сознания — в качестве вторичных, обусловливаемых материальной жизнью людей, их экономическими отношениями. Только в таком специфическом выражении принцип объективности в состоянии правильно ориентировать субъекта в познании социальных явлений”.
Например, при прогнозировании преступности исходят из того, что она является вторичным явлением по отношению к другим социальным явлениям, выступающим в качестве ее причины. “Отсюда следует вывод, что. прогнозирование (преступности) есть вторичное прогнозирование, отражающее изменения в будущем других социальных явлений, сказывающихся на преступности. Прогнозирование преступности. должно идти вслед за прогнозами явлений, процессов, существенно влияющих на динамику, уровень, структуры преступности. Поэтому вначале должен быть составлен прогноз, относящийся к первому звену причинно-следственной системы — к области причин, а уже затем и на основе этого — ко второму звену — к преступности. Разработка прогнозов первого звена — задача экономистов, социологов, демографов и др., разработка второго звена — дело криминологов”.
Следствием принципа объективности рассмотрения является требование не идти от вторичных явлений к их причинам, а наоборот, исходя из первичных явлений, из причин выявлять все возможные следствия.
Применительно к преступности этот метод можно сформулировать так: не от преступности идти к ее причинам, а из данных (материальных) условий жизни выводить ожидаемые правонарушения.
Другим следствием принципа объективности является принцип конкретности, требующий при изучении объекта исходить из его особенностей, специфических условий его существования, а принципы и методы исследования объекта использовать лишь в качестве ориентиров, направляющих познание на выявление его внутренней природы.
Принципом диалектической логики является также требование рассматривать объект во всех его связях и отношениях, называемое принципом всесторонности рассмотрения. Этот принцип следует из мировоззренческого принципа всеобщей связи. В самом деле, если предмет представляет собой единство взаимосвязанных сторон, свойств и т.д., если он находится в многочисленных связях с другими предметами, то, чтобы познать предмет, необходимо стремиться охватить все эти связи и отношения.
В многочисленных дискуссиях, проходящих в нашей стране, принцип всесторонности рассмотрения постоянно нарушается. Например, кандидаты в депутаты часто дают такие обещания: повысить заработную плату работникам определенных категорий, увеличить выплаты за отпуск по уходу за ребенком, увеличить продолжительность этого отпуска, выплачивать постоянное пособие женщинам, имеющим пять и более детей, в размере, позволяющем женщине не работать, и т.д., не указывая, за счет чего они хотят это сделать (за счет интенсификации производства, займа за рубежом, снижения пенсий или снижения заработной платы работникам других категорий и т.д.). Эти кандидаты нарушают требование указанного принципа.
Этот принцип нарушается и в тех случаях, когда при обсуждении вопроса о гуманизации наказаний за совершаемые преступления ведут речь о лицах, совершающих преступления, и не учитывают интересы других слоев населения, тех, против кого совершаются преступления.
Важным принципом диалектической логики является принцип историзма, который требует рассматривать объект в его развитии, самодвижении, изменении, т.е. изучать его возникновение, переходы от одних стадий развития к другим вплоть до настоящего времени, с тем чтобы предсказать его будущие состояния. Принцип историзма является следствием мировоззренческого принципа всеобщего развития. Действительно, если все в мире находится в движении, изменении, то для того, чтобы познать то или иное явление, нужно изучить процесс его изменения, его развитие.
Знаки которые находятся в отношении подобия с обозначаемыми объектами
1. Предмет и значение логики
Слово «логика» происходит от греческого logos, что означает «мысль», «слово», «разум», «закономерность». В современном языке это слово используется, как правило, в трех значениях:
1)для обозначения закономерностей и взаимосвязей между событиями или поступками людей в объективном мире; в этом смысле довольно часто говорят о «логике фактов», «логике вещей», «логике событий», «логике международных отношений», «логике политической борьбы» и т.д.;
2)для обозначения строгости, последовательности, закономерности процесса мышления; при этом употребляются выражения: «логика мышления», «логика рассуждения», «железная логика рассуждений», «в выводе отсутствует логика» и др.
3)для обозначения особой науки, которая изучает логические формы, операции с ними и законы мышления.
Предметом логики являются логические формы, операции с ними и законы мышления.
Чувственное познание протекает в трех основных формах: ощущение (отражение отдельных свойств предметов), восприятие (отражение предмета в целом, это целостный образ предмета) и представление (сохранившийся образ предметов).
Но на ступени чувственного познания человек не может познать сущность вещей и явлений, их внутренние свойства. Как говорил Маленький Принц из одноименной повести А. де Сент-Экзюпери, «самого главного глазами не увидишь». Поэтому на помощь органам чувств приходит разум, или абстрактное мышление, которое отражает действительность в главных и существенных свойствах и отношениях.
В процессе построения понятий, суждений и умозаключений человек может допускать сознательные и бессознательные ошибки. Чтобы избежать ошибок, необходимо знать правила мышления. Построенное по правилам (и законам) мышление называется правильным.
2. Язык как знаковая система. имена.
Поскольку логика изучает формы мышления, а мышление неразрывно связано с языком, постольку логика является также наукой о языке.
По происхождению языки бывают естественные и искусственные.
Существуют также смешанные языки, базой в которых выступает естественный (национальный) язык, дополняемый символикой и условными обозначениями, относящимися к конкретной предметной области. К этой группе языков относится язык формальной логики.
В качестве символов выступают определенные знаки. Знак- любой чувственно воспринимаемый предмет, который заменяет, представляет другой предмет, используемый в процессе познания или общения в качестве представителя какого-либо объекта. Наиболее типичны три вида знаков: (1) знаки-индексы; (2) знаки-образы; (3) знаки-символы.
Знаками-образами являются те знаки, которые сами по себе несут информацию о представляемых ими объектах (чертежи, карты, картины, фотографии), поскольку находятся с обозначаемыми объектами в отношении подобия.
Знаки-символы не имеют сходства с обозначаемыми предметами (эмблемы, гербы, знамена, художественные и графические символы, знаки-сигналы или знаки шифров).
Это означает, что имя, понятие и предмет не совпадают, но тесно взаимосвязаны: имя обозначает предмет и выражает понятие о предмете.
Иногда слова утрачивают свои первоначальные значения и выражают новые понятия (например, слово «чернила» первоначально обозначало «то, что чернит», а сегодня «то, что пишет», и мы можем говорить о красных чернилах).
Многозначность слов часто приводит к смешению понятий, а следовательно, к ошибкам в рассуждениях. Поэтому необходимо точно знать, какое понятие выражает то или иное слово, и употреблять это слово в строго определенном значении.
По составу различают имена простые («государство») и сложные, состоящие из нескольких слов («спутник Земли», «Российское государство»).
Имена могут обозначать и несуществующие в объективной реальности предметы. Например, «кентавр», «русалка», «самая удаленная точка Вселенной» и т. п. Эти имена являются мнимыми, или пустыми.
Формальная логика использует знаки-символы. В данном языке нет омонимов и неясных выражений. Это позволяет строго фиксировать ход рассуждений и точно решать вопрос об их правильности или неправильности.
В логике различают языки логики высказываний и логики предикатов. Язык логики высказываний используется для описания структуры высказываний, рассуждений, предложений. Под высказываниями понимаются простые или сложные абстрактные символические выражения, обозначающие суждения. Простые высказывания, объединенные в сложные с помощью связок «и», «или», «если. то» и др., называют пропозициональными высказываниями, а логику, с помощью которой описываются такие высказывания, иногда называют пропозициональной логикой, или пропозициональным исчислением. Логика высказываний может быть классической (двузначной) или многозначной.
Язык логики предикатов используется для описания внутренней структуры высказываний. Алфавит языка логики предикатов состоит из следующих символов:
С помощью приведенного алфавита строится формализованная логическая система, называемая исчислением предикатов. Выражения языка логики предикатов называются формулами. Формулы могут быть правильно построенные и неправильно построенные.
Синтаксисом называется раздел семиотики, в котором исследуются отношения между самими знаками (правила построения и преобразования выражений языка и т. д.). В процессе этого исследования отвлекаются от смыслов и значений знаков.
Семантикой называется раздел семиотики, в котором прежде всего исследуются отношения знаков к представляемым ими объектам, а также смыслы знаков, поскольку они являются одним из средств установления связи знаков и их значений.
Прагматика изучает отношение человека к знакам, а также отношения между людьми в процессе знакового общения.
Язык формальной логики позволяет избегать неясности и двусмысленности естественного языка и сводить процесс проверки правильности рассуждений к «вычислению».
3. Семантические категории выражений языка
Все выражения, являющиеся знаками, в зависимости от типов их предметных значений могут быть разбиты на классы, называемые семантическими категориями.
Семантическая категория – это класс выражений с однотипными предметными значениями, при этом включающий все выражения с предметным значением данного типа.
Такими классами являются имена, предикаторы, предметные функторы, логические термины, повествовательные предложения.
Имена – слова и словосочетания, являющиеся знаками предметов.
Предикаторы – выражения языка (слова и словосочетания), предметными значениями которых являются свойства (одноместные предикаторы) и отношения (многоместные предикаторы).
Свойствами в современной логике называют характеристики отдельных предметов («белый», «странный», «иметь спинку», «ходить» и т.п.). Отношения – это связь между двумя и более предметами («находиться между», «быть братом», «быть больше», «знать лучше, чем» и т.п.). Таким образом, отношения представляют собой характеристики не отдельных предметов, а некоторых систем предметов.
Наличие или отсутствие у какого-либо предмета свойства или отношения к другим предметам называется признаком. Признаки – это любые возможные характеристики предмета, все, что можно высказать о предмете.
Предметные функторы – это знаки так называемых предметных функций. Наряду с математическими функциями «синус», «логарифм», «умножение» и т.п. сюда относятся такие особые характеристики предметов, как скорость, плотность, возраст, пол, профессия, агрегатное состояние, место жительства и др. Иногда их называют предметно-функциональными характеристиками.
Логические термины (логические константы) – это знаки логических отношений «и», «или», «если…, то…», «неверно, что» и операций «всякий», «существует» («некоторые»), «тот…, который…».
Знаки первых четырех категорий (имена, предикаторы, предметные функторы и логические термины) используются в составе предложений. При этом, в отличие от логических терминов, имена, предикаторы и предметные функторы называются дескриптивными (описательными) терминами Дескриптивные и логические термины различаются тем, что первые специфичны для различных областей познания и поэтому характеризуют конкретное содержание высказываний той или иной области познания. Логические термины являются общими в высказываниях разных областей познания и определяют те аспекты смыслов высказываний, понятий, теорий, которые называют логическими содержаниями.
семантич.категории:
— предложения
-логические термины
дескриптивные термины (имена, предикаторы, предметные функторы)
Чтобы выявить логическую форму суждений, рассмотрим различные по содержанию суждения: «Стол является мебелью», «Человек ходит на двух ногах» и «Преступление должно быть наказано».