А что вы выясняете-то, когда предикатные логики со свободными переменными

Question

А что вы выясняете-то, когда предикатные логики со свободными переменными

и кванторами как способами их привязки стали появляться? Пеано, Фреге и Пирс это независимо вводили. Перевернутую А как символ придумал вроде Гильберт, у него же первая полноценная система квантифицированной первопорядковой логики, с разделением логики и металогики, объектного и метаязыков (без самих этих понятий еще разумеется). Он потом еще кванторы пытался выкинуть даже, чтобы в финитизм вернуться, для этого придумал epsilon calculus, другой способ работать с переменными.

0

13.07.2024

2 ответов

22 просмотра

Brenoritvrezorkre · Answer 1

Тут речь не про предикатные логики, если не рассматривать пропозиции как 0-местные предикаты и, возможно, многоместные предикаты без переменных (не уверен, что это может считаться пропозициями: например, "1 > 2" состоит только из символа > и двух констант, но ведь > не является логическим символом — разве что мы пытаемся ограничить число возможных символов)

Brenoritvrezorkre · Answer 2

Brenoritvrezorkre Автор вопроса

Brenoritvrezorkre
Тут речь не про предикатные логики, если не рассма...

Впрочем, когда у нас нет свободных переменных — это всё пропозиции / предложения, просто я думал насчёт чисто логических пропозициях, но не тривиальных

0

4 месяца назад

Похожие чаты

А что вы выясняете-то, когда предикатные логики со свободными переменными

2 ответов

Похожие вопросы