Какие учебники по формальной логике подойдут?

Безусловно, формальная логика — это обширная и развивается область, и выбор учебника зависит от ваших целей и уровня подготовки. Вот несколько рекомендаций и соображений по поводу учебников, в которых отражены достижения и основные концепции формальной логики, а также некоторые подробности о предложенных вами учебниках:

Рекомендации по учебникам:

1. Учебник Кириллова и Старченко:
   - Название: "Формальная логика" (обновленная версия).
   - Содержание: Учебник охватывает основные аспекты символической логики, включая операторную логику, предикатную логику и элементы теории моделей. Также рассматриваются задачи на построение логических выводов.
   - Подходит для: Студентов и начинающих, поскольку он может дать хорошую основу для понимания формальной логики. Однако он может не содержать некоторых современных интерпретаций и методов, разработанных после 1980-х.

2. Учебник Чупахина:
   - Название: "Формальная логика и логические системы".
   - Содержание: Чупахин делает акцент на логические системы и их применение. Учебник может быть более современным и содержать некоторые рассуждения и примеры, которые менее распространены в других изданиях.
   - Подходит для: Студентов, интересующихся более глубоким анализом логических систем и их приложений. Отличается более современными подходами и методиками.

Современные альтернативы (вне рамок 1980-х):
Если вы открыты к более современным учебникам, можно рассмотреть следующие:

3. "Logic: A Very Short Introduction" by Graham Priest:
   - Содержание: Обсуждаются как традиционные, так и современные подходы к логике, а также новейшие разработки в области.
   - Подходит для: Быстрого и доступного введения в логические концепции.

4. "A Concise Introduction to Logic" by Patrick Suppes и "Logic" by Stephen Cole Kleene:
   - Эти учебники дают хорошую основу как в предикатной логике, так и в других современных логических системах.

Пункты для оценки:

- Объем и глубина изложения: Определите, насколько глубоко вы хотите изучить тему. Учебники более старого поколения могут служить хорошей основой, но не всегда содержат информации о современных подходах.
  
- Доступность задач и примеров: Учебник должен содержать практические задачи, которые помогут закрепить теоретические знания.

- Исторический контекст: Узнайте, насколько каждый учебник учитывает эволюцию логической теории и современных интерпретаций, чтобы уложить теорию в контекст.

- уровень подготовки: На какие аудитории рассчитаны учебники, и насколько сложны они для вашего текущего уровня знаний?

Заключение
В конечном итоге, оба предложенные вами учебника (Кириллова и Старченко, Чупахина) могут послужить хорошей основой для начала. Если вы стремитесь к более глубокому пониманию, возможно, стоит также обратиться к современным изданиям. Главное — выбирать тот вариант, который будет наиболее полезен для вашего дальнейшего изучения и применения формальной логики.