Логика — это наука о правильном рассуждении. Она задаёт вопрос: что следует из чего? Правильный аргумент — это такой аргумент, заключение которого должно быть истинным, если истинны посылки. Логика предоставляет инструменты для различения хороших аргументов от плохих. Аристотель систематизировал логику с помощью силлогизма. Средневековые логики её усовершенствовали. Фреге и Рассел разработали современную символическую логику, которая использует формальные языки для представления аргументов и правила вывода для получения заключений. Логика используется в математике, информатике, лингвистике и философии.

Логика — это не то же самое, что психология. Она изучает нормативные принципы, а не то, как люди на самом деле мыслят. Люди часто рассуждают нелогично, но это не меняет того, что требует достоверности. Логика также не то же самое, что риторика. Риторика стремится убедить. Логика стремится доказать. Эти два понятия могут пересекаться, но они различны. Логика имеет множество разделов: пропозициональная логика, предикатная логика, модальная логика, темпоральная логика и многозначная логика, среди прочих. Каждый раздел имеет свои собственные символы, правила и семантику. Логика — это формальная наука, как и геометрия, и она находит применение в любой области, требующей точного рассуждения.

Виды логики

• Пропозициональный. Рассматривает целые предложения и логические связки.
• Предикат. Работает с объектами, свойствами и кванторами.
• Modal. Рассматривает возможности и необходимость.
• Неформально. Рассматривает рассуждения на естественном языке.

Логика — это не совокупность знаний о мире. Это совокупность знаний о том, что следует из чего.