Семантика логики
- Семантика логики изучает интерпретацию формальных и естественных языков, охватывая понятие логического следствия.
- Логики должны разъяснять значение предложений, так как их условия истинности зависят от значения.
- Семантика логики традиционно интересуется пропозициями, идеализированными предложениями, пригодными для логических манипуляций.
- «Органон» Аристотеля и его «Об интерпретации» служили основой для понимания значения логики.
- Введение количественной оценки усложнило субъектно-предикатный анализ, но возрос интерес к терминологической логике.
- Основными современными подходами к семантике формальных языков являются теоретико-модельная семантика, семантика, основанная на условии истинности, семантика, основанная на теории доказательств, и игровая семантика.
- Семантика истинностного значения была предложена для модальной логики и стандартной логики первого порядка.
- Вероятностная семантика возникла из Хартри Филда и эквивалентна семантике истинностного значения.
Полный текст статьи: