Логика и язык
Взаимосвязь логики и языка. Функции языка. Языковые знаки и виды речи. Значение и смысл имени. Семантические категории. Виды предложений и высказываний. Логические константы: конъюнкция, дизъюнкция, отрицание, импликация, эквиваленция, кванторы.
Рубрика | Философия |
Вид | реферат |
Язык | русский |
Дата добавления | 01.05.2009 |
Размер файла | 217,4 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
17
Содержание
1. Логика и язык
2. Функции языка
3. Семантические категории
Список используемой литературы
Приложение
1. Логика и язык
Предметом изучения логики являются формы и законы правильного мышления. Мышление есть функция человеческого мозга. Труд способствовал выделению человека из среды животных, явился фундаментом в возникновении у людей сознания (в том числе мышления) и языка. Мышление неразрывно связано с языком. Язык, по выражению К. Маркса, есть непосредственная действительность мысли. В ходе коллективной трудовой деятельности у людей возникла потребность в общении и передаче своих мыслей друг другу, без чего была невозможна сама организация коллективных трудовых процессов.
Функции естественного языка многочисленны и многогранны. Язык -- средство повседневного общения людей, средство обще-ния в научной и практической деятельности. Язык позволяет передавать и получать накопленные знания, практические умения и жизненный опыт от одного поколения к другому, осуществлять процесс обучения и воспитания подрастающего поколения. Языку свойственны и такие функции: хранить информацию, быть средством выражения эмоций, быть средством познания.
Язык является знаковой информационной системой, продуктом духовной деятельности человека. Накопленная информация передается с помощью знаков (слов) языка. [4, c. 47-48]
Речь может быть устной или письменной, звуковой или незвуковой (как, например, у глухонемых), речью внешней (для других) или внутренней, речью, выраженной с помощью естественного или искусственного языка. С помощью научного языка, в основе которого лежит естественный язык, сформулированы положения философии, истории, географии, археологии, геологии, медицины (использующей наряду с «живыми» национальными языками и ныне «мертвый» латинский язык) и многих других наук.
Язык -- это не только средство общения, но и важнейшая составная часть культуры всякого народа.
На базе естественных языков возникли искусственные языки науки. К ним принадлежат языки математики, символической логики, химии, физики, а также алгоритмические языки программирования для ЭВМ, которые получили широкое применение в современных вычислительных машинах и системах. Языками программирования называются знаковые системы, применяемые для описания процессов решения задач на ЭВМ. В настоящее время усиливается тенденция разработки принципов «общения» человека с ЭВМ на естественном языке, чтобы можно было пользоваться компьютерами без посредников--программистов.
Знак -- это материальный предмет (явление, событие), выступающий в качестве представителя некоторого другого предмета, свойства или отношения и используемый для приобретения, хранения, переработки и передачи сообщений (информации, знаний). [6, c. 98-99]
Знаки подразделяются на языковые и неязыковые. К неязыковым знакам относятся знаки-копии (например, фотографии, отпечатки пальцев, репродукции и др.), знаки-признаки, или знаки-показатели (например, дым -- признак огня, повышенная температура тела -- признак болезни), знаки-сигналы (например, звонок -- знак начала или окончания занятия), знаки-символы (например, дорожные знаки) и другие виды знаков. Существует особая наука -- семиотика, которая является общей теорией знаков. Разновидностями знаков являются языковые знаки. Одна из важнейших функции языковых знаков состоит в обозначении ими предметов. Для обозначения предметов служат имена.
Имя -- это слово или словосочетание, обозначающее какой-либо определенный предмет. (Слова «обозначение», «именование», «название» рассматриваются как синонимы.) Предмет здесь понимается в весьма широком смысле: это вещи, свойства, отношения, процессы, явления и т. п. как природы, так и общественной жизни, психической деятельности людей, продуктов их воображения и результатов абстрактного мышления. Итак, имя всегда есть имя некоторого предмета. Хотя предметы изменчивы, текучи, в них сохраняется качественная определенность, которую и обозначает имя данного предмета. [2, c. 102]
Имена делятся на:
1) простые («книга», «снегирь», «опера») и сложные, или описательные («самый большой водопад в Канаде и США», «планета Солнечной системы»). В простом имени нет частей, имеющих самостоятельный смысл, в сложном они имеются;
2) собственные, т. е. имена отдельных людей, предметов, со-бытий («П. И. Чайковский», «Обь»), и общие (названия класса однородных предметов), например «дом», «действующий вулкан». [2, c. 103]
Каждое имя имеет значение и смысл. Значением имени является обозначаемый им предмет.
Смысл (или концепт) имени -- это способ, каким имя обозна-чает предмет, т. е. информация о предмете, которая содержится в имени. Поясним это на примерах. Один и тот же предмет может иметь множество разных имен (синонимов). Так, например, знаковые выражения «4», «2+2», «9--5» являются именами одного и того же предмета: числа 4. Разные выражения, обозна-чающие один и тот же предмет, имеют одно и то же значение, но разный смысл (т. е. смысл выражений «4», «2+2» и «9 -- 5» раз-личен).
Приведем другие примеры, разъясняющие, что такое значение и смысл имени. Такие знаковые выражения, как «великий русский поэт Александр Сергеевич Пушкин (1799--1837)», «автор романа в стихах «Евгений Онегин», «автор стихотворения, обращенного к Анне Петровне Керн, «Я помню чудное мгновенье», «поэт, смертельно раненный на дуэли с Ж. Дантесом», «автор истори-ческой работы «История Пугачева» (1834)», имеют одно и то же значение (они обозначают поэта А. С. Пушкина), но различный смысл. [6, c. 28-30]
Такие языковые выражения, как «самое глубокое озеро мира», «пресноводное озеро в Восточной Сибири на высоте около 455 метров», «озеро, имеющее свыше 300 притоков и единственный исток -- реку Ангару», «озеро, глубина которого 1620 метров», имеют одно и то же значение (озеро Байкал), но различный смысл, поскольку эти языковые выражения представляют озеро Байкал с помощью различных его свойств, т. е. дают различную информацию о Байкале.
Соотношение трех понятий: «имя», «значение», «смысл» -- схематически можно изобразить таким образом (рис. 1).
Рис.1 Соотношение понятий: «имя», «значение», «смысл»
Эта схема пригодна, если имя является не только собствен-ным, т. е. приложимым к одному предмету (число 4, А. С. Пушкин, Байкал), но и общим (например, «человек», «озеро»). Тогда вместо единичного предмета значением имени будет класс однородных предметов (например, класс озер или класс собак и т. д.) и схема останется в силе при данном уточнении, при этом вместо смысла будет содержание понятия. [6, c. 105]
2. Функции языка
В логике различают выражения, которые являются именными функциями, и выражения, являющиеся пропозициональными фу-нкциями. Примерами первых являются «х2+1», «отец у», «раз-ность чисел z и 5»; примерами вторых являются: «х -- поэт», «7+у=10», « х >у--7». Рассмотрим эти два вида функций.
Именная функция -- это выражение, которое при замене пере-менных постоянными превращается в обозначение предмета. Возьмем именную функцию «отец у». Подставив вместо у имя «писатель Жюль Верн», получим «отец писателя Жюля Верна» -- имя предмета (в данном случае имя человека). [3, c. 82]
Именная функция -- это такое выражение, которое не являет-ся непосредственно именем ни для какого предмета и нуждается в некотором восполнении для того, чтобы стать именем пред-мета. Так, выражение х2 -- 1 не обозначает никакого предмета, но если мы его «восполним», подставив, например, на место х имя числа 3 (обозначающее это число цифру), то получим выражение З2 -- 1, которое является уже именем для числа 8, т. е. для некото-рого предмета. Аналогично выражение х2 + у2 не обозначает никакого предмета, но при подстановке на место х и у каких-нибудь имен чисел, например «4» и «1», превращается в имя числа 17. Такие нуждающиеся в восполнении выражения, как х2-- 1, х2 + у2, и называют функциями: первая -- от одного, вто-рая -- от двух аргументов.
Пропозициональной функцией называется выражение, содержа-щее переменную и превращающееся в истинное или ложное высказывание при подстановке вместо переменной имени пред-мета из определенной предметной области. [1, c. 57]
Приведем примеры пропозициональных функций: «z -- го-род»; «х есть космонавт»; «у-- четное число»; «х + у = 10»; «х3-1 = 124».
Пропозициональные функции делятся на одноместные, содер-жащие одну переменную, называемые свойствами (например, «х -- композитор», «х--7 = 3», «z -- гвоздика»), и содержащие две и более переменных, называемые отношениями (например, «х > у»; «х--z = 16»; «объем куба х равен объему куба у »).
Возьмем в качестве примера пропозициональную функцию «х -- нечетное число» и, подставив вместо х число 4, получим высказывание: «4 -- нечетное число», которое ложно, а подставив число 5, получим истинное высказывание: «5 -- нечетное число».
Разъясним это на некоторых конкретных примерах. Необ-ходимо указать, какие из приведенных выражений являются именными функциями и какие пропозициональными; определить их местность, т. е. число входящих в выражение переменных, и получить из них имена или предложения, выражающие суждения (истинные или ложные):
а) «разность чисел 100 и х». Это именная одноместная функ-ция; например, 100 -- 6 есть имя предмета, имя числа 94;
б) «х2+у». Это именная двухместная функция; при подста-новке вместо х числа 5 и вместо у числа 7 превращается в имя предмета, имя числа 32;
в) «у -- известный полководец». Это пропозициональная од-номестная функция; при подстановке вместо у имени «Александр Васильевич Суворов, родившийся 24 ноября 1730 г.» получим истинное суждение: «Александр Васильевич Суворов, родивший-ся 24 ноября 1730 г., -- известный полководец», выраженное в форме повествовательного предложения;
г) «z является композитором, написавшим оперы х и у». Это пропозициональная трехместная функция; превращается в лож-ное суждение при подстановке вместо z имени «Бизе», вместо х -- «Аида», а вместо у -- «Травиата», т. е. суждение «Визе яв-ляется композитором, написавшим оперы «Аида» и «Травиата», выраженное в форме повествовательного предложения. [4, c. 83-85]
Понятие пропозициональной функции широко используется в математике. Все уравнения с одним неизвестным, которые школьники решают начиная с первого класса, представляют со-бой одноместные пропозициональные функции, например х+2=7, 10--х = 4. Неравенства, содержащие одну или несколько переменных, также являются пропозициональными функциями. Например, х<7 или х2--у>0.
3. Семантические категории
Выражения (слова и словосочетания) естественного языка, имеющие какой-либо самостоятельный смысл, можно разбить на так называемые семантические категории, к которым относятся:
1) предложения: повествовательные, побудительные, вопроси-тельные;
2) выражения, играющие определенную роль в составе предложений: дескриптивные и логические термины. [7, c. 129]
Суждения выражаются в форме повествовательных предложе-ний (например, «Киев -- город», «Корова -- млекопитающее»). В этих суждениях субъектами соответственно являются «Киев», «корова», а предикатами -- «город», «млекопитающее».
К дескриптивным (описательным) терминам относятся:
1. Имена предметов -- слова или словосочетания, обознача-ющие единичные (материальные или идеальные) предметы («Аристотель», «первый космонавт», «7») или классы однород-ных предметов (например, «пароход», «книга», «стихотворение», «засуха», «гвардейский полк» и др.).
В суждении «Енисей -- река Сибири» встречаются три имени предмета: «Енисей», «река», «Сибирь». Имя предмета «Енисей» выполняет роль субъекта, а имена «река» и «Сибирь» входят в предикат («река Сибири») как его две составные части.
2 Предикаторы-- слова и словосочетания, обозначающие свойства предметов или отношения между предметами (напри-мер, «порядочный», «синий», «электропроводный», «есть город», «меньше», «есть число», «есть планета» и др.). Предикаторы бывают одноместные и многоместные. Одноместные предикато-ры обозначают свойства (например, «талантливый», «горький», «большой»). Многоместные предикаторы обозначают (выража-ют) отношения. Двухместными предикаторами являются: «ра-вен», «больше», «мать», «помнит» и др. Например, «Площадь земельного участка А равна площади земельного участка В», «Мария Васильевна -- мать Сережи». Пример трехместного предикатора: «между» (например, «Город Москва расположен между городами Санкт-Петербург и Ростов-на-Дону»).
3. Функциональные знаки -- выражения, обозначающие предметные функции, операции («ctg ?», «+», «V-» и др.).
Кроме того, в языке встречаются так называемые логические термины (логические постоянные, или логические константы). [4, c. 172]
В естественном языке имеются слова и словосочетания: «и», «или», «если... то», «эквивалентно», «равносильно», «не», «невер-но, что», «всякий» («каждый», «все»), «некоторые», «кроме», «то-лько», «тот... который», «ни... ни», «хотя... но», «если и только если» и многие другие, выражающие логические константы (по-стоянные).
В символической (или математической) логике в качестве таких констант обычно используются конъюнкция, дизъюнкция, отрицание, импликация, эквиваленция, кванторы общности и су-ществования и некоторые другие.
В символической логике логические термины (логические по-стоянные) выражаются следующим образом:
Конъюнкция соответствует союзу «и». Конъюнктивное выска-зывание обозначается, или, или (например, «Закон-чились лекции (а), и студенты пошли домой (b)») .
Дизъюнкция соответствует союзу «или». Дизъюнктивное суж-дение обозначается: (нестрогая дизъюнкция) и (строгая дизъюнкция); отличие их в том, что при строгой дизъюнкции сложное суждение истинно только в том случае, когда истинно одно из составляющих суждений, но не оба, а при нестрогой дизъюнкции истинными могут быть одновременно оба суждения. «Он шахматист или футболист» обозначается как «Сейчас Петров находится дома или в институте» обозначается как:
Импликация соответствует союзу «если... то». Условное суж-дение обозначается: или (например, «Если будет хорошая погода, то мы пойдем в лес»).
Эквиваленция соответствует словам «если и только если»,
«тогда и только тогда, когда», «эквивалентно». Эквивалентное высказывание обозначается , или , или
Отрицание соответствует словам «не», «неверно, что». От-рицание высказывания обозначается (например, «падает снег» (а); «неверно, что падает снег» .
Квантор общности обозначается и соответствует кванто-вым словам «все» («всякий», «каждый», «ни один»). *-- запись в математической логике (например, в суждении «Все красные мухоморы ядовиты» кванторное слово «все»). [2, c. 82]
Квантор существования обозначается 3 и соответствует сло-вам «некоторые», «существует». --запись в математичес-кой логике (например, в суждениях «Некоторые люди имеют высшее образование» или «.Существуют люди, которые имеют высшее образование» кванторные слова выделены курсивом).
Выразим в форме схемы разновидности семантических кате-горий (рис. 2).
Рис.2 Разновидности семантических категорий
Список используемой литературы
1. Арно А., Николь П. Логика, или Искусство мыслить. М.: Наука, 1981.
2. Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике. М.: Просвещение, 1991.
3. Ивин А. А. Искусство правильно мыслить. М.: Просвещение, 1991.
4. Ивин А. А. По законам логики. М.: 1983.
5. Кириллов В. И. Упражнения по логике. М.: 1994.
6. Ковальски Р. Логика в решении проблем. М.: Наука, 1991.
7. Поварнин С. И. Искусство спора. М.: 1995.
Приложение
Примеры.
1. Определить дескриптивные и логические термины в сужде-нии: «Все организмы являются одноклеточными или многоклеточными». В этом суждении дескриптивными терминами явля-ются: «организм», «многоклеточный организм», «одноклеточный организм», а логическими терминами: «все», «или».
2. Определить, к каким семантическим категориям относятся следующие выражения:
а) листья, упавшие на землю (дескриптивный термин, имя предмета);
б) листья упали на землю (сужде-ние, выраженное в форме повествовательного предложения);
в) на всякое погруженное в жидкость тело действует выталкива-ющая сила (суждение, выраженное в форме повествовательного предложения);
г) вы пойдете сегодня в библиотеку? (вопросительное предложение, не содержащее суждения);
д) брат Ивана (дескриптивный термин, имя предмета).
Покажем, каким образом, используя семантические катего-рии, можно выявлять логическую структуру мыслей. Ниже приводятся четыре сложных суждения, структуру которых надо выразить в виде формул, используя введенные логические термины.
1. Если у меня будет свободное время (а) и я сдам экзамены по педагогике (b) и психологии (с), то я поеду отдыхать в Крым (d) или на Кавказ (е).
Формула:
Здесь буква а обозначает суждение: «У меня будет свободное время»; буква b -- суждение: «Я сдам экзамен по педагогике»; буква с -- суждение: «Я сдам экзамен по психологии»; буква d-- «Я поеду отдыхать в Крым»; буква е -- «Я поеду отдыхать на Кавказ».
2. «Если человек с детства и юности своей не давал нервам властвовать над собой, то они не привыкнут раздражаться и будут ему послушны» (К. Д. Ушинский).
Формула:
Здесь буква а обозначает суждение: «Человек с детства давал нервам властвовать над собой». А так как у нас имеется отрица-ние («не давал»), то запишем
3. «И добродетель стать пороком может, когда ее неправиль-но приложат» (В. Шекспир).
Чтобы выявить структуру этого суждения, надо сначала четко выявить основание и следствие, а для этого данное суждение следует привести к четкой логической форме: «Если добродетель неправильно приложат (а), то она может стать пороком (b)».
Формула:
4. «Если ребенок вырастил розу для того, чтобы любоваться ее красотой, если единственным вознаграждением за труд стало наслаждение красотой и творение этой красоты для счастья и радости другого человека, -- он не способен на зло, подлость, цинизм, бессердечность» (В. А. Сухомлинский).
Формула:
Задачи к теме «Предмет и значение логики»
I. Укажите предметное (денотат) и смысловое (концепт) значения выражений: космонавт, металл, автор комедии в стихах «Горе от ума», орденоносец, писатель, участник Великой Отечественной войны.
II. Укажите, какие из приведенных выражений являются имен-ными функциями и какие пропозициональными; определите их местность (одноместная, или двухместная, или трехместная) и получите из них имена или предложения, выражающие выска-зывания (суждения), -- истинные или ложные.
1. Человек х рыжеволос.
2. Разность чисел 15 и z.
3. Сумма х3 +у3.
4. х -- современное государство.
5. Ученый у современник ученого z.
6. Натуральное число z больше 100.
7. Река х впадает в море у.
8. х, деленное на 4 без остатка.
9. х2-у2<7.
10. х и у -- братья.
11. Город х расположен между городами у и г.
12. Крупные художники х и z, жившие в XVIII в.
III. Определите, к каким семантическим категориям относятся следующие выражения:
а) собака лает;
б) громко лающая собака;
в) самая высокая горная вершина мира;
г) песня, раздающаяся в ночной тишине;
д) песня раздалась в ночной тишине;
е) исполнительница народных песен;
ж) некоторые фигуры плоские;
з) автоматизированная система управления.
IV. Придумайте или найдите в литературе 2--3 сложных сужде-ния, содержащих 5--6 простых суждений, и запишите их струк-туру при помощи символов.
V. Выразите в символической форме следующие сложные сужде-ния:
1. Если встать рано на рассвете и пойти в сад или парк, то можно услышать чудесные песни птиц.
2. Если данный четырехугольник -- ромб, то диагонали его взаимно перпендикулярны и делят углы пополам.
3. «Видеть несправедливость и молчать -- это значит самому участвовать в ней» (Ж.-Ж. Руссо).
4. Если вы любите детей, полны жажды познания, имеете доброе сердце, мечтаете посвятить себя интересному творчес-кому труду, то смело выбирайте профессию учителя.
5. «Если больному после разговора с врачом не становится легче, то это не врач» (В. М. Бехтерев).
6. Добро не умрет, а зло пропадет.
7. Овца руно растит, а скупой деньгу копит -- не про себя.
8. Не будет и скуки, как заняты руки.
9. Если Петр проходил мимо работающих, он тотчас же брался помогать: или пройдет ряда два с косой, или навьет воз, или срубит дерево, или порубит дров.
10. «Если верный конь, поранив ногу, Вдруг споткнулся, а потом опять, Не вини коня, вини дорогу,
И коня не торопись менять».
Подобные документы
Понятия по объему и по содержанию. Правила определения и деления понятий в логике. Логические отношения между совместимыми и несовместимыми понятиями. Виды сложных суждений: конъюнкция, дизъюнкция, импликация, эквиваленция. Виды фигур силлогизма.
контрольная работа [175,6 K], добавлен 01.02.2016Аксиоматическое построение математической теории. Основная идея математической логики. Основные принципы операций: отрицание, конъюнкция, дизъюнкция, импликация и эквивалентность логических высказываний. Неформальный аксиоматический метод логики.
реферат [32,9 K], добавлен 14.12.2012Ощущение, восприятие и представление как формы чувственного познания. Особенности и законы абстрактного мышления, взаимосвязь его форм: понятия, суждения и умозаключения. Основные функции и состав языка, специфика языка логики. История логики как науки.
контрольная работа [30,3 K], добавлен 14.05.2011Мышление и язык. Естественные и искусственные языки. Логика формальная и диалектическая. Истинность мышления и формальная правильность рассуждения. Символика для обозначения структуры мысли: постоянные, переменные, логические связки (союзы).
контрольная работа [43,7 K], добавлен 15.12.2007Смысл и значение логических законов. Характеристика типичных ситуаций нарушения закона тождества. Определение несуразных, ложных и истинных высказываний. Сущность единичных, общих и нулевых понятий. Виды отношений между понятиями и подбор однозначных.
контрольная работа [13,5 K], добавлен 17.03.2009Сущность мышления в системе познания, способы взаимопонимания, логика объяснения. Предмет и семантические категории традиционной формальной логики. Этапы становления логики как науки. Простое суждение и его логический анализ. Основы теории аргументации.
курс лекций [138,4 K], добавлен 02.03.2011Предмет и законы логики. Понятие логической формы. Логические категории и символы. Виды и структура суждений. Распределенность терминов в простом атрибутивном суждении. Понятие и виды умозаключений. Простой категорический силлогизм: правила, фигуры.
контрольная работа [97,0 K], добавлен 08.11.2008Отношения между понятиями. Совместимость и несовместимость. Сложное суждение. Импликация, эквиваленция, отрицание. Таблицы истинности. Умозаключение по аналогии. Виды аналогий. Пересечение (перекрещивание), подчинение (субординация), противоположность.
контрольная работа [114,0 K], добавлен 05.03.2016Логика как наука, ее сущность, формы, предмет, значение, основные разделы и этапы развития. Понятие и виды логических законов. Язык как знаковая система. Общая характеристика знаков. Понятие как вид мысли. Простые суждения, их логическая структура и виды.
шпаргалка [23,8 K], добавлен 17.05.2010Значение логики, понятие как форма мышления. Основные логические приемы формирования понятий. Единичные и общие, конкретные и абстрактные, относительные и безотносительные, положительные и отрицательные понятия. Семантическая характеристика высказываний.
контрольная работа [14,9 K], добавлен 13.05.2010