Реферат: Логика и язык
1. Всякая пропозициональная переменная — р, q
, r, ... есть ППФ.
2. Всякая предикатная переменная, взятая с последовательностью предметных переменных или констант, число которых соответствует ее местности, является ППФ: А1 (х), А2 (х, у), А3 (х, у, z), А" (х, у,..., n), где А1 , А2 , А3 ,..., Аn — знаки метаязыка для предикаторов.
3. Для всякой формулы с предметными переменными, в которой любая из переменных связывается квантором, выражения 
хА (х) и 
хА(х) также будут ППФ.
4. Если А и В — формулы (А и В — знаки метаязыка для выражения схем формул), то выражения:
А 
В,
А 
В,
А 
В,
А 
В,
┐А, ┐В
также являются формулами.
5. Любые иные выражения, помимо предусмотренных в п. 1—4,
не являются ППФ данного языка.
Заключение
Необходимая связь мышления и языка, при которой язык выступает материальной оболочкой мыслей, означает, что выявление логических структур возможно лишь путем анализа языковых выражений. Подобно тому, как к ядру ореха можно добраться лишь вскрыв его скорлупу, так и логические формы могут быть выявлены лишь, путем анализа языка.
С помощью приведенного логического языка строится формализованная логическая система, называемая исчислением предикатов. Элементы языка логики предикатов будут использованы в дальнейшем изложении для анализа отдельных фрагментов естественного языка.
Словарь терминов
Имя — это имеющее определенный смысл языковое выражение в виде отдельного слова или словосочетания, обозначающее или именующее какой-либо внеязыковой объект.
Язык — это знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми.
Список используемой литературы:
1. Берков В.Ф. Логика: Уч. – Мн: НТООО «ТетраСистемс», 1997.
2. Бойко А. П. Логика: Учебное пособие / А. П. Бойко. - М., 2002.
3. Гетманова А. Д. Учебник по логике / А. Д. Гетманова. – М,2004.
4. Иванов Е. А. Логика / Е. А. Иванов. - М., 2002.
5. Рузавин Г.И. Логика и аргументация: Уч.пос. – М: Культура и спорт, ЮНИТИ, 2000