形式論理推論の有効で正しい形式を決定し、論理理論や数学的なロジックと呼ばれるが、あります。この実践を通じて、私たちは正しいものと正しくないものを区別しようとします。
形式的なロジックでは、シンボルは明確かつ可能な限り明確な方法で使用されるため、操作できません。この実践のおかげで、あなた自身のアイデアを開発することが可能です。
アルフレッドノースホワイトヘッドは、正式な論理の支持者の1人でした。出典：Wellcome Trust
「論理」という言葉は、古代ギリシャ語のλογικήlogikḗに由来します。これは、「知的、弁証的、議論的な理由がある」という意味です。論理は哲学と数学の分岐の1つであり、これらの分野では非常に役立つと考えられています。
一般に、ロジックは思考の形態を研究します。ロジックに関連して実行された最初の作品は、ギリシャの哲学者アリストテレスによるものです。そのため、彼はこの分野の創始者として知られています。
歴史を通じて、さまざまな哲学者、数学者、論理学者が正式な論理を擁護してきました。その中には、数学者で論理学者のアロンツォ教会があります。哲学者、数学者、論理学者ゴットロブ・フレーゲ。数学者であり哲学者でもあるアルフレッドノースホワイトヘッド。
アルフレッドタルスキ、カートゲーデル、ベルトランドラッセル、ウィラードファンオーマンクインなども優れたディフェンダーです。
調査対象
形式的論理は、推論、概念、判断、実証などの側面を研究対象として使用します。これらの要素から、彼は結論に到達するために言語と意味のすべてのリソースを分析して研究します。
この意味で、形式的な論理では、推論がその有効性または無効性から構造化された観点から研究されることが確立されています。
形式的な論理は、推論プロセスの経験的な研究ではありません。また、結論を得るために議論の構造をとるので、説得と混同しないでください。
この論理は、理論的または純粋な論理とも呼ばれ、演繹的引数、ステートメント、命題、および断定的に使用された文の内容または論理形式の抽象的な研究を実行しようとします。
正式な論理パターンの徹底的な調査を行うことで、各個人は自分の思考に関連する手順を正確に知ることができます。
特徴
以下は、正式なロジックを他のタイプのロジックと区別する最も特有の特性です。
-物質のみを研究する他のタイプのロジックとは異なり、それは前提の形式を研究する科学です。
・問題のない構造です。
-それは正式なシステムのサブセットの下で確立されます。
-形式的なロジックを通じて、何が問題で何が問題なのかを区別できるほど効率的な方法を適用します。
-真の前提の構造が分析されるため、正しい推論または妥当性の結論が生じます。
-人々を研究して分析し、直接思考することで、各個人の心に新しいパターンを確立できるようにします。
・象徴的なのが特徴。
-形式科学の観点から、数学、哲学、コンピューター科学、統計学において重要な役割を果たす。
-意味論の研究による文法に関連しています。
-研究構造、それが数学と比較される理由です。
-それは個人の思考の研究に焦点を当てているため、心理学にも関連しています。
タイプ
義務論理
それは古代ギリシャのδέονデオンに由来し、「何が原因であるか」または「何が必要か」を意味します。オーストリアの論理学者アロイス・ヘフラーは、この概念の先駆者であり、規範の研究と分析に言及しています。
二価論理
trueとfalseの値のみをサポートするロジックのタイプです。彼は色合いを信じていません、すべてが黒か白です。この種のロジックではグレースケールは不可能です。
その原則は、アリストテレスの論理に基づいています。これは、同一性、矛盾、および除外された第三者です。
多価または多目的ロジック
このタイプのロジックは、哲学者JanŁukasiewiczとEmil Postによって実施された研究の結果として生まれました。彼らは、すでに一般的な「真」と「偽」以外の値を認めることができ、これらの値は実際に到達できると述べています無限に。
この意味で、これは2つの値のみを許可する二価論理とは異なります。研究は、多価または多目的ロジックが可能性、必要性、不必要性、真実、虚偽、不可能性などの値を処理することを示しています。
同様に、このタイプの形式的論理は、議論の哲学的および構造的側面の研究も担当しています。
例
正式なロジックを通じて、特定の推論に真偽の値を追加することが可能です。
前に説明したように、正式なロジックは、引数から抽出できるすべての可能性に焦点を当てているわけではありません。これが真であるか偽であるかにのみ焦点を当てます。その意味で、以下に正式なロジックに基づくいくつかの例を示します。
-ブエノスアイレスはアルゼンチンの首都です。そして、ブエノスアイレスで生まれた人々はすべてアルゼンチン人です。
-ジョアンはポルトガル語を話します。ジョアンはポルトガルで生まれました。ポルトガルの誰もがポルトガル語を話します。
-牛は牛乳を与えます。牛は哺乳類です。すべての哺乳類はミルクを与えます。
-ペドロは白、マリアはブルネットなので、白と茶色の人がいます。
-マリアはロックオーケストラで演奏します。ミュージシャンは、ロックオーケストラで演奏する人です。マリアはミュージシャンです。
-ホセは黒い髪をしています。エレナは茶色の髪をしています。彼らの娘は黒または茶色の髪で生まれるかもしれません。
-足には5本の指があります。人間には右足と左足があります。一人一人の足の指は10本です。
-スペインは国です。スペインはヨーロッパに残ります。すべてのスペイン人はヨーロッパ人です。
-アナは生き物です。アナは致命的です。すべての生物は死すべきものです。
-ホセは水に濡れた。水が濡れます。
-マリアは熱い食べ物を食べました。マリアは熱い食べ物を食べてやけどした。熱い食べ物は火傷します。
-地球は宇宙の一部です。宇宙には惑星があります。地球は惑星です。
-電灯が点灯します。通りには電灯があります。電灯は通りを照らします。
参考文献
- 新世界百科事典の「形式論理」。2019年4月21日、New world encyclopedia：newworldencyclopedia.orgから取得。
- モートンL.シャグリンGeヒューズ「フォーマルロジック」で、2019年4月21日にブリタニカから取得：britannica.com。
- アカデミーの「ロジックとその分類」。2019年4月23日にアカデミアから取得：academia.edu。
- 哲学辞典の「形式論理」。Philosophical Dictionary：philosophy.orgから2019年4月23日に取得。
- 哲学辞典の「多価論理」。Philosophical Dictionary：philosophy.orgから2019年4月23日に取得。
- クラブエッセイ（2013年8月18日）の「論理の一般的な側面」。2019年4月23日、クラブ裁判から取得：clubensayos.com。
- ウィキペディアの「Deontic logic」。2019年4月23日にウィキペディアから取得：es.wikipedia.org
- ウィキペディアの「多目的ロジック」。2019年4月23日にウィキペディアから取得：es.wikipedia.org
- ウィキペディアの「バイバレントロジック」。2019年4月23日にウィキペディアから取得：es.wikipedia.org