Skip to main content
LibreTexts - Ukrayinska

11.1: Що таке логіка?

  1. Last updated
  2. Save as PDF
  • Page ID
    52516

    • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)

    Поле логіки є більш нормативним, ніж описовим. Тобто, це не вивчення того, як люди насправді роблять розум, а скоріше вивчення того, як вони повинні в ідеалі міркувати, оскільки вони є «логічними», тобто правильними міркуваннями. Поле логіки також досліджує помилки, до яких мислення може бути схильне, коли воно відходить від ідеалів правильного міркування.

    Логіка в найвужчому сенсі терміна не є нормативною і стосується лише логічного наслідку, тобто про те, що має бути правдою, якщо щось інше вірно. Наша книга використовує менш вузьке значення того, що означає термін «логіка».

    Дедуктивна логіка досліджує дедуктивно дійсні міркування, найбільш безпечний вид міркувань. Найбільш елементарним міркуванням є простий аргумент, який робить один висновок з однієї передумови або припущення. У будь-якому аргументі, простому чи не простому, якщо висновок випливає з упевненістю з передумови, ми називаємо аргумент дедуктивно дійсним. Математичне доказ - приклад складного дедуктивно вагомого аргументу.

    Індуктивні міркування, навпаки, стосуються менш безпечних міркувань. Його висновок випливає з його приміщення з ймовірністю, але не з упевненістю.

    Поле логіки досліджує структурні властивості міркувань. Поле зацікавлене не в побудові більших паль хороших аргументів, а в розумінні їх конструктивних особливостей. Структура називається «логічною формою». У цьому розділі ми будемо вивчати логічні форми.