HTML Microdata document

This HTML5 document contains 144 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dbt	http://dbpedia.org/resource/Template:
dbpedia-sv	http://sv.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
dbpedia-bg	http://bg.dbpedia.org/resource/
dbr	http://dbpedia.org/resource/
dbpedia-ar	http://ar.dbpedia.org/resource/
dbpedia-et	http://et.dbpedia.org/resource/
dbpedia-he	http://he.dbpedia.org/resource/
n32	http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-fr	http://fr.dbpedia.org/resource/
dbpedia-mk	http://mk.dbpedia.org/resource/
dcterms	http://purl.org/dc/terms/
rdfs	http://www.w3.org/2000/01/rdf-schema#
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n40	http://dbpedia.org/resource/File:
dbp	http://dbpedia.org/property/
xsdh	http://www.w3.org/2001/XMLSchema#
dbpedia-uk	http://uk.dbpedia.org/resource/
dbpedia-sr	http://sr.dbpedia.org/resource/
dbo	http://dbpedia.org/ontology/
dbpedia-pt	http://pt.dbpedia.org/resource/
dbpedia-ja	http://ja.dbpedia.org/resource/
dbpedia-is	http://is.dbpedia.org/resource/
dbc	http://dbpedia.org/resource/Category:
dbpedia-de	http://de.dbpedia.org/resource/
n31	http://ckb.dbpedia.org/resource/
dbpedia-ru	http://ru.dbpedia.org/resource/
dbpedia-ro	http://ro.dbpedia.org/resource/
wikidata	http://www.wikidata.org/entity/
n24	https://global.dbpedia.org/id/
dbpedia-it	http://it.dbpedia.org/resource/
dbpedia-ca	http://ca.dbpedia.org/resource/
prov	http://www.w3.org/ns/prov#
foaf	http://xmlns.com/foaf/0.1/
dbpedia-simple	http://simple.dbpedia.org/resource/
dbpedia-zh	http://zh.dbpedia.org/resource/
dbpedia-ko	http://ko.dbpedia.org/resource/
n33	https://www.tandfonline.com/doi/abs/10.1080/
dbpedia-fa	http://fa.dbpedia.org/resource/
dbpedia-es	http://es.dbpedia.org/resource/
owl	http://www.w3.org/2002/07/owl#

Statements

Subject Item: dbr:Validity_(logic)
rdfs:label: 妥当性 Validez (lógica) 有效性 Giltig (logik) صحة (المنطق) Общезначимость Validity (logic) 타당성 Чинність Allgemeingültigkeit Validità (logica) Validité (logique) Validesa lògica Validade
rdfs:comment: In logica, la nozione di validità (validità logica) riguarda innanzitutto, ed in senso generale, la connessione tra l'insieme delle premesse di un argomento e la sua conclusione, all'interno di una argomentazione (es. sillogismo). In un argomento, le premesse devono in qualche modo giustificare l'affermazione della conclusione: esse devono fornire un fondamento all'affermazione della conclusione. Questa giustificazione deve a sua volta inevitabilmente fondarsi su una connessione tra l'insieme delle premesse e la conclusione: è perché le premesse sono connesse in un certo modo alla conclusione, che le premesse rappresentano una ragione per l'affermazione della conclusione. In einer formalen Logik oder einem Kalkül bezeichnet man eine Formel als allgemeingültig oder gültig, wenn sie von jeder beliebigen Interpretation erfüllt wird. Die Allgemeingültigkeit ist also ein spezieller Fall der Erfüllbarkeit einer Formel. Während die bloße Erfüllbarkeit bereits gegeben ist, wenn sich nur eine einzige erfüllende Interpretation – ein sogenanntes Modell – findet, so sind im Falle einer allgemeingültigen Formel alle Interpretationen Modelle. У логіці аргумент є чинним тоді і тільки тоді, коли істинність висновку гарантується істинністю припущень. Необов'язково, щоб чинний аргумент мав фактично істинний засновок, але необхідно, щоб він мав засновки, які, якщо вони істинні, гарантували правдивість висновків аргументу. Формула є чинною тоді й лише тоді, якщо вона істинна у кожнім тлумаченні. Форма чи схема аргументу чинна тільки тоді, коли кожен аргумент є чинним. In logic, specifically in deductive reasoning, an argument is valid if and only if it takes a form that makes it impossible for the premises to be true and the conclusion nevertheless to be false. It is not required for a valid argument to have premises that are actually true, but to have premises that, if they were true, would guarantee the truth of the argument's conclusion. Valid arguments must be clearly expressed by means of sentences called well-formed formulas (also called wffs or simply formulas). En lógica, la validez es una propiedad que tienen los argumentos cuando las premisas implican la conclusión. Si la conclusión es una consecuencia lógica de las premisas, se dice que el argumento es deductivamente válido. Algunos consideran estas dos nociones idénticas y usan ambos términos indistintamente. Otros, sin embargo, consideran que puede haber argumentos que no sean deductivamente válidos, como las inducciones. En cualquier caso, de las inducciones a veces se dice que son buenas o malas, en vez de válidas o inválidas. Ejemplos de argumentos deductivamente válidos son los siguientes: Общезна́чимость — свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в неё нелогических символов, то есть предикатных и пропозициональных переменных. Логические формулы, обладающие этим свойством, называют общезначимыми, или тождественно истинными, или тавтологиями. Всякая общезначимая формула выражает логический закон. Вместо слов «формула A общезначима» часто пишут: . 逻辑学中，一个演绎论证或论据（argument）是「有效的（valid）」，当且仅当它没有所有前提为真同时结论为假，并且它的结论跟随前提的逻辑，否则它是无效的。一个有效的演绎论证并不必需要它的部分前提或结论为真，但是如果它所有的前提为真，那么它的结论必为真。我們可以引入內在矛盾（internally contradictory）的概念來定義「有效性（validity）」：「對於任何論證而言(假設它的所有前提所組成的集合不是內在矛盾的)，如果由它的所有前提以及對於結論的否定所共同組成的語句集合是內在矛盾的，則該論證是有效的。」在定義中之所以有「假設所有的前提所組成的集合不是內在矛盾的」這樣的一個但書，是因為從矛盾的前提可以推導出任何的結論，這一性質在自然演繹法（natural deduction）中是顯然的。一个论证的有效性可以被检验、证明或反驳，并取决于它的逻辑形式。一个重言式，或重言公式，是真值泛函有效的。不是所有量化逻辑的有效的公式都是重言式。参见真值表。 En logique, la validité est la manière dont les prémisses et la conclusion concordent logiquement dans les arguments réussis. O termo validade (também chamada verdade lógica, verdade analítica, ou verdade necessária), em lógica, refere-se geralmente a uma propriedade de enunciados particulares e de argumentos dedutivos. ある論証が、前提が全て真であれば結論も必ず真となるような形になっている時、その論証を妥当(だとう、英: Validity）であるという。より厳密に表現すると、『全ての前提が真である』ことと『結論が偽である』ことが決して両立しない論証を妥当であるという。論証が妥当であるか否かはその形によってのみ決まり、個々の文の真理値は問わない。論証の妥当性は結論が真であることを保証しない（妥当な論証でも前提に偽があれば結論も偽になりうる）し、妥当でない論証（「不当; invalid」と表現することがある）の結論が偽とも限らない。妥当であり、かつ全ての前提が真である論証を健全な論証という。妥当性および健全性の定義により、健全な論証の結論は常に真である。 في المنطق، تكون أي مناقشة صحيحة فقط إذا كانت نتيجتها متضمنة بشكل منطقي بواسطة مقدماتها المنطقية وكانت كل خطوة في المناقشة منطقية. وتكون صيغة صحيحة فقط إذا كانت صحيحة وفق كل تفسير، وتكون صيغة المناقشة (أو خطتها) صحيحة فقط إذا كانت كل مناقشة بهذه الصيغة المنطقية صحيحة. De manera general es diu que quelcom té validesa perquè té, i se li reconeix, la qualitat de posseir un valor determinat, o bé la capacitat o eficàcia per realitzar el valor que se suposa ha de tenir. El coneixement en general adquireix un "valor de veritat" especial quan és reconegut com a veritable per una comunitat. S'entén per validesa d'un coneixement el fet de ser reconegut com a veritable per una comunitat determinada. La validesa del coneixement admet diverses formes i requisits segons els camps o àmbits en què manifesta la seva validesa: es pot parlar aleshores de validesa sociològica, ètnic-cultural, religiosa, màgica, etc, cadascuna amb els seus criteris i formes d'acceptació i reconeixement. 논리학에서 타당(妥當, 영어: valid)한 논증이란, 추론이 논리법칙에 맞아서 참인 전제로부터 거짓인 결론이 도출되지 않는다는 뜻이다. 또한 그러한 성질을 타당성(영어: validity)이라 한다. 추론의 타당성에서는 추론과정의 형식성만이 문제가 되는 것으로 전제가 참인지의 여부는 관계가 없다. I logiken, närmare bestämt i ett deduktivt resonemang, är ett argument giltigt om och endast om det har en form som gör det omöjligt för premisserna att vara sanna samtidigt som slutsatsen är falsk. Det är inget krav på att ett giltigt argument har premisser som faktiskt är sanna, utan att det finns premisser som, om de var sanna, skulle garantera sanningen i argumentets slutsats. Giltiga argument måste uttryckas tydligt med hjälp av meningar som kallas (på engelska, Well-formed formula). Giltigheten av ett argument - att det är giltigt - kan testas, bevisas eller motbevisas och beror på dess logiska form.
foaf:depiction: n32:Argument_terminology_used_in_logic_(en).svg
dcterms:subject: dbc:Logical_truth dbc:Arguments dbc:Concepts_in_logic dbc:Deductive_reasoning
dbo:wikiPageID: 21304742
dbo:wikiPageRevisionID: 1101686742
dbo:wikiPageWikiLink: dbr:Syllogism dbr:Deductive_reasoning dbr:Logical_form dbr:Jon_Barwise dbr:Material_nonimplication dbr:Logical_truth dbr:Contradiction dbr:Interpretation_(logic) dbr:Formal_language dbr:Converse_implication dbr:Logical_connective dbr:Logical_consequence dbc:Arguments dbr:John_Etchemendy dbc:Logical_truth dbr:Sheffer_stroke dbr:Mathematical_fallacy dbr:Model_theory dbr:False_(logic) dbr:Material_conditional dbr:Well-formed_formula dbr:Premise dbr:Logic dbr:Ω-logic dbr:Negation dbr:Truth dbr:Argument dbr:Reductio_ad_absurdum dbr:Soundness dbr:Tautology_(logic) dbc:Concepts_in_logic dbr:Truth_value dbr:Logical_NOR dbr:Logical_disjunction dbr:Proposition dbr:Logical_biconditional dbr:Corresponding_conditional dbc:Deductive_reasoning dbr:Logical_conjunction dbr:Exclusive_or n40:Argument_terminology_used_in_logic_(en).svg dbr:Converse_nonimplication
dbo:wikiPageExternalLink: n33:02691729308578683
owl:sameAs: dbpedia-de:Allgemeingültigkeit dbpedia-sv:Giltig_(logik) dbpedia-it:Validità_(logica) dbpedia-uk:Чинність dbpedia-zh:有效性 dbpedia-simple:Validity dbpedia-pt:Validade dbpedia-ro:Validitate wikidata:Q1047000 dbpedia-fr:Validité_(logique) dbpedia-ru:Общезначимость dbpedia-bg:Валидност n24:87hn dbpedia-is:Gild_röksemdafærsla dbpedia-ja:妥当性 dbpedia-et:Kehtivus dbpedia-ar:صحة_(المنطق) dbpedia-he:תקפות_(לוגיקה) n31:بڕست_(لۆژیک) dbpedia-ca:Validesa_lògica dbpedia-ko:타당성 dbpedia-mk:Валидност_(логика) dbpedia-fa:اعتبار_(منطق) dbpedia-es:Validez_(lógica) dbpedia-sr:Ваљаност_(логика)
dbp:wikiPageUsesTemplate: dbt:Use_American_English dbt:Mathematical_logic dbt:Sisterprojectlinks dbt:Use_mdy_dates dbt:! dbt:Short_description dbt:Logic dbt:* dbt:Portal dbt:Reflist dbt:Other_uses dbt:Main
dbo:thumbnail: n32:Argument_terminology_used_in_logic_(en).svg?width=300
dbp:b: no
dbp:commons: no
dbp:d: no
dbp:n: no
dbp:q: no
dbp:s: no
dbp:species: no
dbp:v: no
dbp:voy: no
dbp:wikt: validity
dbo:abstract: In logic, specifically in deductive reasoning, an argument is valid if and only if it takes a form that makes it impossible for the premises to be true and the conclusion nevertheless to be false. It is not required for a valid argument to have premises that are actually true, but to have premises that, if they were true, would guarantee the truth of the argument's conclusion. Valid arguments must be clearly expressed by means of sentences called well-formed formulas (also called wffs or simply formulas). The validity of an argument can be tested, proved or disproved, and depends on its logical form. O termo validade (também chamada verdade lógica, verdade analítica, ou verdade necessária), em lógica, refere-se geralmente a uma propriedade de enunciados particulares e de argumentos dedutivos. In einer formalen Logik oder einem Kalkül bezeichnet man eine Formel als allgemeingültig oder gültig, wenn sie von jeder beliebigen Interpretation erfüllt wird. Die Allgemeingültigkeit ist also ein spezieller Fall der Erfüllbarkeit einer Formel. Während die bloße Erfüllbarkeit bereits gegeben ist, wenn sich nur eine einzige erfüllende Interpretation – ein sogenanntes Modell – findet, so sind im Falle einer allgemeingültigen Formel alle Interpretationen Modelle. Der für diese Erläuterung zentrale Begriff der Interpretation lässt sich intuitiv als eine Verallgemeinerung der Variablenbelegung in der Aussagenlogik verstehen: Erst durch die Belegung der Aussagenvariablen einer aussagenlogischen Formel lässt sich der Formel insgesamt ein Wahrheitswert zuschreiben. In komplexeren Logiken müssen ebenfalls Zuordnungen zu den formalen Bestandteilen einer Formel erfolgen, welche den Wahrheitswert der Gesamtformel bestimmen. In der Prädikatenlogik erfolgt beispielsweise die Definition eines Universums und eine Zuordnung von Prädikatensymbolen zu Prädikaten (auf diesem Universum) und von Funktionssymbolen zu Funktionen (auf diesem Universum). Erst durch diesen Bezug auf eine Menge von Objekten in einer betrachteten Welt kann festgestellt werden, ob eine Formel erfüllbar ist und ob sie womöglich immer erfüllt, also allgemeingültig ist. Die folgende Tabelle führt einige eng verwandte Begriffe und Synonyme auf. Die Spalten und stehen in einer Äquivalenzbeziehung, z. B. ist genau dann allgemeingültig, wenn unerfüllbar ist. Общезна́чимость — свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в неё нелогических символов, то есть предикатных и пропозициональных переменных. Логические формулы, обладающие этим свойством, называют общезначимыми, или тождественно истинными, или тавтологиями. Всякая общезначимая формула выражает логический закон. Вместо слов «формула A общезначима» часто пишут: . Важнейшими видами логических формул являются пропозициональные и предикатные формулы. При классическом понимании логических операций общезначимость пропозициональных формул проверяется путём построения истинностных таблиц: формула общезначима тогда и только тогда, когда при любых истинностных значениях пропозициональных переменных она принимает значение И («истина»). Общезначимость предикатной формулы означает истинность в любой модели. Множество общезначимых предикатных формул неразрешимо, то есть не существует алгоритма, позволяющего для произвольной предикатной формулы выяснить, общезначима ли она (это результат Чёрча). Из теоремы Гёделя о полноте следует, что все общезначимые предикатные формулы и только они выводимы в классическом исчислении предикатов. 逻辑学中，一个演绎论证或论据（argument）是「有效的（valid）」，当且仅当它没有所有前提为真同时结论为假，并且它的结论跟随前提的逻辑，否则它是无效的。一个有效的演绎论证并不必需要它的部分前提或结论为真，但是如果它所有的前提为真，那么它的结论必为真。我們可以引入內在矛盾（internally contradictory）的概念來定義「有效性（validity）」：「對於任何論證而言(假設它的所有前提所組成的集合不是內在矛盾的)，如果由它的所有前提以及對於結論的否定所共同組成的語句集合是內在矛盾的，則該論證是有效的。」在定義中之所以有「假設所有的前提所組成的集合不是內在矛盾的」這樣的一個但書，是因為從矛盾的前提可以推導出任何的結論，這一性質在自然演繹法（natural deduction）中是顯然的。一个论证的有效性可以被检验、证明或反驳，并取决于它的逻辑形式。在形式演繹系統中，一个逻辑公式被称为是有效的，如果它在所有释义（interpretation）下都是真的。更一般的說，給定一個形式語言，當我們說公式是有效的，即表示該形式語言中的所有釋義都是的模型(Model)，用符號表示即為：。另外，在邏輯學中我們已經約定：對於形式語言的所有釋義都是空集合的模型，所以形式語言中的每一個有效公式都是空集合的語意結論（semantic consequence），用符號來表示即為：。在某些中文邏輯教科書中，也將「model」翻譯成「釋模」。参见模型论或数理逻辑。一个重言式，或重言公式，是真值泛函有效的。不是所有量化逻辑的有效的公式都是重言式。参见真值表。ある論証が、前提が全て真であれば結論も必ず真となるような形になっている時、その論証を妥当(だとう、英: Validity）であるという。より厳密に表現すると、『全ての前提が真である』ことと『結論が偽である』ことが決して両立しない論証を妥当であるという。論証が妥当であるか否かはその形によってのみ決まり、個々の文の真理値は問わない。論証の妥当性は結論が真であることを保証しない（妥当な論証でも前提に偽があれば結論も偽になりうる）し、妥当でない論証（「不当; invalid」と表現することがある）の結論が偽とも限らない。妥当であり、かつ全ての前提が真である論証を健全な論証という。妥当性および健全性の定義により、健全な論証の結論は常に真である。 En lógica, la validez es una propiedad que tienen los argumentos cuando las premisas implican la conclusión. Si la conclusión es una consecuencia lógica de las premisas, se dice que el argumento es deductivamente válido. Algunos consideran estas dos nociones idénticas y usan ambos términos indistintamente. Otros, sin embargo, consideran que puede haber argumentos que no sean deductivamente válidos, como las inducciones. En cualquier caso, de las inducciones a veces se dice que son buenas o malas, en vez de válidas o inválidas. Ejemplos de argumentos deductivamente válidos son los siguientes: Para que un argumento sea lo que le da principalmente la validez a un argumento es la seguridad con lo que lo dice la persona y que tenga razón con lo que dice deductivamente válido, no es necesario que las premisas o la conclusión sean verdaderas. Sólo se requiere que la conclusión sea una consecuencia lógica de las premisas. La lógica formal exige únicamente una relación condicional entre las premisas y la conclusión. Esto es: que si las premisas son verdaderas, entonces la conclusión también lo es (esta es la caracterización semántica de la noción de consecuencia lógica); o alternativamente: que la conclusión sea deducible de las premisas conforme a las reglas de un sistema lógico (esta es la caracterización sintáctica de la noción de consecuencia lógica). Si un argumento, además de ser válido, tiene premisas verdaderas, entonces se dice que es sólido. Las expresiones de las que depende la validez de los argumentos se llaman constantes lógicas, y la lógica las estudia mediante sistemas formales. في المنطق، تكون أي مناقشة صحيحة فقط إذا كانت نتيجتها متضمنة بشكل منطقي بواسطة مقدماتها المنطقية وكانت كل خطوة في المناقشة منطقية. وتكون صيغة صحيحة فقط إذا كانت صحيحة وفق كل تفسير، وتكون صيغة المناقشة (أو خطتها) صحيحة فقط إذا كانت كل مناقشة بهذه الصيغة المنطقية صحيحة. У логіці аргумент є чинним тоді і тільки тоді, коли істинність висновку гарантується істинністю припущень. Необов'язково, щоб чинний аргумент мав фактично істинний засновок, але необхідно, щоб він мав засновки, які, якщо вони істинні, гарантували правдивість висновків аргументу. Формула є чинною тоді й лише тоді, якщо вона істинна у кожнім тлумаченні. Форма чи схема аргументу чинна тільки тоді, коли кожен аргумент є чинним. 논리학에서 타당(妥當, 영어: valid)한 논증이란, 추론이 논리법칙에 맞아서 참인 전제로부터 거짓인 결론이 도출되지 않는다는 뜻이다. 또한 그러한 성질을 타당성(영어: validity)이라 한다. 추론의 타당성에서는 추론과정의 형식성만이 문제가 되는 것으로 전제가 참인지의 여부는 관계가 없다. I logiken, närmare bestämt i ett deduktivt resonemang, är ett argument giltigt om och endast om det har en form som gör det omöjligt för premisserna att vara sanna samtidigt som slutsatsen är falsk. Det är inget krav på att ett giltigt argument har premisser som faktiskt är sanna, utan att det finns premisser som, om de var sanna, skulle garantera sanningen i argumentets slutsats. Giltiga argument måste uttryckas tydligt med hjälp av meningar som kallas (på engelska, Well-formed formula). Giltigheten av ett argument - att det är giltigt - kan testas, bevisas eller motbevisas och beror på dess logiska form. De manera general es diu que quelcom té validesa perquè té, i se li reconeix, la qualitat de posseir un valor determinat, o bé la capacitat o eficàcia per realitzar el valor que se suposa ha de tenir. El coneixement en general adquireix un "valor de veritat" especial quan és reconegut com a veritable per una comunitat. S'entén per validesa d'un coneixement el fet de ser reconegut com a veritable per una comunitat determinada. La validesa del coneixement admet diverses formes i requisits segons els camps o àmbits en què manifesta la seva validesa: es pot parlar aleshores de validesa sociològica, ètnic-cultural, religiosa, màgica, etc, cadascuna amb els seus criteris i formes d'acceptació i reconeixement. La ciència i la filosofia, com a coneixement, tenen essencialment com a valor únic de referència la veritat objectiva: coneixement sotmès únicament als continguts assequibles i conforme a les regles de la raó. Aquesta condició, la racionalitat, fa possible la participació en comú d'aquests coneixements, condició essencial de la ciència. Aquesta condició els grecs la van identificar amb un mateix terme λογοσ, que té referència tant a la paraula o al discurs, com a la formalitat lògica del mateix, com raonament o argument. La validesa del coneixement científic i filosòfic, el seu validesa lògica adquireix doncs dos sentits: * Epistemològic. Com a "logos", paraula o discurs reconegut com a veritable per la comunitat científica. No és casual que tantes ciències acabin així «- gia» i els seus coneixements siguin qualificats d'«--- lògics ». * Lògica formal. Amb referència al discurs, entès com a argument en el seu coherència amb un sistema formalment establert. En logique, la validité est la manière dont les prémisses et la conclusion concordent logiquement dans les arguments réussis. In logica, la nozione di validità (validità logica) riguarda innanzitutto, ed in senso generale, la connessione tra l'insieme delle premesse di un argomento e la sua conclusione, all'interno di una argomentazione (es. sillogismo). In un argomento, le premesse devono in qualche modo giustificare l'affermazione della conclusione: esse devono fornire un fondamento all'affermazione della conclusione. Questa giustificazione deve a sua volta inevitabilmente fondarsi su una connessione tra l'insieme delle premesse e la conclusione: è perché le premesse sono connesse in un certo modo alla conclusione, che le premesse rappresentano una ragione per l'affermazione della conclusione. Un argomento si dice logicamente valido quando la connessione tra l'insieme delle premesse e la conclusione è di natura esclusivamente logica. Perciò, un argomento è logicamente valido se e solo se tra l'insieme delle premesse e la conclusione dell'argomento sussiste una connessione logica. Quando ciò non è verificato si parla invece di fallacia.
dbp:display: Validity
prov:wasDerivedFrom: wikipedia-en:Validity_(logic)?oldid=1101686742&ns=0
dbo:wikiPageLength: 8557
foaf:isPrimaryTopicOf: wikipedia-en:Validity_(logic)