Семантика логики

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