About: Logical consequence     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatConceptsInLogic, within Data Space : dbpedia.org associated with source document(s)

Logical consequence (also Entailment) is a fundamental concept in logic, which describes the relationship between statements that holds true when one statement logically follows from one or more statements. A valid logical argument is one in which the conclusions entail from the premises, because the conclusions are consequences of the premises. The philosophical analysis of logical consequence involves the questions: In what sense does a conclusion follow from its premises? and What does it mean for a conclusion to be a consequence of premises? All of philosophical logic is meant to provide accounts of the nature of logical consequence and the nature of logical truth.

AttributesValues
rdf:type
rdfs:label
  • Logical consequence
  • استتباع منطقي
  • Implikation
  • Consecuencia lógica
  • Déduction logique
  • 論理的帰結
  • Logisch gevolg
  • Implikacja logiczna
  • Consequência lógica
  • 蕴涵
rdfs:comment
  • En lógica, la consecuencia lógica es la relación entre las premisas y la conclusión de un argumento deductivamente válido. La relación de consecuencia lógica es un concepto central a la lógica. Dos características generalmente aceptadas de la relación de consecuencia lógica son que es necesaria y además formal.
  • الاستتباع المنطقي أو التضمين أو الاقتضاء أو الاستلزام هو أحد المفاهيم الأساسية في المنطق، وهو يعبر عن العلاقة بين افتراضات تكون صحيحة عندما تلي كل خطوة التالية بتسلسل منطقي. إن مدى صحّة أي حجة منطقية يكون إذا أمكن وجود تالٍ من المقدمات، وإذا كانت نتائج الحجة هي نتائج فرضيتها. إن التحليل الفلسفي للتوالي المنطقية يتضمن السؤال: ما هو مقدار صواب استنتاج تال من فرضيته؟ وماذا يعني أن يكون الاستنباط تالياً للفرضيات؟. يمكن القول أن حجج المنطق الفلسفي تعطي أهمية بالغة لطبيعة التضمين أو الاقتضاء وكذلك للحقيقة المنطقية.
  • 論理的帰結(ろんりてききけつ、伴意、英: logical consequence, entailment)は、論理学における最も基本的な概念であり、複数の文(または命題)の集合と1つの文(命題)の間が「~だから、当然~」という繋がり方をする関係を指す。例えば、「カーミットは緑色だ」という文は、「全てのカエルは緑色だ」と「カーミットはカエルだ」の論理的帰結である。 このような論理的帰結の確かさは、前提が真かどうか、および完全かどうかに依存する。この前提は全てのカエルが緑色でない場合は真ではないことになる。演繹による推論や論理的帰結は認識論の重要な面であり、因果に関する一般的仮説を伝達する意味を持つ。 形式的な論理的帰結関係はモデル理論的なものと証明論的なもの(あるいは両方)がある。 論理的帰結は、文の集合から文の集合への関数としても表現できる(タルスキ風の定式化)し、2つの文の集合の間の関係としても表現できる(multiple-conclusion logic)。
  • 蕴涵(implication或entailment)在命题逻辑和谓词逻辑中用来描述在两个句子或句子的集合之间的联系。
  • Eine Implikation oder ein Konditional (von lat. implicare „ver-, einwickeln“) bezeichnet in der Logik 1. * einerseits eine von mehreren möglichen logischen Verknüpfungen (Junktoren) zwischen zwei Aussagenvariablen: . Gelesen: "Für jedes Individuum x gilt: Wenn x die Eigenschaft A besitzt, dann besitzt es auch die Eigenschaft B." Die Analyse der Aussage in den Prädikator und sein Argument, insbesondere die formale Implikation, findet sich in etwa schon bei Platon und Aristoteles.
  • 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.
  • Implikacja logiczna (wynikanie) – relacja (lub w innym ujęciu symbol relacyjny) pomiędzy teoriami (zbiorami zdań logicznych) i jest spełniona, gdy każdy model teorii jest także modelem teorii . Często jest mylona z implikacją materialną, będącą szczególnym przypadkiem zdania. Bez odwoływania się do teorii modeli można stwierdzić, że implikacja logiczna jest prawdziwa wtedy i tylko wtedy, gdy nie jest możliwe, że zdanie jest fałszywe i jednocześnie wszystkie zdania są prawdziwe. Implikacja logiczna jest oznaczana: Zawsze prawdziwe prawa logiczne (wynikające z pustego zbioru twierdzeń) oznaczane są: .
  • La déduction logique est un type de relation que l'on rencontre en logique mathématique. Elle relie des propositions dites prémisses à une proposition dite conclusion et préserve la vérité. Prémisses et conclusion qui sont ainsi reliées par une règle de déduction, assurent que si la règle est valide et si les prémisses sont vraies, la conclusion est elle aussi vraie. On dit alors que la conclusion est une conséquence des prémisses, ou parfois que la conclusion vient des prémisses. L'analyse philosophique pose des questions comme « Dans quel sens une conclusion vient-elle des prémisses? » ou « Que signifie pour une conclusion d'être une conséquence de certaines prémisses ? ». La logique philosophique peut donc être définie comme la compréhension et l’analyse de la nature des conséquences lo
  • Consequência lógica é um conceito fundamental na lógica. Trata-se de uma relação entre um conjunto de sentenças (ou proposições) 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.
  • Logical consequence (also Entailment) is a fundamental concept in logic, which describes the relationship between statements that holds true when one statement logically follows from one or more statements. A valid logical argument is one in which the conclusions entail from the premises, because the conclusions are consequences of the premises. The philosophical analysis of logical consequence involves the questions: In what sense does a conclusion follow from its premises? and What does it mean for a conclusion to be a consequence of premises? All of philosophical logic is meant to provide accounts of the nature of logical consequence and the nature of logical truth.
rdfs:seeAlso
sameAs
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git39 as of Aug 09 2019


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3235 as of Sep 1 2020, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2020 OpenLink Software