Оглавление
- 1 Логическая истина
- 1.1 Логическая истина и её свойства
- 1.2 Различие между логическими и случайными истинами
- 1.3 Аналитические истины и их особенности
- 1.4 Истинностные значения и тавтологии
- 1.5 Логическая истина и логические константы
- 1.6 Логическая истина и правила вывода
- 1.7 Логический позитивизм и его влияние
- 1.8 Неклассическая логика
- 1.9 Полный текст статьи:
- 2 Логическая истина – Arc.Ask3.Ru
Логическая истина
-
Логическая истина и её свойства
- Логическая истина — утверждение, которое истинно независимо от истинности составляющих его пропозиций.
- Логические истины типа “если p, то p” являются тавтологиями.
- Логические истины считаются аналитически истинными и обязательно истинными.
-
Различие между логическими и случайными истинами
- Логические истины верны из-за своей внутренней структуры, а не из-за фактов мира.
- Случайные истины истинны в этом мире, но могут быть ложными в других возможных мирах.
-
Аналитические истины и их особенности
- Логические истины не содержат информации о фактах.
- Существуют аналитические утверждения, которые можно превратить в логические истины заменой синонимов.
-
Истинностные значения и тавтологии
- Тавтология — утверждение, истинное при любой интерпретации его терминов.
- Тавтологии, функциональные от истинности, истинны из-за логических связок.
-
Логическая истина и логические константы
- Логические константы, включая связки и кванторы, могут быть сведены к логической истине.
- Логическая форма предложения определяется его структурой и расположением логических констант.
-
Логическая истина и правила вывода
- Понятие логической истинности связано с правилами вывода.
-
Логический позитивизм и его влияние
- Логический позитивизм пытался свести научное рассуждение к чистой логике.
- Логические позитивисты утверждали, что суждения, не поддающиеся эмпирической проверке, являются бессмыслицей.
-
Неклассическая логика
- Неклассическая логика — формальные системы, отличающиеся от стандартных логических систем.
- Цель неклассической логики — построение различных моделей логического следствия и истины.