Учебно-методический комплекс по дисциплине log 1111 «Логика» для специальностb
жүктеу/скачать 274 Kb.
|
Логика
- Бұл бет үшін навигация:
- 1.9 Политика и процедура (требования, предъявляемые студентам в процессе изучения курса)
- 2.УЧЕБНО-МЕТОДИЧЕСКИЕ МАТЕРИАЛЫ ПО ДИСЦИПЛИНЕ Всего кредитов - 2 2.1Тематический план курса
- Тематический план курса для заочного отделения (приложение)
- 2.2 Тезисы лекционных занятий Тема 1. Предметлогики. Мышление и язык. Семиотические категории логики.
1.9 Политика и процедура (требования, предъявляемые студентам в процессе изучения курса) отражают административные требования, предъявляемые студентам в процессе изучения дисциплины: студент обязан посещать занятия; не опаздывать на занятия; отключать сотовый телефон во время занятий; не разговаривать во время занятий на посторонние темы; не пропускать занятия; активно участвовать в учебном процессе; старательно выполнять домашнее задания. 2.УЧЕБНО-МЕТОДИЧЕСКИЕ МАТЕРИАЛЫ ПО ДИСЦИПЛИНЕ Всего кредитов - 2 2.1Тематический план курса
Тематический план курса для заочного отделения (приложение)
2.2 Тезисы лекционных занятий Тема 1. Предметлогики. Мышление и язык. Семиотические категории логики. Логика - в наиболее широком понимании ее предмета – исследует структуру мышления, раскрывает лежащие в его основе закономерности. Мышление человека находится в неразрывной связи с языком. Абстрактная человеческая мысль не могла бы реализоваться, если бы не было необходимого для нее средства выражения, которым является язык. Языковые выражения являются той реальностью, строение и способ употребления которой дает нам знание не только о содержании мыслей, но и об их формах, о законах мышления. Поэтому в исследовании языковых выражений и отношений между ними логика видит одну из своих основных задач. Ключ к пониманию принципов анализа и построения различных языков дает общая теория знаков и знаковых систем – семиотика. Семиотика рассматривает язык (естественный и искусственный) как систему знаков, связанных определенными, четко фиксируемыми отношениями. В качестве основных выделяют три вида отношений: синтаксические, семантические и прагматические. Синтаксические отношения – это отношение между знаками, которые фиксируются в способах и правилах образования и преобразования языковых выражении. Семантические отношения знаковой системы носят иной характер. Они возникают между знаками и тем, что знаки обозначают, и фиксируются правилами приписывания значения и смысла языковым выражениям. Прагматические отношения – это отношения, возникающие между потребителем знаковой системы и самой знаковой системой. Этот вид отношения пока почти не используется формальной логикой, поэтому ниже мы будем вести речь о логическом анализе языка на уровне синтаксиса и семантики. Семантико – синтаксический подход позволяет выделить в языке некоторые структурные единицы, что лает возможность разбить все выражения языка на классы таким образом, что замена одного выражения другим из того же класса не делает осмысленной текст бессмысленным, однако замена одного выражения другим при из принадлежности к разным классам превращает осмысленный текст в бессмысленный. Рассмотрим обоснованность такой классификации на следующем примере. Пусть имеется арифметическое выражение «3+2=5». Оно является осмысленным, притом истинным, выражением. Выражение будет осмысленным, хотя и станет ложным, если цифру «2» заменить любой другой цифрой: «3+3=5», «3+0=5» и т.д. Однако оно перестанет быть осмысленным, а вместе с тем не будут истинным, ни ложным, если вместо «2» поставить, например, знак «:» или «х»: «3+:=5», «3+х=5». Классы таких взаимозаменяемых выражений называются семиотическими категориями логики. Основными из них являются высказывания, имена и функторы. Высказывание (в двузначной логике) – это предложение, выражающая мысль, которая является либо истинной, либо ложной. Истинность и ложность являются логическими значениями высказывания. Например, логическим значением высказываний «Луна-спутник Земли» и «Все моря имеют соленую воду» является истинность, а высказывание «Солнце – не звезда» и «4 меньше 3» - ложность. Вопросительные и побудительные предложения не являются высказываниями, так как они не обладают указанными логическими значениями. Имя – это слово или словосочетание, обозначающий какой – либо предмет мысли и используемое в качестве логического подлежащего или логического сказуемого в высказываниях типа «А есть В». Природа предмета, обозначенного именем, может быть различна: это могут быть вещи, их свойства или отношение к другим вещам, их имена, действия, процессы, научные абстракции и т.д. Функтор – выражение, которое на основе других выражении, называемых аргументами, образует новое, более сложное осмысленное выражение. Можно выделить самые разные виды функторов на основании: а) семиотической категории выражения, образуемого с помощью функтора; б) числа аргументов; в) семиотической категории аргументов. Так, функтор «неверное, что» может быть охарактеризован как одноаргументный функтор, с помощью которого образуются высказывания из аргументов – высказываний. Например: «неверно, что прогноз погоды на сентябрь подтвердился». «Если, то» - двухаргументный функтор, с помощью которого образуются высказывания из других высказываний. Например: «Если загорается красный сигнал светофора, то движение останавливается». К этому же виду относятся функторы «и», «или», «либо, либо» и др. Вместе с функтором «неверное, что» они называются логическими союзами (связками), так как служат для связи и преобразования высказываний и имен. Такое например, выражение, как «замерзает», - это одноаргументный функтор, с помощью которого образуется высказывания; в качестве аргументов здесь выступают имена. Среди функторов особое место принадлежит именным функциям, пропозициональным функциям и операторам. Именная функция – это выражение, содержащее переменные и превращающиеся в имя при подстановке вместо переменных соответствующих аргументов. Например: «х - меди», «граница государства n». Эти выражения – именные функции. Они превращаются в имена, если вместо переменных «х», «а», «n» подставить соответственно такие, например, аргументы: «окись», «2», «Урарту». Пропозициональная функция – это выражение, содержащее переменные и превращающееся в высказывание при подстановке вместо переменных соответствующих аргументов. Примерами пропозициональных функций могут служить: а) «Если p, то g». Это выражение превращается в высказывание, если вместо p и g поставить например, высказывания: “Телу придана скорость 7,9 километра в секунду”, “Тело становиться спутником Земли”; б) «х открыл Америку». Это выражение превращается в высказывание, если вместо х подставлять имена людей: «Колумб открыл Америку», «Магеллан открыл Америку»; в) «В том году в Поволжье была сильная засуха». Здесь роль переменной выполняет местоимение «том», и, пока в место него не подставлено наименование какого – то года, нельзя сказать, выражает это предложение истинную или ложную мысль. Пропозициональная функция, аргументами которой является имена, называется предикатом. Предикат можно превратить в высказывание не только подстановкой имен вместо переменных. Например, предикат «х открыл Америку» превращается в высказывание, если ему предпослать выражение «для некоторого х верно, что» или «для всякого х верно, что». В первом случае мы получим истинное, а во втором – ложное высказывание. Выражение «для некоторого х верно, что» или «существует х» называется квантором существования и обозначается Х. При введении переменных устанавливается (иногда неявно), какого рода постоянные – конкретные имена, высказывания, функторы – можно представлять вместо тех или иных переменных. Постоянные которые можно подставлять вместо переменной, называются значениями этой переменной, а множество таких постоянных – областью значении переменной. (Значениями переменной часто называют предметы, обозначаемые постоянными, а областью значении переменой – множество таких предметов); Различаются: а) пропозициональные переменные, т.е. переменные, значениями которых являются высказывания p, q, r, …, p1, q1, r1, …; б) индивидные переменные, т.е. переменные, значениями которых являются имена индивидуальных предметов x, y, z, …, x1, y1, z1, …; в) предикатные переменные, т.е. переменные, значениями которых являются имена свойств и отношений P, Q, R, .., P1, Q1, R1, … Переменные относятся к тем семантическим категориям, к которым принадлежат и постоянные, являющиеся значениями этих переменных. Кроме кванторов общности и существования, имеются и другие выражения объединяются одним общим названием – «операторы». Например, выражение «множество таких х, что» называется оператором абстракции, выражение «тот, х который» - оператором дескрипции. Термин «логика» происходит от греческого слова logos, что значит «мысль», «слово», «разум», «закономерность», и используется для обозначения как совокупности правил, которым подчиняется процесс мышления, отражающий действительность, так и науки о правилах рассуждения и тех формах, в которых оно осуществляется. Мы будем использовать термин «логика» в указанных двух смыслах. Кроме того, данный термин применятся для обозначения закономерностей объективного мира («логика вещей», «логика событий»). Этот смысл термина «логика» выходит за пределы нашей изучается не только логикой, но и рядом других наук: психологией, кибернетикой, педагогикой и т. д., при этом каждая из них изучает мышление в определенном, присущем ей аспекте. Так, психология исследует мышление со стороны его побудительных мотивов, выявляет индивидуальные особенности мышления. Кибернетику интересуют аспекты мышления, которые связаны с быстрой и эффективной обработкой информации с помощью ЭВМ, взаимосвязь мышления и языка (естественного и искусственного), методы и приемы программирования, проблемы математического обеспечения ЭВМ и др. Педагогика изучает мышление со стороны осуществления процесса познания в ходе обучения и воспитания подрастающего поколения. Физиологию высшей нервной деятельности интересуют физиологические основы мышления: процессы возбуждения и торможения, происходящие в человеческом мозге как органе мышления. С иных позиций изучает мышление логика. Она исследует мышление как средство познания объективного мира, те его формы и законы, в которых происходит отражение мира в процессе мышления. Поскольку процессы познания мира в полном объеме изучаются философией, логика является философской наукой. Основная литература: [2, 18, 4, 8, 9] Дополнительная литература: [3, 5, 6, 9] жүктеу/скачать 274 Kb. Достарыңызбен бөлісу:
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||