Skip to main content
LibreTexts - Ukrayinska

1: Основи логічного аналізу

  • Page ID
    50949
  • \( \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}}\)

    Як і багато людської діяльності, міркування можна зробити добре, або це може бути зроблено погано. Мета логіки - відрізнити хороші міркування від поганого. Хороші міркування не обов'язково є ефективними міркуваннями; насправді, як ми побачимо, погані міркування поширені і часто надзвичайно ефективні - в тому сенсі, що люди часто переконуються цим. У Логіці еталоном добра є не ефективність в сенсі переконливості, а скоріше правильність за логічними правилами.

    • 1.1: Що таке логіка?
      У логіці об'єктом дослідження є міркування. Це діяльність, якою займаються люди - коли ми пред'являємо претензії та підкріплюємо їх причинами, або коли ми робимо висновки про те, що випливає з набору тверджень.
    • 1.2: Основні поняття - Пропозиції та аргументи
      Міркування включає претензії або заяви - робити їх і підкріплювати їх причинами, витягуючи їх наслідки. Пропозиції - це те, що ми стверджуємо, заявляємо, стверджуємо. Пропозиції - це види речей, які можуть бути правдивими чи хибними. Вони виражаються декларативними пропозиціями. Фундаментальною одиницею міркування є аргумент, який представляє собою сукупність пропозицій, одне з яких, висновок, (передбачається) підтримується іншими, передумовами.
    • 1.3: Розпізнавання та пояснення аргументів
      Потрібно розвинути деякі попередні аналітичні навички. Перший з них - це просто вміння розпізнавати аргументи, коли ми їх бачимо, і з'ясувати, що таке висновок (і які приміщення). Те, що ми хочемо дізнатися в першу чергу, - це як експлікувати аргументи. Це передбачає записування купи декларативних пропозицій, які виражають пропозиції в аргументі, і чітке позначення, яке з цих пропозицій висловлює висновок.
    • 1.4: Дедуктивні та індуктивні аргументи
      Як ми вже зазначали раніше, існують різні логіки—різні підходи до відрізнення хороших аргументів від поганих. Одна з причин, чому нам потрібна різна логіка, полягає в тому, що існують різні види аргументів. У цьому розділі ми виділяємо два типи: дедуктивні та індуктивні аргументи.
    • 1.5: Діаграмування аргументів
      Те, що ми не досліджували, - це питання про те, як приміщення в даному аргументі виконують цю роботу - як вони працюють разом, щоб підтримати висновок, які стосунки вони мають один з одним. Це більш глибокий рівень аналізу, ніж просто відрізнення приміщення від висновку; це вимагатиме більш детального способу подання, ніж перелік пропозицій, з нижнім, відокремленим від інших горизонтальною лінією.

    Мініатюра: pixabay.com/ілюстрації/br... wing-2062057/