modal logic), область логики (логика формальная), изучающая умозаключения, содержащие понятия необходимости и возможности. К осн. принципам М.л. относятся, напр., такие: если нечто необходимо, то оно и дано; если нечто дано, то оно возможно; соответственно то, что с необходимостью следует из необходимого, само необходимо. Однако за пределами общепринятых принципов открывается широкое пространство для дискуссии о том, какие именно способы умозаключения адекватно отражают наше интуитивное понимание возможности и необходимости. Разработано неск. разл. систем модального рассуждения.
1.48 мб