Логика и философия: когда суждение истинно