| rdfs:comment
| - المنطق الصوري أو المنطق الشكلي هو علم آلي وضع لصيانة الذهن عن الخطأ في الفكر. فهو الميزان والمعيار الأساس لمعرفة التفكير الصحیح. (ar)
- Als formale Logik wird im Allgemeinen eine Logik bezeichnet, die sich mit dem Zusammenhang zwischen der logischen Form von Aussagen und der Gültigkeit von Ableitungs- und Folgerungsbeziehungen zwischen diesen Formen beschäftigt. In einem engeren Sinne werden vor allem Logiken so bezeichnet, die eine formalisierte Darstellung der Aussagen und Schlussfolgerungen verwenden. (de)
- La logique formelle est l’étude purement abstraite de l’Inférence, en linguistique. La logique dite « informelle » est cette branche de logique qui étudie, examine la structure de l’argumentation dans les langues naturelles. (fr)
- 形式論理（けいしきろんり）とは、 1.
* 近代（哲学からの影響の薄れた）以降における論理学である数理論理学における論理のように、形式体系として整っている論理のこと。 2.
* (独)Formale Logik: ドイツ観念論哲学の祖と言われるイマヌエル・カントがアリストテレス流の論理学に与えた名称。自己の唱えた Transzendentale Logik と対比したもの。フッサール『形式的論理学と超越論的論理学』によれば、従来の論理学をカントが「全く誤解して」名付けたものであり、対比されている Transzendentale Logik は形而上学と認識論の奇妙な混合物というべきもの、だそうである。 非形式論理学や形式主義 (数学) などの記事も参照のこと。 (ja)
- 형식논리학(形式論理學)은 사고(판단·개념)의 참과 거짓을 확인하기 위해 추론의 형식상 타당성 성립 조건을 연구하는 논리학이다. 형식논리학은 이 추론의 타당성에 관한 형식적 근거를 문제로 삼는다. 사고의 의미, 즉 질(質)·내포(內包)와 관계하는 영역이 반영하는 그 형식, 즉 양(量)·외연(外延)을 고려하기 때문에 '외연적(外延的) 논리학'이라고도 한다. 고전논리학에 대해서 현대의 기호논리학은 사고의 수량화(數量化)·기호화를 보다 확장하고 철저히 한 새로운 형식논리학이다. 고대에 아리스토텔레스가 이룬 논증의 기본적 원리는 수천년에 걸쳐 서양 학문의 중심이 되어왔다. 이후 근대에 들어서는 더욱 형식화, 기호화가 이루어진 수리논리학이 발전하였고, 현대 수학은 이 수리논리학 및 공리적 집합론 등을 기초로 하여 구체적인 이론을 발전시킬 수 있었다. (ko)
- La lògica formal és la part de la lògica que, a diferència de la lògica informal, es dedica a l'estudi de la inferència mitjançant la construcció de llenguatges formals, sistemes deductius i semàntiques formals. La idea és que aquestes construccions capturin les característiques essencials de les inferències vàlides en els llenguatges naturals, però que en ser estructures formals i susceptibles d'anàlisi matemàtic, permeten realitzar demostracions rigoroses sobre elles. (ca)
- Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры. (ru)
- Форма́льна ло́гіка — це наука про форми, закони, прийоми та методи абстрактного мислення. Вивчаючи мислення з боку його логічної структури, формальна логіка відхиляється від конкретного змісту думки, тобто це логіка, що вивчає структуру мислення та досліджує закони, за якими людина будує міркування. Формальна логіка поділяє поняття на загальні та одиничні, конкретні та абстрактні, співвідносні та безвідносні, розглядає готові, сформовані знання, поза їx розвитком; її цікавить лише формальний зміст суджень. Вона включає традиційну й сучасну класичну (символічну) логіки. Така логіка є методом отримання нового знання на підставі використання нових результатів для переходу від відомого до невідомого, від пізнаного до непізнаного, а метод реалізується за планом. Це наука про міркування, його ст (uk)
|
| has abstract
| - La lògica formal és la part de la lògica que, a diferència de la lògica informal, es dedica a l'estudi de la inferència mitjançant la construcció de llenguatges formals, sistemes deductius i semàntiques formals. La idea és que aquestes construccions capturin les característiques essencials de les inferències vàlides en els llenguatges naturals, però que en ser estructures formals i susceptibles d'anàlisi matemàtic, permeten realitzar demostracions rigoroses sobre elles. La lògica formal no ha de ser confosa amb la lògica matemàtica, abans anomenada lògica simbòlica, que és una subdisciplina de la lògica formal. (ca)
- المنطق الصوري أو المنطق الشكلي هو علم آلي وضع لصيانة الذهن عن الخطأ في الفكر. فهو الميزان والمعيار الأساس لمعرفة التفكير الصحیح. (ar)
- Als formale Logik wird im Allgemeinen eine Logik bezeichnet, die sich mit dem Zusammenhang zwischen der logischen Form von Aussagen und der Gültigkeit von Ableitungs- und Folgerungsbeziehungen zwischen diesen Formen beschäftigt. In einem engeren Sinne werden vor allem Logiken so bezeichnet, die eine formalisierte Darstellung der Aussagen und Schlussfolgerungen verwenden. (de)
- La logique formelle est l’étude purement abstraite de l’Inférence, en linguistique. La logique dite « informelle » est cette branche de logique qui étudie, examine la structure de l’argumentation dans les langues naturelles. (fr)
- 形式論理（けいしきろんり）とは、 1.
* 近代（哲学からの影響の薄れた）以降における論理学である数理論理学における論理のように、形式体系として整っている論理のこと。 2.
* (独)Formale Logik: ドイツ観念論哲学の祖と言われるイマヌエル・カントがアリストテレス流の論理学に与えた名称。自己の唱えた Transzendentale Logik と対比したもの。フッサール『形式的論理学と超越論的論理学』によれば、従来の論理学をカントが「全く誤解して」名付けたものであり、対比されている Transzendentale Logik は形而上学と認識論の奇妙な混合物というべきもの、だそうである。 非形式論理学や形式主義 (数学) などの記事も参照のこと。 (ja)
- 형식논리학(形式論理學)은 사고(판단·개념)의 참과 거짓을 확인하기 위해 추론의 형식상 타당성 성립 조건을 연구하는 논리학이다. 형식논리학은 이 추론의 타당성에 관한 형식적 근거를 문제로 삼는다. 사고의 의미, 즉 질(質)·내포(內包)와 관계하는 영역이 반영하는 그 형식, 즉 양(量)·외연(外延)을 고려하기 때문에 '외연적(外延的) 논리학'이라고도 한다. 고전논리학에 대해서 현대의 기호논리학은 사고의 수량화(數量化)·기호화를 보다 확장하고 철저히 한 새로운 형식논리학이다. 고대에 아리스토텔레스가 이룬 논증의 기본적 원리는 수천년에 걸쳐 서양 학문의 중심이 되어왔다. 이후 근대에 들어서는 더욱 형식화, 기호화가 이루어진 수리논리학이 발전하였고, 현대 수학은 이 수리논리학 및 공리적 집합론 등을 기초로 하여 구체적인 이론을 발전시킬 수 있었다. (ko)
- Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры. Формальная логика, в отличие от неформальной, организована как формальная система, обладающая высоким уровнем абстракции и чётко определёнными правилами. Формальная логика занимается выводом нового знания на основе ранее известного без обращения в каждом конкретном случае к опыту, а путем применения законов и правил мышления. В качестве начальной ступени формальной логики принято рассматривать традиционную логику, а в качестве её развития — математическую логику, использующей степень формализации, подобную математической, символический аппарат и логические исчисления. (ru)
- Форма́льна ло́гіка — це наука про форми, закони, прийоми та методи абстрактного мислення. Вивчаючи мислення з боку його логічної структури, формальна логіка відхиляється від конкретного змісту думки, тобто це логіка, що вивчає структуру мислення та досліджує закони, за якими людина будує міркування. Формальна логіка поділяє поняття на загальні та одиничні, конкретні та абстрактні, співвідносні та безвідносні, розглядає готові, сформовані знання, поза їx розвитком; її цікавить лише формальний зміст суджень. Вона включає традиційну й сучасну класичну (символічну) логіки. Така логіка є методом отримання нового знання на підставі використання нових результатів для переходу від відомого до невідомого, від пізнаного до непізнаного, а метод реалізується за планом. Це наука про міркування, його структурні елементи та відношення між ними в процесі побудови вивідного знання. Формальна логіка — конструювання і дослідження правил перетворення висловів, що зберігають своє істинне значення безвідносно до змісту вхідних в ці вислови понять. У історії філософії — окремий розділ або напрям логіки кінця XIX — початку XX ст. У сучасному вжитку — синонім символічної, або математичної логіки. Арістотель — автор формальної логіки. Пізніше, в середні віки, формально-логічна частина вчення Арістотеля була відірвана від змістовної і канонізована, використовувалася як методологічна основа середньовічної схоластики. (uk)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)