наукоследСформулируйте исследовательский вопрос
Разделите философию логики, технический результат в определённой системе и анализ аргумента в естественном языке. Статья о доказуемости может требовать формальной подготовки, а исследование аргументативной ошибки — обсуждать практику рассуждения. Оба материала относятся к логике, но нужны разным читателям.
Подберите слова и варианты перевода
Добавьте к logic уточнение: consequence, proof, modality, vagueness или argumentation. Если известна система, укажите modal, intuitionistic или paraconsistent. Для философского обзора особенно полезно фиксировать, какой смысл следования принимает автор и какие альтернативы рассматривает.
Проверьте, что именно доказывает статья
Не считайте истинность посылок и корректность вывода одним свойством. При чтении формального текста проверьте язык, семантику и принятые правила. При чтении неформального аргумента восстановите пропущенные посылки, прежде чем оценивать его убедительность.
Пример поиска и подписки
В боте откройте «Добавить тему» → «Философия». Можно выбрать тематическую категорию или сохранить своё условие. Категории здесь создаются ботом по словам в заголовках, аннотациях и других метаданных: это ориентир для отбора, а не официальная классификация журналов.
Пример ниже соединяет близкие русские и английские формулировки. Бот не переводит публикации и не ищет внутри всех PDF. Если совпадений мало, сначала ослабьте условие, проверьте «Последние работы» и уточните словарь по результатам.
(логик* OR logic) AND (следовани* OR consequence)Сохраните ход чтения
Для каждой подходящей статьи запишите вопрос, тезис, главный аргумент и содержательное возражение. В личной библиотеке бота для этого есть заметки и теги, а BibTeX помогает перенести библиографию в менеджер ссылок. Метаданные перед окончательным цитированием следует сверить с издателем.
Английские термины для поиска
- logical consequence
- логическое следование
- proof theory
- теория доказательств
- argumentation
- аргументация
Готовые примеры для бота
topic-logic(логик* OR logic) AND (следовани* OR consequence)Нажмите «Настроить подписку в Telegram», выберите подходящий пример и подтвердите его в боте.
Частые вопросы
Категория охватывает все исследования по теме?
Нет. Раздел бота ограничен подключёнными журналами, доступными записями и словами в метаданных. Для более широкого поиска дополнительно используйте библиографии, PhilPapers и сайты издателей.
Нужно ли искать отдельно на русском и английском?
Если нужны оба языковых сегмента, включите оба набора терминов через OR или создайте отдельные подписки. Автоматический перевод запросов не выполняется.