2.Язык и логика.Имя.

Предметом изучениялогики являются формы и законы правильного мышления.Мышлениеесть функция человеческого мозга, которая неразрывно связана с языком.

Язык– средство повседневного общения людей, средство общения в практической и научной деятельности. Языку свойственны и такие функции: хранить информацию, быть средством выражения эмоций, быть средством познания. Язык является знаковой информационной системой, продуктом духовной деятельности человека. Накопленная информация передается с помощью знаков (слов) языка.

Речь может быть устной или письменной, звуковой или незвуковой, внешней или внутренней, выраженной с помощью естественного или искусственного языка.

На базе естественных наук возникли искусственные языки науки. К ним принадлежат языки математики, символической логики, химии, физики.

Имя– это слово или словосочетание, обозначающее какой-либо определенный предмет. Предмет в данном случае понимается в широком смысле: это вещи, свойства, отношения, процессы, явления как природы, так и общественной жизни, психической деятельности людей, продуктов их воображения и результатов абстрактного мышления.

Имена делятся на:

1. простые

2) сложные или описательные

3 ) собственные, т. е. имена отдельных людей, предметов или событий

4) общие

Каждое имя имеет значение или смысл. Значением или смыслом имени является способ, которым имя обозначает предмет, т. е. информация о предмете, содержащаяся в имени.

В логике различают выражения, которые являются именными функциями, и выражения, являющиеся пропозициональными функциями.

Именная функция– это выражение, которое при замене переменных постоянными превращается в обозначение предмета.

Пропозициональной функцией называется выражение, содержащее переменную и превращающееся в истинное или ложное высказывание при постановке вместо переменной имени предмета из определенной системной области.

При логическом анализе язык рассматривается как знаковая система.

Знак– это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо объекта.

Можно выделить знаки следующего вида:

1) знаки-индексы;

2) знаки-образцы;

3) знаки-символы.

Логика исследует знаки последнего вида. Знаки-символыне связаны причинно и не сходны с представляемыми ими объектами.

3. Семантические категории логики.

Логическая структура – способ связи составных частей мысли.

Семантическая категория – устойчивый смысловой элемент какой-либо формальной (математика, язык) системы, но в пределах которого возможна взаимозаменяемость единиц одного характера без потери осмысленности выражения.

Семантические категории:

1.имя – слово, словосочетание или какая-либо другая конструкция, указывающая на предмет. Предметное значение.

2.высказывание – мысль, выраженная в утвердительной или отрицательной форме, некая конструкция, в которой что-либо утверждается. Значение истинности – главная характеристика. Три высказывания: истина, ложь, неопределенность.

3.логический термин – смысловая константа, играющая связующую роль в рассуждении.

Союзы:

1.логические соединения – «конъюнкция ^», «и, а, но, да»,

2.разделение – «дизъюнкция»

3.условие – импликация –

4.равенство – эквиваленция –

5.отрицание –

квантор – выражение, выделяющее характер суждения.

Квантор общности (все, каждый, любой, ни один).

Квантор существования (некоторые, многие, существует)

Определение правильно построенной формулы:

а) пропозициональный символ является ППФ;

б) если А и В — ППФ, то ¬  А, (В Ù С), (В Ú С), (А  É В), (А  º B) — ППФ;

в) ничто иное не является ППФ.