Principle of bivalence (original) (raw)
La lògica binària estableix relacions lògiques entre dos valors possibles, associats als conceptes de "vertader" i "fals" o "1" i "0".El principi de doble semàntica afirma que cap proposició és, alhora, vertadera i falsa. Una operació lògica assigna un valor (vertader o fals) a la combinació de condicions (certes o falses, apagades o enceses, obertes o tancades, etc.) d'un o més factors. La lògica binària treballa tant amb variables binàries com també amb operacions lògiques. A continuació es descriuen les diferents operacions lògiques:
| Property | Value |
|---|---|
| dbo:abstract | La lògica binària estableix relacions lògiques entre dos valors possibles, associats als conceptes de "vertader" i "fals" o "1" i "0".El principi de doble semàntica afirma que cap proposició és, alhora, vertadera i falsa. Una operació lògica assigna un valor (vertader o fals) a la combinació de condicions (certes o falses, apagades o enceses, obertes o tancades, etc.) d'un o més factors. La lògica binària treballa tant amb variables binàries com també amb operacions lògiques. A continuació es descriuen les diferents operacions lògiques: (ca) Das Prinzip der Zweiwertigkeit, auch Bivalenzprinzip genannt, ist die Eigenschaft einer Logik, dass semantisch jeder Formel genau einer von zwei Wahrheitswerten zugewiesen wird. Häufig werden diese Wahrheitswerte als wahr und falsch bezeichnet. Logiken, für die das Prinzip der Zweiwertigkeit erfüllt ist, nennt man auch zweiwertige Logiken. Ist das Prinzip der Zweiwertigkeit nicht erfüllt, spricht man von mehrwertiger Logik. Das Prinzip der Zweiwertigkeit ist zu unterscheiden von dem auch innerhalb mehrerer mehrwertigen Logiken gültigen Satz vom ausgeschlossenen Dritten, der besagt, dass sich P ∨ ¬P innerhalb des logischen Systems bzw. seines Kalküls syntaktisch ableiten lässt. (de) المنطق البولياني هو نظام كامل . أخذ تسميته من العالم جورج بول الذي قام بتعريف النظام الجبري للمنطق في منتصف القرن التاسع عشر. للمنطق البولياني العديد من التطبيقات في الإلكترونيات، أجهزة الحاسوب والبرامج الحاسوبية. (ar) En logiko, la semantika principo de duvalento, aŭ leĝo de duvalento, deklaras ke ĉiu deklara frazo esprimanta propozicio (de teorio sub inspekto) havas ĝuste unu vero-valoron, ajna vera aŭ falsa. Logiko kontentiganta ĉi tiun principon nomiĝas duvaloritan logikon aŭ duvalenton logikon. En formala logiko, la principo de duvalento fariĝas iĝas econ ke semantikoj eble povas havi aŭ ne. Tamen ĝi malsamas la leĝon de neekzisto de tria eblo. Kaj semantikoj povas konformiĝi tiun leĝon sen kongrui duvalentan. Ĝi povas esti skribita en la dua-orda propozicio kiel: formale ∀P∀e(e ∊ P ⋁ e ∉ P)legeble por ĉiu propoziciaro kaj ero okazas ke ero elhavas propoziciaron aŭ ero elhavas propoziciaron Tiel montranta similecon sed tamen malsamanta plejparte de kvantigita arajn elementojn. La principo de duvalento estas studita en filozofia logiko trakti la demandon de kiu natura-lingvaj eldiroj havas racio-difinita vero-valoron. Frazoj kiuj priskribas eventojn antaŭe iliaj okazadoj kaj frazoj kiuj ŝajnas malferma al interpreto, grave malfacilan traktas por filozofoj kiu tenas ke la principo de duvalenta aplikas al ĉiuj deklara natura-lingvaj eldiroj. Multaj-valoritaj logikoj formaligas ideojn ke realisma karakterizado de la nocio de sekvo postulas la allasadon de premisoj kiu, ŝuldanta al svago, tempa aŭ kvantuma nedeterminanto aŭ referenco-malsukceso, ne povas esti konsiderita kiel klasika duvalento. Referencaj malsukcesoj ankaŭ povas esti traktita kun liberaj logikoj. (eo) En lógica, el principio semántico o ley de bivalencia establece que cada frase declarativa que expresa una proposición (de una teoría que se inspecciona) tiene exactamente un valor de verdad, ya sea cierta o La forma lógica de satisfacer este principio se llama lógica de dos valores o lógica bivalente. En la lógica formal, el principio de bivalencia deviene una propiedad que una semántica puede o no poseer. Sin embargo, no es lo mismo que la ley de medio excluido, aun así, y en semántica puede satisfacer aquella ley sin ser bivalente. El principio de bivalencia se estudia en lógica filosófica para abordar la cuestión de qué estados del lenguaje natural tienen un valor de verdad bien definido. Frases las cuales pronostican acontecimientos en el futuro, y frases que parecen abiertas a interpretación, es particularmente difícil para filósofos quiénes sostienen que la lógica binaria se aplica a todas las declaraciones de lengua natural declarativas. La Lógica plurivalente formalizó la idea de que una caracterización realista de la idea de consecuencia requiere el admisión de premisas qué, a causa de la vaguedad, indeterminación temporal o cuántica, o en referencia al fallo, no pueden ser considerados bivalentes en el sentido clásico. Los errores de referencia también pueden ser abordados por lógicas libres. (es) Le principe de bivalence est un principe de logique selon lequel toute proposition p ne peut avoir qu'une seule des deux valeurs de vérité. Elle est soit vraie, soit fausse. Une logique respectant le principe de bivalence est dite logique bivalente. La logique classique est bivalente. (fr) In logic, the semantic principle (or law) of bivalence states that every declarative sentence expressing a proposition (of a theory under inspection) has exactly one truth value, either true or false. A logic satisfying this principle is called a two-valued logic or bivalent logic. In formal logic, the principle of bivalence becomes a property that a semantics may or may not possess. It is not the same as the law of excluded middle, however, and a semantics may satisfy that law without being bivalent. The principle of bivalence is studied in philosophical logic to address the question of which natural-language statements have a well-defined truth value. Sentences that predict events in the future, and sentences that seem open to interpretation, are particularly difficult for philosophers who hold that the principle of bivalence applies to all declarative natural-language statements. Many-valued logics formalize ideas that a realistic characterization of the notion of consequence requires the admissibility of premises that, owing to vagueness, temporal or quantum indeterminacy, or reference-failure, cannot be considered classically bivalent. Reference failures can also be addressed by free logics. (en) In logica, il principio di bivalenza afferma che per ogni proposizione P, o P è vera oppure P è falsa, ossia che il grado di verità di una proposizione ammette valori nell'insieme discreto {VERO,FALSO}. (it) Законы деления (дихотомии) логики созданы для классификации и систематизации разных понятий. Основные принципы деления: * деление должно быть соразмерным; * деление на каждом его этапе должно производиться по одному основанию; * члены деления должны исключать друг друга, то есть не должны пересекаться; * деление не должно быть скачкообразным. Наиболее типичными ошибками при делении объёма понятия являютсяследующие: * неполное деление понятия; * слишком обширное деление; * скачок в делении — логическая ошибка, вызванная нарушением правила «деление должно быть непрерывным». (ru) Em lógica, a semântica princípio da bivalência ou lei da bivalência afirma que toda sentença declarativa que expressa uma proposição de uma teoria sob análise possui um único valor de verdade: ou verdadeiro ou falso. Uma lógica que satisfaz esse princípio é chamada lógica bi-valorada ou lógica bivalente. Na lógica formal, o princípio da bivalência torna-se uma propriedade que uma semântica pode ou não possuir. Não é o mesmo que a Lei do terceiro excluído, entretanto, e a semântica pode satisfazer a lei sem ser bivalente. O princípio da bivalência é estudado na lógica filosófica para abordar a questão de quais declarações da linguagem natural tem um valor verdade bem definido. Sentenças que predizem eventos futuros, e sentenças que parecem abertas a interpretação, são particularmente difíceis para filósofos que defendem que o princípio da bivalência aplica-se para todas as declarações da linguagem natural declarativa. A lógica polivalente formaliza ideias de que uma caracterização realista da noção de consequência requer a admissibilidade das premissas que, devido a imprecisão, indeterminação temporal ou quântica, ou falha de referência, não podem ser consideradas classicamente bivalentes. Falhas de referência também podem ser abordadas pela lógica livre. (pt) 在逻辑中，二值原理（英語：Principle of bivalence）是指，對於任何命题 P，只能有一個真值：命題P只能是真，或假，其中之一。滿足這個原則的邏輯推論，稱為二值邏輯（英語：two-valued logic，bivalent logic）。 在经典逻辑中，二值原理等价于说没有命题非真非假。非真非假的命题 P 是不可判定的。在直觉逻辑中，命题 P 的真值有时不能判定(就是说 P 不能被证明或反驳)。在这种情况下，P 简单的不能有真值。其他逻辑，比如多值逻辑，可以指派给 P 一个中间的真值。 不要混淆于排中律和无矛盾律。详细区别请参见。 (zh) |
| dbo:wikiPageExternalLink | http://www.unine.ch/unilog/jyb/new%20principle%20of%20bivalence.pdf https://web.archive.org/web/20110722063257/http:/segr-did2.fmag.unict.it/~polphil/PolPhil/Lukas/LukasBival.pdf |
| dbo:wikiPageID | 24097 (xsd:integer) |
| dbo:wikiPageLength | 17778 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1098329138 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Quantum_logic dbc:Principles dbc:Logic dbr:Rhizome_(philosophy) dbr:De_Interpretatione dbr:Intuitionistic_logic dbr:Universal_quantifier dbr:Chrysippus dbr:Anekantavada dbr:Logic dbr:Logical_value dbr:Complete_Boolean_algebra dbr:Proposition dbr:Propositional_logic dbr:Stoicism dbr:Many-valued_logic dbc:Semantics dbr:Truth dbr:Truth_value dbr:Fuzzy_logic dbr:Law_of_excluded_middle dbr:Three-valued_logic dbc:2_(number) dbr:Dualism_(philosophy_of_mind) dbr:False_(logic) dbr:Formal_semantics_(logic) dbr:Failure_to_refer dbr:False_dilemma dbr:Entailment dbr:Logical_disjunction dbr:Logical_equality dbr:Jan_Łukasiewicz dbr:Temporal_logic dbr:Łukasiewicz_logic dbr:Arend_Heyting dbr:Aristotle dbr:L._E._J._Brouwer dbr:Supremum dbr:Syntactic dbr:Jean-Yves_Béziau dbr:Boolean-valued_model dbr:Boolean_algebra dbr:Classical_logic dbr:Free_logic dbr:Exclusive_disjunction dbr:Philosophy_of_time dbr:Inclusive_or dbr:Intended_interpretation dbr:Predicate_calculus dbr:Infimum dbr:Quantum_indeterminacy dbr:Multi-valued_logic dbr:Sorites_paradox dbr:Extensionality dbr:Natural_language dbr:Philosophical_logic dbr:Two-element_Boolean_algebra dbr:Truth-value_link dbr:Truthmaker dbr:Relativism dbr:Supervaluationism dbr:Philosophy_of_logic dbr:Perspectivism dbr:Boolean-valued_semantics dbr:Truthbearer dbr:And_(logic) dbr:Degrees_of_truth dbr:Law_of_non-contradiction dbr:Existential_quantifier dbr:Logic_of_Paradox dbr:True_and_false |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Citation_needed dbt:Cite_journal dbt:Columns-list dbt:Main dbt:Portal dbt:Quote dbt:Redirect dbt:Reflist dbt:Short_description dbt:Use_dmy_dates dbt:Cite_SEP dbt:Classical_logic |
| dct:subject | dbc:Principles dbc:Logic dbc:Semantics dbc:2_(number) |
| rdf:type | owl:Thing yago:Abstraction100002137 yago:Cognition100023271 yago:Content105809192 yago:Generalization105913275 yago:Idea105833840 yago:Principle105913538 yago:PsychologicalFeature100023100 yago:WikicatPrinciples |
| rdfs:comment | La lògica binària estableix relacions lògiques entre dos valors possibles, associats als conceptes de "vertader" i "fals" o "1" i "0".El principi de doble semàntica afirma que cap proposició és, alhora, vertadera i falsa. Una operació lògica assigna un valor (vertader o fals) a la combinació de condicions (certes o falses, apagades o enceses, obertes o tancades, etc.) d'un o més factors. La lògica binària treballa tant amb variables binàries com també amb operacions lògiques. A continuació es descriuen les diferents operacions lògiques: (ca) المنطق البولياني هو نظام كامل . أخذ تسميته من العالم جورج بول الذي قام بتعريف النظام الجبري للمنطق في منتصف القرن التاسع عشر. للمنطق البولياني العديد من التطبيقات في الإلكترونيات، أجهزة الحاسوب والبرامج الحاسوبية. (ar) Le principe de bivalence est un principe de logique selon lequel toute proposition p ne peut avoir qu'une seule des deux valeurs de vérité. Elle est soit vraie, soit fausse. Une logique respectant le principe de bivalence est dite logique bivalente. La logique classique est bivalente. (fr) In logica, il principio di bivalenza afferma che per ogni proposizione P, o P è vera oppure P è falsa, ossia che il grado di verità di una proposizione ammette valori nell'insieme discreto {VERO,FALSO}. (it) Законы деления (дихотомии) логики созданы для классификации и систематизации разных понятий. Основные принципы деления: * деление должно быть соразмерным; * деление на каждом его этапе должно производиться по одному основанию; * члены деления должны исключать друг друга, то есть не должны пересекаться; * деление не должно быть скачкообразным. Наиболее типичными ошибками при делении объёма понятия являютсяследующие: * неполное деление понятия; * слишком обширное деление; * скачок в делении — логическая ошибка, вызванная нарушением правила «деление должно быть непрерывным». (ru) 在逻辑中，二值原理（英語：Principle of bivalence）是指，對於任何命题 P，只能有一個真值：命題P只能是真，或假，其中之一。滿足這個原則的邏輯推論，稱為二值邏輯（英語：two-valued logic，bivalent logic）。 在经典逻辑中，二值原理等价于说没有命题非真非假。非真非假的命题 P 是不可判定的。在直觉逻辑中，命题 P 的真值有时不能判定(就是说 P 不能被证明或反驳)。在这种情况下，P 简单的不能有真值。其他逻辑，比如多值逻辑，可以指派给 P 一个中间的真值。 不要混淆于排中律和无矛盾律。详细区别请参见。 (zh) En logiko, la semantika principo de duvalento, aŭ leĝo de duvalento, deklaras ke ĉiu deklara frazo esprimanta propozicio (de teorio sub inspekto) havas ĝuste unu vero-valoron, ajna vera aŭ falsa. Logiko kontentiganta ĉi tiun principon nomiĝas duvaloritan logikon aŭ duvalenton logikon. En formala logiko, la principo de duvalento fariĝas iĝas econ ke semantikoj eble povas havi aŭ ne. Tamen ĝi malsamas la leĝon de neekzisto de tria eblo. Kaj semantikoj povas konformiĝi tiun leĝon sen kongrui duvalentan. Ĝi povas esti skribita en la dua-orda propozicio kiel: (eo) Das Prinzip der Zweiwertigkeit, auch Bivalenzprinzip genannt, ist die Eigenschaft einer Logik, dass semantisch jeder Formel genau einer von zwei Wahrheitswerten zugewiesen wird. Häufig werden diese Wahrheitswerte als wahr und falsch bezeichnet. Logiken, für die das Prinzip der Zweiwertigkeit erfüllt ist, nennt man auch zweiwertige Logiken. Ist das Prinzip der Zweiwertigkeit nicht erfüllt, spricht man von mehrwertiger Logik. (de) En lógica, el principio semántico o ley de bivalencia establece que cada frase declarativa que expresa una proposición (de una teoría que se inspecciona) tiene exactamente un valor de verdad, ya sea cierta o La forma lógica de satisfacer este principio se llama lógica de dos valores o lógica bivalente. En la lógica formal, el principio de bivalencia deviene una propiedad que una semántica puede o no poseer. Sin embargo, no es lo mismo que la ley de medio excluido, aun así, y en semántica puede satisfacer aquella ley sin ser bivalente. (es) In logic, the semantic principle (or law) of bivalence states that every declarative sentence expressing a proposition (of a theory under inspection) has exactly one truth value, either true or false. A logic satisfying this principle is called a two-valued logic or bivalent logic. In formal logic, the principle of bivalence becomes a property that a semantics may or may not possess. It is not the same as the law of excluded middle, however, and a semantics may satisfy that law without being bivalent. (en) Em lógica, a semântica princípio da bivalência ou lei da bivalência afirma que toda sentença declarativa que expressa uma proposição de uma teoria sob análise possui um único valor de verdade: ou verdadeiro ou falso. Uma lógica que satisfaz esse princípio é chamada lógica bi-valorada ou lógica bivalente. Na lógica formal, o princípio da bivalência torna-se uma propriedade que uma semântica pode ou não possuir. Não é o mesmo que a Lei do terceiro excluído, entretanto, e a semântica pode satisfazer a lei sem ser bivalente. (pt) |
| rdfs:label | منطق بولياني (ar) Lògica binària (ca) Prinzip der Zweiwertigkeit (de) Principo de duvalento (eo) Principio de bivalencia (es) Principe de bivalence (fr) Principio di bivalenza (it) Principle of bivalence (en) Princípio da bivalência (pt) Законы деления (ru) 二值原理 (zh) Принцип бівалентності (uk) |
| owl:sameAs | freebase:Principle of bivalence yago-res:Principle of bivalence http://d-nb.info/gnd/1112753966 wikidata:Principle of bivalence dbpedia-ar:Principle of bivalence dbpedia-ca:Principle of bivalence http://ckb.dbpedia.org/resource/بنەواشەی_دووبایەخیبوون dbpedia-de:Principle of bivalence dbpedia-eo:Principle of bivalence dbpedia-es:Principle of bivalence dbpedia-fr:Principle of bivalence dbpedia-he:Principle of bivalence dbpedia-is:Principle of bivalence dbpedia-it:Principle of bivalence dbpedia-pt:Principle of bivalence dbpedia-ru:Principle of bivalence dbpedia-uk:Principle of bivalence dbpedia-zh:Principle of bivalence https://global.dbpedia.org/id/212jW |
| prov:wasDerivedFrom | wikipedia-en:Principle_of_bivalence?oldid=1098329138&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Principle_of_bivalence |
| is dbo:wikiPageRedirects of | dbr:Bivalence dbr:Bivalent_logic dbr:2-valued_logic dbr:ThePrincipleOfBivalence dbr:Law_of_bivalence dbr:Suszko's_reduction dbr:Suszko's_thesis dbr:Suszko_reduction dbr:Suszko_thesis dbr:Principle_of_Bivalence dbr:Two_value_logic dbr:Two_valued_logic dbr:Two-valued_logic dbr:Bivalence_and_realism dbr:Bivalence_and_related_laws |
| is dbo:wikiPageWikiLink of | dbr:Bayesian_probability dbr:Propositional_calculus dbr:Modal_logic dbr:Problem_of_future_contingents dbr:Bivalence dbr:Bivalent_logic dbr:Deviant_logic dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(I–Q) dbr:Infinite-valued_logic dbr:Liar_paradox dbr:List_of_mathematical_proofs dbr:Epistemology dbr:Glossary_of_artificial_intelligence dbr:Contextualism dbr:Contradiction dbr:Criteria_of_truth dbr:Anekantavada dbr:Logic dbr:Fatalism dbr:Half-truth dbr:Many-valued_logic dbr:2-valued_logic dbr:Truth dbr:Wicked_problem dbr:Fuzzy_concept dbr:Fuzzy_set dbr:Is_Logic_Empirical? dbr:Law_of_excluded_middle dbr:Law_of_noncontradiction dbr:Logical_possibility dbr:Three-valued_logic dbr:Trivialism dbr:Philosophical_realism dbr:Psychon_(neurology) dbr:Temporal_logic dbr:Term_(logic) dbr:ThePrincipleOfBivalence dbr:You_are_either_with_us,_or_against_us dbr:Law_of_bivalence dbr:Suszko's_reduction dbr:Suszko's_thesis dbr:Suszko_reduction dbr:Suszko_thesis dbr:Buridan's_bridge dbr:Classical_logic dbr:Ian_Rumfitt dbr:Sorites_paradox dbr:Unipolar_encoding dbr:Unconventional_computing dbr:Truth-value_link dbr:Finite-valued_logic dbr:Relativism dbr:T-schema dbr:Philosophy_of_logic dbr:Theopoetics dbr:Principle_of_Bivalence dbr:Two_value_logic dbr:Two_valued_logic dbr:Two-valued_logic dbr:Bivalence_and_realism dbr:Bivalence_and_related_laws |
| is rdfs:seeAlso of | dbr:Many-valued_logic |
| is foaf:primaryTopic of | wikipedia-en:Principle_of_bivalence |