Предметом изучения логики являются формы и законы правильного мышления. Мышление есть функция человеческого мозга, которая неразрывно связана с языком.
Язык – средство повседневного общения людей, средство общения в практической и научной деятельности. Языку свойственны и такие функции: хранить информацию, быть средством выражения эмоций, быть средством познания. Язык является знаковой информационной системой, продуктом духовной деятельности человека. Накопленная информация передается с помощью знаков (слов) языка.
Речь может быть устной или письменной, звуковой или незвуковой, внешней или внутренней, выраженной с помощью естественного или искусственного языка.
На базе естественных наук возникли искусственные языки науки. К ним принадлежат языки математики, символической логики, химии, физики.
Имя – это слово или словосочетание, обозначающее какой-либо определенный предмет. Предмет в данном случае понимается в широком смысле: это вещи, свойства, отношения, процессы, явления как природы, так и общественной жизни, психической деятельности людей, продуктов их воображения и результатов абстрактного мышления.
Имена делятся на:
1) простые
2) сложные или описательные
3) собственные, т. е. имена отдельных людей, предметов или событий
4) общие
Каждое имя имеет значение или смысл. Значением или смыслом имени является способ, которым имя обозначает предмет, т. е. информация о предмете, содержащаяся в имени.
В логике различают выражения, которые являются именными функциями, и выражения, являющиеся пропозициональными функциями.
Именная функция – это выражение, которое при замене переменных постоянными превращается в обозначение предмета.
Пропозициональной функцией называется выражение, содержащее переменную и превращающееся в истинное или ложное высказывание при постановке вместо переменной имени предмета из определенной системной области.
При логическом анализе язык рассматривается как знаковая система.
Знак – это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо объекта.
Можно выделить знаки следующего вида:
1) знаки-индексы;
2) знаки-образцы;
3) знаки-символы.
Логика исследует знаки последнего вида. Знаки-символы не связаны причинно и не сходны с представляемыми ими объектами.
3. СЕМАНТИЧЕСКИЕ КАТЕГОРИИ ЛОГИКИ.
Логическая структура – способ связи составных частей мысли.
Семантическая категория – устойчивый смысловой элемент какой-либо формальной (математика, язык) системы, но в пределах которого возможна взаимозаменяемость единиц одного характера без потери осмысленности выражения.
Семантические категории:
1.имя – слово, словосочетание или какая-либо другая конструкция, указывающая на предмет. Предметное значение.
2.высказывание – мысль, выраженная в утвердительной или отрицательной форме, некая конструкция, в которой что-либо утверждается. Значение истинности – главная характеристика. Три высказывания: истина, ложь, неопределенность.
3.логический термин – смысловая константа, играющая связующую роль в рассуждении.
Союзы:
1.логические соединения – «конъюнкция ^», «и, а, но, да»,
2.разделение – «дизъюнкция»
3.условие – импликация –
4.равенство – эквиваленция –
5.отрицание –
квантор – выражение, выделяющее характер суждения.
Квантор общности (все, каждый, любой, ни один).
Квантор существования (некоторые, многие, существует)
Определение правильно построенной формулы:
а) пропозициональный символ является ППФ;
б) если А и В — ППФ, то А, (В Ù С), (В Ú С), (А É В), (А º B) — ППФ;
в) ничто иное не является ППФ.
Дата добавления: 2014-12-18; просмотров: 151 | Поможем написать вашу работу | Нарушение авторских прав |