By Leave a Comment on 定義：論理的議論

定義

論理的議論（または単に議論）は、1つまたは複数の既存の文から新しい文を作成するプロセスです。

論証は、論理的推論と呼ばれる手順を経て、論理的含意によって、一連の前提から結論に進む。

ステートメントが真か偽のどちらかに分類されるのに対し、議論は有効か無効のどちらかに分類される。

簡単に言えば、有効な議論とは、真のステートメントから他の真のステートメントに揺るぎなく導くものであり、無効な議論とは、たとえば、真のステートメントから誤ったステートメントに導くことができるものである。 その前提が真であっても、論証は無効であることがある。 ある論証が無効で、その前提が偽であることもある。

結論の真偽を確かめるには、前提が真であり、議論が有効であることを確認する必要があります。

しかし、ある文が真かどうか実際にわからないかもしれませんが、それが真または偽であるという結果を調べ、それが一部である命題の真偽値にどんな影響を与えるかを見ることができます。 4283>

議論は、議論の流れを指定するシーケンツによって象徴的に記述されることがある。

有限論

有限論とは、有限個の公理から始まり、有限個の文に変換できる論理的論証である。 ドナルド・カリッシュとリチャード・モンタギュー。 論理学。 形式的推論の技法 … (前) … (次): $Text{I}$: ‘NOT’ and ‘IF’: $Text{I}$ 3$

  • 1965年。 E.J. Lemmon: Beginning Logic … (前) … (次): $ThreeS 1.1$: The Nature of Logic
  • 1973: アーヴィング・M・コピ: 記号論理学(第4版) … (前) … (次): $1$ はじめに。 論理と言語: $1.2$: 論証の本質
  • 1980: D.J.オコナー、ベティ・パウエル。 初歩的な論理学 … (next): $S \text{I}: 1$: The Logic of Statements $(1)$
  • 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) … (前) … (next): エントリー：引数：2
  • 2008: デービッド・ジョイナー 群論の冒険(第2版) … (前) … (next): 第1章$: Elementary, my dear Watson: 1.1$: You have a logical mind if…: 定義 $1.1.3$
  • 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) … (前) … (next): エントリー: 引数: 2.

    • コメントを残す

    メールアドレスが公開されることはありません。