рефераты конспекты курсовые дипломные лекции шпоры

Раздел Философия
/
Построение формализованного языка.

Реферат Курсовая Конспект

Выберите учебное заведение

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

Построение формализованного языка. - раздел Философия, Логика. Конспекты по учебнику Бочарова-Маркина, а также Ивлева + лекции Маркина 1. Задается Алфавит, Т. Е. Исходные Символы: А) Нелогические Символы...

1. Задается алфавит, т. е. исходные символы:

а) нелогические символы

б) логические символы

в) вспомогательные, технические символы

2. Задаются правила образования различных выражений языка.

а) Формулы - первый из типов правильно построенного языкового выражения формализованного языка, аналог предложения, его логическая форма.

Язык классической логики высказываний.(в нем игнорируется внутренняя структура простых высказываний)

1. Алфавит:

а) нелогические символы - пропозициональные переменные - их количество бесконечно: p, q, r, s...

б) логические символы - знаки функций истинности - пропозициональные связки: *отрицание*, &, V, *импликация*, *тождественое равенство*

в) технические символы - (,) (скобки)

2. Правила образований языковых выражений. Формулы.

а) всякая пропозициональная переменная является формулой.

б) если А - формула, то *неверно*А - тоже формула.

в) если А и В формулы, то

А&В, АVВ, А*импликация*В, А*тождественно равно*В - тоже формулы.

г) ничто другое формуолй не является.

10. Язык классической логики предикатов: алфавит, понятия терма и формулы.

Развернуть

Открыть в широком формате

– Конец работы –

Эта тема принадлежит разделу:

Логика. Конспекты по учебнику Бочарова-Маркина, а также Ивлева + лекции Маркина

Предмет логики Основные формы и приемы рационального познания Принципы... Логика одна из древнейший наук Основы логики Аристотель в до н э Главное произведение quot Органон quot...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Построение формализованного языка.

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Приемы рационального мышления.
1. Определения - процедура придания точного смысла термину (языковому выражению). 2. Классификация - процедура ступенчатого распределения предметов из класса (в подклассы).

Виды знаков.
1. Знаки-индексы связаны с репрезентируемым объектом причинно-следственной связью. Пр, дым и огонь, дым - это знак огня. 2. Знаки-копии (знаки-образы) находят

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

Принципы употребления языковых выражений.
1. Принцип однозначности. Всякое языковое выражение в определенном языковом контексте должно иметь ровно одно значение. 2. Принцип предметности. Для того, чтобы нечто сказать об объекте, н

Алфавит
а) нелогические символы - имена - a, b, c, d, a1... - параметры для предикатов P, Q, R, S...(с верхними и нижними индексами: верхний индекс - местность, нижний индекс - чтоб буквы

Правила построения языковых выражений
а) Термы - аналоги имен или именных форм. - всякая предметная константа является термой (пр. Аристотель) - всякая предметная переменная является термой (пр, x)

Производные отношения - комбинация фундаментальных отношений.
1. Противоречие (контрадикторность) - несовместимость оп истинности и по ложности. 2. Противоположность (контрарность) - несовместимость по истинности и совмеситмость по ло

Построение логической теории.
1. Построение формализованного языка. 2. Указать возможные интерпретации для нелогических символов. 3. Задать точное знач