Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Московский государственный машиностроительный университет (МАМИ)»
Факультет социальных технологий и управления
Кафедра рекламных технологий ИМК
КУРСОВАЯ РАБОТА
По дисциплине
«Логика и теория аргументации»
Тема:
«Логика и язык»
Выполнила: 2 курс, 141-р11
Научный руководитель:
Подпись
Дата защиты:
Москва-2016г.
Содержание:
Введение…………………………………………………3-4
Основная часть
1 глава. Логика и язык
1.1. Язык как знаковая информационная система. Знаки и их основные характеристики. Естественный и искусственный языки……………………………...………5-9
1.2.Понятие об искусственном языке логики. Основные семантические категории и семантический анализ языка………………………………………………………9-14
2 глава. Функции языка
2.1.Основные синтаксические категории и функциональный анализ языковых выражений………15-17
2.2.Семантические категории………………………….17-21
2.3.Понятие о языке логики высказываний и логики предикатов………………………………………………21-26
Заключение…………………………………………………27
Рецензия на курсовую работу………………………….30-31
Введение
Логика (от греч.: logos - слово, понятие, разум) - наука о формах и законах правильного мышления. Сферой логики является интеллектуальная познавательная деятельность или процесс мышления. С учетом этого можно дать следующее определение науки логики: логика - есть наука о законах, формах и приемах мышления, осуществляемого с помощью языка. Мышление не может существовать без языка. Язык придает нашим мыслям определенность, с его помощью мысль обретает форму слова, предложения, и таким образом она становится доступной другим людям. Язык выступает как непосредственная действительность мысли; благодаря языку мысль предстает как информация, которая накапливается из поколения в поколение и передается ими в целях дальнейшего использования. Язык, таким образом, выступает важнейшим связующим звеном исторических поколений. Что же касается мышления (рассуждения), то каждый из нас знает из собственного опыта, как трудно бывает порой выразить свои мысли, если мы не владеем языком. Язык может быть препятствием мышления, и может быть его стимулом. Кроме того, язык обладает тем свойством, что он позволяет нам выразить мысли о предметах в обобщенной, абстрактной форме.
Способность человека к абстрактному мышлению заложена в нем от рождения, но по мере его взросления, а также обучения, воспитания, общения с другими людьми, овладения культурными ценностями, она развивается и затем реализуется в его жизнедеятельности. Несмотря на столь тесную связь языка и мышления, они представляют собой разные явления и исследуются разными науками: язык является предметом языкознания, мышление изучается формальной логикой. Каждая наука использует естественный язык, но в то же время не может обойтись без искусственного языка. Особенно это касается математики, физики и др. наук, но и логики тоже. Так называемый формализованный язык здесь применяется очень широко. Но этот язык выступает лишь средством изучения мышления. В мышлении формальная логика изучает логические формы и формально-логические законы.
Цель данной курсовой работы, рассмотреть взаимодействие логики, как науки и выяснить какую роль играет в ней непосредственно язык.
Объектом исследования является наука логика и язык, как самостоятельная единица и его основные функции.
Предметом исследования является определение языка как знаковой информационной системы, выявление его знаков и формирование основных характеристик.
Исходя из указанной цели курсовой работы, ее основными задачами являются:
1.Определение понятия логика
2.Опредление языка как знаковой системы
3.Определение основных функций языка
4.Рассмотерние семантических категорий
1 глава. Логика и язык
1.1. Язык как знаковая информационная система. Знаки и их основные характеристики. Естественный и искусственный языки
Предметом изучения логики являются формы и законы правильного мышления. Мышление есть функция человеческого мозга. Труд способствовал выделению человека из среды животных, явился фундаментом в возникновении у людей сознания (в том числе мышления) и языка. Мышление неразрывно связано с языком. Язык, по выражению К. Маркса, есть непосредственная действительность мысли. В ходе коллективной трудовой деятельности у людей возникла потребность в общении и передаче своих мыслей друг другу, без чего была невозможна сама организация коллективных трудовых процессов.
Необходимая связь мышления и языка, при которой язык выступает материальной оболочкой мыслей, означает, что выявление логических структур возможно лишь путем анализа языковых выражений. Подобно тому, как к ядру ореха можно добраться лишь вскрыв его скорлупу, так и логические формы могут быть выявлены лишь путем анализа языка.
В целях овладения логико-языковым анализом рассмотрим кратко структуру и функции языка, соотношение логических и грамматических категорий, а также принципы построения особого языка логики.
Язык — это знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми.
Основным строительным материалом при конструировании языка выступают используемые в нем знаки. Знак — это любой чувственно воспринимаемый (зрительно, на слух или иным способом) предмет, выступающий представителем другого предмета. Среди различных знаков выделим два вида: знаки-образы и знаки-символы.
Знаки-образы имеют определенное сходство с обозначаемыми предметами. Примеры таких знаков: копии документов; дактилоскопические отпечатки пальцев; фотоснимки; некоторые дорожные знаки с изображением детей, пешеходов и других объектов. Знаки-символы не имеют сходства с обозначаемыми предметами. Например: нотные знаки; знаки азбуки Морзе; буквы в алфавитах национальных языков.
Множество исходных знаков языка составляет его алфавит.
Комплексное изучение языка осуществляется общей теорией знаковых систем — семиотикой, которая анализирует язык в трех аспектах: синтаксическом, семантическом и прагматическом. Синтаксис — это раздел семиотики, изучающий структуру языка: способы образования, преобразования и связи между знаками. Семантика занимается проблемой интерпретации, т. е. анализом отношений между знаками и обозначаемыми объектами. Прагматика анализирует коммуникативную функцию языка — эмоциональные, психологические, эстетические, экономические и другие отношения носителя языка к самому языку.
По происхождению языки бывают естественные и искусственные.
Естественные языки — это исторически сложившиеся в обществе звуковые (речь), а затем и графические (письмо) информационные знаковые системы. Они возникли для закрепления и передачи накопленной информации в процессе общения между людьми. Естественные языки выступают носителями многовековой культуры народов. Они отличаются богатыми выразительными возможностями и универсальным охватом самых различных областей жизни.
Искусственные языки — это вспомогательные знаковые системы, создаваемые на базе естественных языков для точной и экономной передачи научной и другой информации. Они конструируются с помощью естественного языка или ранее построенного искусственного языка. Язык, выступающий средством построения или изучения другого языка, называют метаязыком, основной — языком-объектом. Метаязык, как правило, обладает более богатыми по сравнению с языком-объектом выразительными возможностями.
Искусственные языки различной степени строгости широко используются в современной науке и технике: химии, математике, теоретической физике, вычислительной технике, кибернетике, связи, стенографии.
Особую группу составляют смешанные языки, базой в которых выступает естественный (национальный) язык, дополняемый символикой и условными обозначениями, относящимися к конкретной предметной области. К этой группе можно отнести язык, условно называемый «юридическим языком», или «языком права». Он строится на базе естественного (в нашем случае русского) языка, а также включает множество правовых понятий и дефиниций, правовых презумпций и допущений, правил доказательства и опровержения. Исходной клеточкой этого языка выступают нормы права, объединяемые в сложные нормативно-правовые системы.
Искусственные языки успешно используются и логикой для точного теоретического и практического анализа мыслительных структур.
Один из таких языков — язык логики высказываний. Он применяется в логической системе, называемой исчислением высказываний, которая анализирует рассуждения, опираясь на истинностные характеристики логических связок и отвлекаясь от внутренней структуры суждений. Принципы построения этого языка будут изложены в главе о дедуктивных умозаключениях.
Второй язык — это язык логики предикатов. Он применяется в логической системе, называемой исчислением предикатов, которая при анализе рассуждений учитывает не только истинностные характеристики логических связок, но и внутреннюю структуру суждений. Рассмотрим кратко состав и структуру этого языка, отдельные элементы которого будут использованы в процессе содержательного изложения курса.
Предназначенный для логического анализа рассуждений, язык логики предикатов структурно отражает и точно следует за смысловыми характеристиками естественного языка. Основной смысловой (семантической) категорией языка логики предикатов является понятие имени.
1.2. Понятие об искусственном языке логики. Основные семантические категории и семантический анализ языка
Формальная логика, по нашему определению, должна изучать структуры мышления в их языковой форме. Люди могут обмениваться друг с другом мыслями не иначе, как с помощью языковых средств, будь то произносимые или написанные слова и предложения, сигнализация флагами или другие знаки, основанные на соглашении; мысли также могут сохраняться, накапливаться только с помощью языковых средств. Однако, как мы уже поняли, это не означает такой связи мыслей и языковых средств, когда каждой мысли соответствует определенная формулировка и наоборот. Свои мысли можно формулировать более или менее точно. С другой стороны, языковые формы оказывают определенное влияние на мышление: они могут прояснять мышление, например, при логическом выводе, но они могут и тормозить его или вводить в заблуждение (ср.: Все студенты нашей группы изучают японский язык. Петров изучает японский язык. Следовательно, Петров - студент нашей группы; множество газетных курьезов: Пять тысяч километров и столько же часовых поясов разделяют берега Тихого Дона и Ангары; Модернизация прокатного стана, выполненная по предложению Е. Кутузова, подняла его производительность на 50 %). Поэтому нельзя недооценивать анализ языка в науке. Но его нельзя и переоценивать, как это было, например, у Людвига фон Витгенштейна (1889 - 1951 гг.), видевшего единственную задачу философии в критике языка, а также у многих неопозитивистов. Правда, в результате анализа языка можно косвенно многое узнать об объективной реальности и о мышлении, но никакой анализ языка не может заменить изучение действительности. Только совокупность исследования действительности, мышления и языка составляет аналитическую деятельность в науке.
Знак. Типы знаков. Законы и формы мышления как предмет изучения логики, будучи идеальными объектами, приобретают материальную форму именно в языке. Языком в широком смысле называют любую знаковую информационную систему, выполняющую функции формирования, хранения и передачи информации и выступающую средством общения между людьми. Под знаком понимают любой материальный объект (процесс, явление), служащий в качестве представителя некоего другого объекта (процесса, явления). Таким образом, знак что-то "обозначает", и в зависимости от степени близости к обозначаемому выделяют различные типы знаковых систем.
1. Наиболее близки к обозначаемому так называемые знаки-индексы, или естественные знаки. Они настолько близки к нему, что являются его частью. Естественный знак - это объект (процесс, явление) реального мира, являющийся частью некоего целого и свидетельствующий об этом целом или других частях этого целого. Например, дым в лесу указывает на возникновение пожара. Человек внезапно побледнел - это знак того, что ему стало плохо. Легко заметить, что связь естественного знака с обозначаемым - причинно-следственная. Огонь - причина дыма и т. д. Знаки-индексы так привязаны к своим обозначаемым, что между собой практически не взаимодействуют: в естественной знаковой системе нет никакой "грамматики".
2. Следующий тип знака - это знак-образ. Образ уже не является частью обозначаемого предмета, но отражает его и, следовательно, должен напоминать обозначаемое. Знак-образ дальше отдаляется от обозначаемого, чем знак-индекс, но все-таки еще связан с обозначаемым хотя бы тем, что должен быть на него похож. Образные знаковые системы чрезвычайно распространены: система дорожных знаков и геральдика, народные обряды и этикет, древние наскальные рисунки и образные системы современной живописи и т. д. Следует отметить, что знаки-образы могут отличаться друг от друга по степени приближенности к обозначаемому.
3. Следующий тип знаковых систем - собственно языки. Знаком в языках является слово. Слово отдалено от того, что оно обозначает: колебания воздуха при произнесении слова "студенты" не имеют никакой видимой связи со студентами. Таким образом, слово как знак произвольно. Если и есть какая-либо связь между словами и объектами, обозначаемыми этими словами, то у нас мало шансов ее установить.
Семиотика. Комплексное изучение языка осуществляется особой наукой - семиотикой. Основателем семиотики как науки считается американский ученый Чарльз Пирс (1839 - 1914 гг.), который и ввел термин "семиотика". Отдельные более или менее развернутые мысли о знаках и знаковых системах высказывали многие исследователи. Так, по определению Г. Клауса (Германия), семиотика является общей теорией языковых знаков и их связей друг с другом, с мышлением, объективной реальностью и человеком. При этом семиотика не изучает конкретные языки, как, например, русский, немецкий, английский, литовский, это задача отдельных языковедческих наук - русистики, германистики, литуистики. Семиотика занимается тем, что является общим для всех языков независимо от их словарного состава, их грамматической структуры, от того, возникли они естественным путем или были созданы для определенных целей. Своим понятием знака семиотика охватывает не только слова таких языков, как русский, немецкий, литовский и т. п., но и все материальные образования, которые что-либо значат или что-либо обозначают. Семиотика анализирует язык в четырех аспектах:
- синтаксическом; - семантическом; - прагматическом; - сигматическом.
Семантический аспект. Семантика занимается проблемой интерпретации, т. е. анализом отношений между знаками и обозначаемыми объектами, между словами и соответствующими им понятиями, а также изучает отношения между значениями простых знаков и значениями сложных знаков, составленных из простых.
Например, отношения между значением слов и значением предложений, построенных из этих слов. Чтобы понять специфику проблем и объекта исследования семантики, рассмотрим знаменитый семиотический, или семантический, треугольник американского исследователя Чарлза Кея Огдена (1889 - 1957 гг.) и английского ученого Айвора Армстронга Ричардса (1893 -1979 гг.) (см. схему 2).
Имя (номинация) обозначает, именует вещь (денотат) и выражает понятие о вещи (десигнат). Термины, написанные в каждой вершине треугольника, иногда считают синонимами. Все они активно употребляются в семиотике и отличаются друг от друга оттенками смыслов у разных авторов. В европейской традиции в связи с изучением философских вопросов семантики следует вспомнить такие имена: Платон (427 - 347 гг. до н. э.), Аристогг. до н. э.), Секст Эмпирик (кон. II - нач. III в.), Порфирий (ок. 233 - ок. 304 гг.), Уильям Оккам (ок. 1285 -1349 гг.), Николай Кузанский (1401-1464 гг.), Готлиб Фреге, Алексей Лосев (1893 - 1988 гг.), Рудольф Карнап (1891 - 1970 гг.), Алонзо Черч (р.1903 г.) и др.
Десигнат, сигнификат, интенсионал соответствуют смыслу, или значению знака в нашем сознании. Денотат, референт, экстенсионал обозначают тот предмет или ряд предметов "внешнего мира", который соответствует данному имени (знаку, слову, словосочетанию).
«Понятие» - не синоним "имени". "Понятие" и "имя" ("слово") принадлежат как бы двум разным "мирам". Имя как знак имеет два значения: смысл, или сигнификат, и референт, или денотат. Понятие же - это мысль, форма мышления. Следует напомнить еще раз, что при трехчленном отношении «реалия - понятие – имя» каждый компонент этого «универсально-логического отношения номинации в конкретно-языковом ее воплощении обогащается признаками, характерными для членения мира в данном языке».
2 глава. Функции языка
2.1. Основные синтаксические категории и функциональный анализ языковых выражений.
В логике различают выражения, которые являются именными функциями, и выражения, являющиеся пропозициональными функциями. Примерами первых являются «х2+1», «отец у», «разность чисел z и 5»; примерами вторых являются: «х — поэт», «7+у=10», « х >у—7». Рассмотрим эти два вида функций.
Именная функция — это выражение, которое при замене переменных постоянными превращается в обозначение предмета. Возьмем именную функцию «отец у». Подставив вместо у имя «писатель Жюль Верн», получим «отец писателя Жюля Верна» — имя предмета (в данном случае имя человека).
Именная функция — это такое выражение, которое не является непосредственно именем ни для какого предмета и нуждается в некотором восполнении для того, чтобы стать именем предмета. Так, выражение х2 — 1 не обозначает никакого предмета, но если мы его «восполним», подставив, например, на место х имя числа 3 (обозначающее это число цифру), то получим выражение З2 — 1, которое является уже именем для числа 8, т. е. для некоторого предмета. Аналогично выражение х2 + у2 не обозначает никакого предмета, но при подстановке на место х и у каких-нибудь имен чисел, например «4» и «1», превращается в имя числа 17. Такие нуждающиеся в восполнении выражения, как х2— 1, х2 + у2, и называют функциями: первая — от одного, вторая — от двух аргументов.
Пропозициональной функцией называется выражение, содержащее переменную и превращающееся в истинное или ложное высказывание при подстановке вместо переменной имени предмета из определенной предметной области.
Синтаксический аспект. Синтаксис (синтактика) - это раздел семиотики, изучающий структуру языка: способы образования, преобразования и связи между знаками. Синтактика абстрагируется от всех факторов, за исключением знаков. Она исследует связи между знаками некоторого языка, устанавливает правила построения составных знаков (например, предложений) из более простых знаков (например, отдельных слов). Она создает критерий определения принадлежности данных знаков к определенному языку и является своего рода общей грамматикой.
Серьезные и систематические исследования в области синтактики начались лишь в ХХ в., хотя интерес к этим явлениям обнаруживается значительно ранее, и на то были свои причины. В XIX в. мир перестал восприниматься как состоящий из хорошо определимых вещей, каждая из которых имеет свою сущность и называется каким-либо именем. Сами вещи начали «двоиться», «троиться», как бы распадаться на ряд самостоятельных объектов (конечно, в восприятии некоторых людей, а не в действительности). Известный французский философ Анри Бергсон (1859 - 1941 гг.), считавший, что сущность жизни может быть постигнута только с помощью интуиции, писал в 1889 г.: "Каждый день я смотрю на одни и те же дома и, зная, что это те же самые объекты, постоянно называю их тем же именем. Но если через некоторое время я сравню свое первоначальное впечатление от них с теперешним, то буду поражаться, насколько неповторимое, необъяснимое и, самое главное, невыразимое изменение совершилось в них". Вспомним серию полотен Клода Моне "Руанские соборы" (на них изображен один и тот же Руанский собор, но в разное время дня и при разном освещении). "Раздваиваются" и люди ( "Двойник", Э. По "Вильям Вильсон"). В философии языка на первый план постепенно, но уверенно выходят факт, событие и вытесняют собой вещь. Мир теперь состоит не из вещей, а из событий и фактов. А формой и средством выражения факта является предложение. Значит, главным объектом исследования становится предикат.
2.2. Семантические категории
Выражения (слова и словосочетания) естественного языка, имеющие какой-либо самостоятельный смысл, можно разбить на так называемые семантические категории, к которым относятся:
1) предложения: повествовательные, побудительные, вопросительные;
2) выражения, играющие определенную роль в составе предложений: дескриптивные и логические термины.
Суждения выражаются в форме повествовательных предложений (например, «Киев — город», «Корова — млекопитающее»). В этих суждениях субъектами соответственно являются «Киев», «корова», а предикатами — «город», «млекопитающее».
К дескриптивным (описательным) терминам относятся:
1. Имена предметов — слова или словосочетания, обозначающие единичные (материальные или идеальные) предметы («Аристотель», «первый космонавт», «7») или классы однородных предметов (например, «пароход», «книга», «стихотворение», «засуха», «гвардейский полк» и др.).
В суждении «Енисей — река Сибири» встречаются три имени предмета: «Енисей», «река», «Сибирь». Имя предмета «Енисей» выполняет роль субъекта, а имена «река» и «Сибирь» входят в предикат («река Сибири») как его две составные части.
2 Предикаторы— слова и словосочетания, обозначающие свойства предметов или отношения между предметами (например, «порядочный», «синий», «электропроводный», «есть город», «меньше», «есть число», «есть планета» и др.). Предикаторы бывают одноместные и многоместные. Одноместные предикаторы обозначают свойства (например, «талантливый», «горький», «большой»). Многоместные предикаторы обозначают (выражают) отношения. Двухместными предикаторами являются: «равен», «больше», «мать», «помнит» и др. Например, «Площадь земельного участка А равна площади земельного участка В», «Мария Васильевна — мать Сережи». Пример трехместного предикатора: «между» (например, «Город Москва расположен между городами Санкт-Петербург и Ростов-на-Дону»).
3. Функциональные знаки — выражения, обозначающие предметные функции, операции («ctg б», «+», «V-» и др.).
Кроме того, в языке встречаются так называемые логические термины (логические постоянные, или логические константы).
В естественном языке имеются слова и словосочетания: «и», «или», «если... то», «эквивалентно», «равносильно», «не», «неверно, что», «всякий» («каждый», «все»), «некоторые», «кроме», «только», «тот... который», «ни... ни», «хотя... но», «если и только если» и многие другие, выражающие логические константы (постоянные).
В символической (или математической) логике в качестве таких констант обычно используются конъюнкция, дизъюнкция, отрицание, импликация, эквиваленция, кванторы общности и существования и некоторые другие.
В символической логике логические термины (логические постоянные) выражаются следующим образом:
Конъюнкция соответствует союзу «и». Конъюнктивное высказывание обозначается, или, или (например, «Закончились лекции (а), и студенты пошли домой (b)») .
Дизъюнкция соответствует союзу «или». Дизъюнктивное суждение обозначается: (нестрогая дизъюнкция) и (строгая дизъюнкция); отличие их в том, что при строгой дизъюнкции сложное суждение истинно только в том случае, когда истинно одно из составляющих суждений, но не оба, а при нестрогой дизъюнкции истинными могут быть одновременно оба суждения. «Он шахматист или футболист» обозначается как «Сейчас Петров находится дома или в институте» обозначается как:
Импликация соответствует союзу «если... то». Условное суждение обозначается: или (например, «Если будет хорошая погода, то мы пойдем в лес»).
Эквиваленция соответствует словам «если и только если»,
«тогда и только тогда, когда», «эквивалентно». Эквивалентное высказывание обозначается, или, или
Отрицание соответствует словам «не», «неверно, что». Отрицание высказывания обозначается (например, «падает снег» (а); «неверно, что падает снег» .
Квантор общности обозначается и соответствует квантовым словам «все» («всякий», «каждый», «ни один»). •— запись в математической логике (например, в суждении «Все красные мухоморы ядовиты» кванторное слово «все»). [2, c. 82]
Квантор существования обозначается 3 и соответствует словам «некоторые», «существует». —запись в математической логике (например, в суждениях «Некоторые люди имеют высшее образование» или «.Существуют люди, которые имеют высшее образование» кванторные слова выделены курсивом).
Выразим в форме схемы разновидности семантических категорий (приложение 1).
2.3. Понятие о языке логики высказываний и логики предикатов.
Логика предикатов - центральный раздел логики, в котором изучается субъектно-предикатная структура высказывании и истинностные взаимосвязи между ними. Логика предикатов представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание (пропозиция, предложение) рассматривается как некоторый структурно-сложный символ, разделяющийся на субъект, предикат и субъектно-предикатную связку. Субъект указывает на целостное понятие о предмете суждения; предикат — на количество, как отдельное свойство, присущее предмету суждения; субъектно-предикатная связка — на отношение предикации (присущности), имеющее место между предметом суждения и отдельным свойством рассматриваемого предмета. Например, в высказывании «Петр есть студент» слово «Петр» является субъектом, «студент» — предикатом, а слово «есть» — субъектно-предикатной связкой.
Так же, как и в логике высказываний, в логикике предикатов любое высказывание считается либо истинным, либо ложным. Однако при этом кроме пропозициональных связок «)», «&», «V», «—>», «<—>» используются еще три логических оператора: оператор предикации «<—», квантор общности «V» и квантор существования «Э». Если с помощью оператора предикации (субъектно-предикатной связки) формализуется внутреннее логическое строение высказываний об отдельных объектах, то с помощью кванторов формализуются высказывания о различных совокупностях объектов.
В естественном языке отдаленными смысловыми аналогами этих трех дополнительных операторов являются, соответственно, слова «есть (является)», «все» и «некоторые». Точный логический смысл этих операторов задается с помощью специальных семантических правил и формальных аксиом, постулируемых в соответствующем логическом исчислении. Наиболее распространено классическое исчисление предикатов, в котором из конечного числа аксиом по специальным правилам вывода могут быть получены общезначимые формулы логики предикатов, выражающие соответствующие логические законы. Средствами классического исчисления предикатов могут быть формализованы все основные типы высказываний силлогистики Аристотеля.
Кроме классического первопорядкового исчисления предикатов используются и др., более изощренные варианты формализации содержательной теории предикатов. Среди них наиболее известно исчисление предикатов второго порядка, в котором допускается квантификация формул как по предметным переменным, так и по предикатным переменным. п. может быть формализовано значительно больше естественно-языковых рассуждений, нежели средствами логики высказываний. Вместе с тем логика предикатов не может обеспечить формализацию всего естественного языка, поскольку в ней не учитывается ряд важных содержательных положений, относящихся к сфере компетенции металогики.
Функциональная логика, квантор пая логика, основной. раздел математической логики, средствами которого строятся многие др. её разделы. Логика предикатов, в отличие от логики высказываний, расширением которой она является, учитывает не только связи между предложениями (высказываниями), но и их субъектно-предикатную структуру: выделяются аналоги подлежащих в предложениях естественных языков (т. н. термы) и аналоги сказуемых — предикаты. Для этой цели выразительные средства логики высказываний пополняются спец. символами для обозначения предикатов и термов, а дедуктивные средства — правилами образования и преобразования выражений, содержащих эти символы. В логике предикатов вводят также спец. операторы — кванторы. Аксиоматические построение логики предикатов в виде исчисления предикатов включает аксиомы и правила вывода, позволяющие преобразовывать кванторные формулы и строить формальные доказательства (например, система аксиом и правил вывода для исчисления высказываний пополняется схемами аксиом).
Добавление к аппарату исчисления предикатов различных специальных постоянных и переменных термов с характеризующими полученную предметную область конкретными аксиомами и схемами аксиом приводит к различным видам прикладных исчислений предикатов, служащих формализациями различных логико-математических теорий арифметики, алгебры, анализа, геометрии и др. разделов математики.
Предназначенный для логического анализа рассуждений, язык логики предикатов структурно отражает и точно следует за смысловыми характеристиками естественного языка. Основной смысловой (семантической) категорией языка логики предикатов является понятие имени.
Имя — это имеющее определенный смысл языковое выражение в виде отдельного слова иди словосочетания, обозначающее или именующее какой-либо внеязыковой объект. Имя как языковая категория имеет таким образом две обязательные характеристики или значения: предметное значение и смысловое значение.
Предметное значение (денотат) имени — это один или множество каких-либо объектов, которые этим именем обозначаются. Например, денотатом имени «дом» в русском языке будет все многообразие сооружений, которые этим именем обозначаются: деревянные, кирпичные, каменные; одноэтажные и многоэтажные и т. д.
Смысловое значение (смысл, или концепт) имени — это информация о предметах, т. е. присущие им свойства, с помощью которых выделяют множество предметов. В приведенном примере смыслом слова «дом» будут следующие характеристики любого дома: 1) это сооружение (здание), 2) построено человеком, 3) предназначено для жилья.
Это значит, что имя денотирует, т. е. обозначает объекты только через смысл, а не непосредственно. Языковое выражение, не имеющее смысла, не может быть именем, поскольку оно не осмысленно, а значит и не опредмечено, т. е. не имеет денотата.
Типы имен языка логики предикатов, определяемые спецификой объектов именования и представляющие собою его основные семантические категории, это имена: 1) предметов, 2) признаков и 3) предложений.
Имена предметов обозначают единичные предметы, явления, события или их множества. Объектом исследования в этом случае могут быть как материальные (самолет, молния, сосна), так и идеальные (воля, правоспособность, мечта) предметы.
По составу различают имена простые, которые не включают других имен (государство), и сложные, включающие другие имена (спутник Земли). По денотату имена бывают единичные и общие. Единичное имя обозначает один объект и бывает представлено в языке именем собственным (Аристотель) или дается описательно (самая большая река в Европе). Общее имя обозначает множество, состоящее более чем из одного объекта; в языке оно бывает представлено нарицательным именем (закон) либо дается описательно (большой деревянный дом).
Имена признаков — качеств, свойств или отношений — называются предико/порами. В предложении они обычно выполняют роль сказуемого (например, «быть синим», «бегать», «дарить», «любить» и т. д.). Число имен предметов, к которым относится предикатор, называется его местностью. Предикаторы, выражающие свойства, присущие отдельным предметам, называются одноместными (например, «небо синее»). Предикаторы, выражающие отношения между двумя и более предметами, называются многоместными. Например, предикатор «любить» относится к двухместным («Мария любит Петра»), а предикатор «дарить» — к трехместным («Отец дарит книгу сыну»).
Предложения — это имена для выражений языка, в которых нечто утверждается или отрицается. По своему логическому значению они выражают истину либо ложь.
Заключение
Функции естественного языка многочисленны и многогранны. Язык — средство повседневного общения людей, средство общения в научной и практической деятельности. Язык позволяет передавать и получать накопленные знания, практические умения и жизненный опыт от одного поколения к другому, осуществлять процесс обучения и воспитания подрастающего поколения. Языку свойственны и такие функции: хранить информацию, быть средством выражения эмоций, быть средством познания.
Из данной курсовой работы ясно, что язык является знаковой информационной системой, продуктом духовной деятельности человека. Логика и язык тесно, неразрывно взаимосвязаны.
Список использованной литературы
1. огика, или Искусство мыслить. М.: Наука, 1981.
2. , , Краткий словарь по логике. М.: Просвещение, 1991.
3. Искусство правильно мыслить. М.: Просвещение, 1991.
4. По законам логики. М.: 1983.
Приложения
Приложение
Разновидности семантических категорий
РЕЦЕНЗИЯ НА КУРСОВУЮ РАБОТУ
ПО ДИСЦИПЛИНЕ:
«Логика и теория аргументации»
По теме:
«Логика и язык»
Студентки Аношиной Анны Яковлевной
Курсовая работа содержит пояснительную записку на 29 листах (с приложениями). Курсовая работа по содержанию разделов, глубине их проработки и объему соответствует требованиям к курсовой работе.
ОСНОВНЫЕ ДОСТОИНСТВА И НЕДОСТАТКИ КУРСОВОЙ РАБОТЫ
1 Актуальность, значимость темы в теоретическом и практическом плане
В курсовой работе дано обоснование актуальности исследуемой темы. Рассмотрены основные аспекты языка в логике, разобраны функции и особенности.
2 Краткая характеристика структуры курсовой работы
Работа состоит из Введения, двух глав, заключения, списка литературы и приложения. Глава 1 посвящена конкретно понятию логики, как науки, а также раскрыта сущность языка. В главе 2 рассматривается функции языка
5 Недостатки курсовой работы (по содержанию и оформлению)
Присутствуют некоторые стилистические погрешности, отдельные пункты теоретической части раскрыты недостаточно подробно. Возможны пунктуационные ошибки.
6. Особые замечания, пожелания и предложения:
Расширить выборку, сделать ее в большей степени соответствующей популяционной с тем, чтобы уточнить полученные результаты и степень их достоверности.
Курсовая работа отвечает предъявляемым к ней требованиям.
Предварительная оценка -
Научный руководитель:
Дата: «21» января 2016 г. Подпись: ___________________
