Logical consequence is a fundamental concept in logic. It is the relation that holds between a set of sentences and a sentence (proposition) when the former "entails" the latter. For example, 'Kermit is green' is said to be a logical consequence of 'All frogs are green' and 'Kermit is a frog', because it would be "self-contradictory" to affirm the latter and deny the former. Logical consequence is the relationship between the premises and the conclusion of a valid argument.

PropertyValue
dbpprop:abstract
  • Logical consequence is a fundamental concept in logic. It is the relation that holds between a set of sentences and a sentence (proposition) when the former "entails" the latter. For example, 'Kermit is green' is said to be a logical consequence of 'All frogs are green' and 'Kermit is a frog', because it would be "self-contradictory" to affirm the latter and deny the former. Logical consequence is the relationship between the premises and the conclusion of a valid argument. These explanations and definitions tend to be circular; the provision of a satisfactory account of logical consequence and entailment is an important topic of philosophy of logic. The truth of the above consequence depends on both the truth of the antecedents and the relationship of logical consequence between the antecedents and the consequence. The consequence might NOT be true if not all frogs were green. Logical consequences or inferences by deductive reasoning are a major aspect of epistemology that communicates to the general public hypotheses about causality of risk factors. A formally specified logical consequence relation may be characterized model-theoretically or proof-theoretically (or both). Logical consequence can also be expressed as a function from sets of sentences to sets of sentences, or as a relation between two sets of sentences.
  • Konsequenz (von lateinisch consequi folgen, erreichen) ist eine – oft zwingende, mindestens jedoch mögliche – Folge eines Anfangssachverhaltes: wenn A stattfindet, resultiert daraus – zwingend oder möglicherweise – B. Genauer: Als Konsequenz bezeichnet man einen Sachverhalt im Hinblick auf seine Entstehungsgeschichte. Ein solcher Sachverhalt stellt eine nicht unbedingt kausale Folge oder kausale Konfiguration von Folgen einer oder mehrerer vorangegangener Handlungen oder Sachverhalte dar. Als konsequent wird manchmal auch die Zielstrebigkeit des Handelns einer Person bezeichnet. Das Gegenteil von Konsequenz ist Inkonsequenz: Eine Handlung anzukündigen, diese aber nicht durchzuführen. Im Kontext sozialen Handelns tritt die negative Konsequenz häufig in Form einer Sanktion auf, die auf der Grundlage von Normen und Konventionen von Dritten bewusst initiiert wird.
  • La conseqüència lògica és probablement el concepte fonamental de la lògica. És la relació que hi ha entre un conjunt de proposicions i una proposició quan la darrera "se segueix" de les primeres. Per exemple, En Cobi té quatre potes és conseqüència lògica de Tots els gossos tenen quatre potes i En Cobi és un gos. És, per tant, la relació que es dóna entre premisses i conclusió en un argument lògicament correcte, i també és la relació que s'obté en un procés d'inferència deductiva o de demostració entre la proposició inferida o demostrada i les que s'han usat com a hipòtesis.
  • La consecuencia lógica es la relación que conecta una afirmación cualquiera o un conjunto de afirmaciones cualesquiera con aquello que está lógicamente implicado por ella o ellas. Por ejemplo, la proposición "A Juan le gusta cantar canciones de amor que lo hagan sufrir" se sigue como consecuencia lógica de las proposiciones "A todos los mexicanos les gusta cantar canciones de amor que los hagan sufrir" y "Juan es mexicano". Desde el punto de vista semántico, el símbolo |= representa la relación de consecuencia lógica. Allí donde Σ es un conjunto de fórmulas de un sistema formal S y donde φ es una fórmula de S: φ es una consecuencia lógica en S de Σ si cada uno de los modelos de S que asigna el valor de verdad a cada miembro de Σ también asigna el valor de verdad a φ. Lo anterior puede abreviarse como sigue: Σ |= φ Una fórmula φ es una verdad modelo-teórica de S si cada uno de los modelos de S asigna el valor de verdad a φ.
  • 論理的帰結（ろんりてききけつ、英: Logical consequence）は、論理学における最も基本的な概念であり、複数の文（または命題）の集合と1つの文（命題）の間が「～だから、当然～」という繋がり方をする関係を指す。例えば、「カーミットは緑色だ」という文は、「全てのカエルは緑色だ」と「カーミットはカエルだ」の論理的帰結である。 このような論理的帰結の確かさは、前提が真かどうか、および完全かどうかに依存する。この前提は全てのカエルが緑色でない場合は真ではないことになる。演繹による推論や論理的帰結は認識論の重要な面であり、因果に関する一般的仮説を伝達する意味を持つ。 形式的な論理的帰結関係はモデル理論的なものと証明論的なもの（あるいは両方）がある。 論理的帰結は、文の集合から文の集合への関数としても表現できる（タルスキ風の定式化）し、2つの文の集合の間の関係としても表現できる（multiple-conclusion logic）。
  • Met logisch gevolg of logische consequentie wordt zowel in de logica als in de wiskunde de tweeplaatsige relatie tussen een verzameling zinnen en/of proposities, waarbij de laatste zin/propositie een logische implicatie is van de voorafgaande bedoeld. Logische gevolgen zijn het resultaat van deductie en vormen een fundamenteel concept binnen de logica. Logische gevolgen worden samen met gevolgtrekkingen in de epistemologie gebruikt voor het doen van hypotheses omtrent de causaliteit van risicofactoren. Een voorbeeld van een logisch gevolg is de zin "Beatrix houdt elk jaar op Prinsjesdag de Troonrede". Deze zin is een logische implicatie is van de twee zinnen "Beatrix is de koningin van Nederland" en "De koningin van Nederland houdt elk jaar op Prinsjesdag de Troonrede". Het zou logisch gezien niet kloppen om een van deze twee proposities te ontkennen en tegelijkertijd toch de propositie "Beatrix houdt elk jaar op Prinsjesdag de Troonrede" voor waar aan te nemen, aangezien de waarheidswaarde van de laatste propositie is namelijk volledig afhankelijk van die van de andere twee. Als in de ook maar iets zou veranderen - bijvoorbeeld doordat Beatrix niet langer koningin van Nederland zou zijn of doordat de Troonrede naar een andere dag zou worden verplaatst - verliest de propositie "Beatrix houdt elk jaar op Prinsjesdag de Troonrede" haar geldigheidswaarde. Een formeel beschreven logisch gevolg kan binnen de modeltheorie of de bewijstheorie of beide worden gekarakteriseerd. Een logisch gevolg kan ook worden beschreven als een wiskundige functie, waarbij de ene reeks zinnen de invoer en de andere reeks de uitvoer is.
  • Consequência lógica é um conceito fundamental na lógica. Trata-se de uma relação entre um conjunto de sentenças e uma sentença (proposição),na qual o primeiro acarreta o segundo. Por exemplo, diz-se que " Caco é verde" é uma consequência lógica de "todos os sapos são verdes" e "Caco é um sapo", porque seria "auto-contraditório" afirmar estas últimas sentenças e negar a primeira. A consequência lógica é a relação entre as premissas e a conclusão de um argumento válido. Estas definições tendem a ser circulares; fornecer uma explicação razoável para consequência lógica e para o acarretamento constitui um tópico importante da Filosofia da lógica. A verdade da consequência acima depende tanto da verdade dos antecedentes quantoda relação de consequência lógica entre os antecedentes e o consequente. A consequência poderá não ser verdadeira, se nem todos os sapos forem verdes. Consequências lógicas ou inferências por raciocínio dedutivo são um aspecto importante da epistemologia que comunica ao público em geral hipóteses a cerca da causalidade de fatores de risco. Uma relação de consequência lógica especificada formalmente pode ser caracterizada através da teoria dos modelos ou da teoria da demonstração (ou ambos). A consequência lógica também pode ser expressa como uma função de conjuntos de sentenças para conjuntos de sentenças (a formulação preferida de Tarski), ou como uma relação entre dois conjuntos de sentenças (lógica de conclusão múltipla).
  • Konsekvens är ett av de mest centrala begreppen som all logik bygger på. Allt vad vi företar oss präglas av naturens grundläggande konsekvensförhållanden som vi inte förmår att komma runt, och tillvaron skulle dessutom vara omöjlig utan några konsekvensförhållanden alls. I formella system används härledningsregler för att reglera konsekventa beteenden mellan symboler, baserade på deras inbördes mening. Om ett formellt system avser att avbilda fysiska förhållanden måste härledningsreglerna även avbilda den reella världens konsekvensrelationer så att (de reella förhållanden) avbildande kombinationerna av symboler också får samma inbördes relationer. Detta kallas då ofta för logisk konsekvens, en slutsats som är formellt korrekt (är en konsekvens) i det formella systemet, men vars kvalité (avbildning av reella förhållanden) beror på hur väl symbolernas mening och härledningsreglerna har fångat den reella verklighetens egen mening och konsekvens.
dbpprop:hasPhotoCollection
dbpprop:reference
rdfs:comment
  • Logical consequence is a fundamental concept in logic. It is the relation that holds between a set of sentences and a sentence (proposition) when the former "entails" the latter. For example, 'Kermit is green' is said to be a logical consequence of 'All frogs are green' and 'Kermit is a frog', because it would be "self-contradictory" to affirm the latter and deny the former. Logical consequence is the relationship between the premises and the conclusion of a valid argument.
  • Konsequenz (von lateinisch consequi folgen, erreichen) ist eine – oft zwingende, mindestens jedoch mögliche – Folge eines Anfangssachverhaltes: wenn A stattfindet, resultiert daraus – zwingend oder möglicherweise – B. Genauer: Als Konsequenz bezeichnet man einen Sachverhalt im Hinblick auf seine Entstehungsgeschichte.
  • La conseqüència lògica és probablement el concepte fonamental de la lògica. És la relació que hi ha entre un conjunt de proposicions i una proposició quan la darrera "se segueix" de les primeres. Per exemple, En Cobi té quatre potes és conseqüència lògica de Tots els gossos tenen quatre potes i En Cobi és un gos.
  • La consecuencia lógica es la relación que conecta una afirmación cualquiera o un conjunto de afirmaciones cualesquiera con aquello que está lógicamente implicado por ella o ellas. Por ejemplo, la proposición "A Juan le gusta cantar canciones de amor que lo hagan sufrir" se sigue como consecuencia lógica de las proposiciones "A todos los mexicanos les gusta cantar canciones de amor que los hagan sufrir" y "Juan es mexicano".
  • Met logisch gevolg of logische consequentie wordt zowel in de logica als in de wiskunde de tweeplaatsige relatie tussen een verzameling zinnen en/of proposities, waarbij de laatste zin/propositie een logische implicatie is van de voorafgaande bedoeld. Logische gevolgen zijn het resultaat van deductie en vormen een fundamenteel concept binnen de logica.
  • Consequência lógica é um conceito fundamental na lógica. Trata-se de uma relação entre um conjunto de sentenças e uma sentença (proposição),na qual o primeiro acarreta o segundo. Por exemplo, diz-se que " Caco é verde" é uma consequência lógica de "todos os sapos são verdes" e "Caco é um sapo", porque seria "auto-contraditório" afirmar estas últimas sentenças e negar a primeira. A consequência lógica é a relação entre as premissas e a conclusão de um argumento válido.
  • Konsekvens är ett av de mest centrala begreppen som all logik bygger på. Allt vad vi företar oss präglas av naturens grundläggande konsekvensförhållanden som vi inte förmår att komma runt, och tillvaron skulle dessutom vara omöjlig utan några konsekvensförhållanden alls. I formella system används härledningsregler för att reglera konsekventa beteenden mellan symboler, baserade på deras inbördes mening.
rdfs:label
  • Logical consequence
  • Konsequenz
  • Conseqüència lògica
  • Consecuencia lógica
  • 論理的帰結
  • Logisch gevolg
  • Consequência lógica
  • Konsekvens (logik)
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of