Автор работы: Пользователь скрыл имя, 09 Ноября 2011 в 10:23, реферат
Традиционная логика является двузначной, так как в этой логике суждение имеет одно из двух значений истинности: оно либо истинно, либо ложно. В трехзначных логиках суждение имеет одно из трех значений истинности, так как оно может быть либо истинным, либо ложным, либо неопределенным. Например, суждение «На Марсе есть жизнь» в настоящее время не является ни истинным, ни ложным; оно неопределенно. Многие суждения о будущих единичных событиях являются неопределенными. Об этом писал еще Аристотель (IV в. до н. э.), когда приводил пример суждения: «Завтра необходимо будет морское сражение»1.