Утверждение, вопрос и неизвестность
Отличать проверяемое утверждение от просьбы и вопроса · Разделять ложность и недостаток сведений
В этом занятии
- Отличать проверяемое утверждение от просьбы и вопроса
- Разделять ложность и недостаток сведений
- Фиксировать время, объект и смысл высказывания
Пригодится: Уметь читать короткие условия; специальных знаний по логике не требуется.
Разберёмся перед практикой+
Утверждение, вопрос и неизвестность
Логический разбор начинается не со спора, а с уточнения сказанного. Высказыванием будем называть утверждение, для которого в заданном контексте имеет смысл спросить: истинно оно или ложно? «В этой коробке ровно три карандаша» — высказывание. «Открой коробку» — просьба: её выполняют или не выполняют, но не считают истинной.
Мы можем не знать ответа. Закрытая коробка не превращает утверждение о карандашах в ложное. В классической двузначной модели различают истинность самого утверждения и наши сведения о нём. Ответ «не установлено» описывает наше знание, а не третье значение в таблице истинности.
Контекст нужен даже короткой фразе. «Здесь холодно» без места, времени и критерия допускает разные трактовки. «В аудитории А в 10:00 термометр показывал 17 °C» проверяется точнее. Субъективные оценки не запрещены; для совместного решения стоит раскрыть, какое свойство человек оценивает и по какому правилу.
Утверждение может быть составным: «Файл сохранён и копия создана» содержит две части. Позже мы научимся связывать их формально. Сейчас полезная привычка — выписать точную фразу, источник сведений и то наблюдение, которое могло бы её проверить. Уверенный тон источника не заменяет наблюдение.
На двери написано: «Библиотека открыта до 19:00». Сейчас 18:30, но вы не знаете, действует ли сегодня обычное расписание. Можно ли объявить надпись ложной?
- Выделяем утверждение: сегодня библиотека принимает посетителей до 19:00.
- Время 18:30 само по себе не сообщает о возможном изменении расписания.
- Различаем два вопроса: какое расписание действует и известно ли оно нам.
- Вывод: сведений недостаточно; проверяем актуальное сообщение библиотеки, а не объявляем утверждение ложным.
Попробуй самостоятельно
Запиши рассуждения в черновик или сделай построение на бумаге. Эти задания для самостоятельной работы: автоматической проверки и XP за них пока нет.
- Объясни ошибку: «Я не сумел проверить сообщение, следовательно, оно неверно». Придумай ситуацию, где сообщение всё же истинно.
- Возьми бытовую фразу вроде «сервис работает быстро». Уточни действие, устройство, время измерения и критерий быстроты так, чтобы другой человек мог повторить проверку.
Читай и разбирай пример в своём темпе. К практике можно перейти, когда будешь готов.