An Entity of Type: Abstraction100002137, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Logical possibility refers to a logical proposition that cannot be disproved, using the axioms and rules of a given system of logic. The logical possibility of a proposition will depend upon the system of logic being considered, rather than on the violation of any single rule. Some systems of logic restrict inferences from inconsistent propositions or even allow for true contradictions. Other logical systems have more than two truth-values instead of a binary of such values. However, when talking about logical possibility, it is often assumed that the system in question is classical propositional logic. Similarly, the criterion for logical possibility is often based on whether or not a proposition is contradictory and as such, is often thought of as the broadest type of possibility.

Property Value
dbo:abstract
  • Logical possibility refers to a logical proposition that cannot be disproved, using the axioms and rules of a given system of logic. The logical possibility of a proposition will depend upon the system of logic being considered, rather than on the violation of any single rule. Some systems of logic restrict inferences from inconsistent propositions or even allow for true contradictions. Other logical systems have more than two truth-values instead of a binary of such values. However, when talking about logical possibility, it is often assumed that the system in question is classical propositional logic. Similarly, the criterion for logical possibility is often based on whether or not a proposition is contradictory and as such, is often thought of as the broadest type of possibility. In modal logic, a logical proposition is possible if it is true in some possible world. The universe of "possible worlds" depends upon the axioms and rules of the logical system in which one is working, but given some logical system, any logically consistent collection of statements is a possible world. The modal diamond operator is used to express possibility: denotes "proposition is possible". Logical possibility should be distinguished from other sorts of subjunctive possibilities. But the relationship between modalities (if there is any) is the subject of debate and may depend upon how one views logic, as well as the relationship between logic and metaphysics, for example, many philosophers following Saul Kripke have held that discovered identities such as "Hesperus = Phosphorus" are metaphysically necessary because they pick out the same object in all possible worlds where the terms have a referent. However, it is nonetheless logically possible for “Hesperus = Phosphorus” to be false, since denying it doesn't violate a logical rule such as consistency. Other philosophers are also of the view that logical possibility is broader than metaphysical possibility, so that anything which is metaphysically possible is also logically possible. (en)
  • La possibilité logique fait référence à une proposition qui peut être la conséquence logique d'une autre, basée sur les axiomes d'un système logique donné. Par conséquent, une proposition logiquement possible est celle qui est cohérente avec les axiomes du système logique dans lequel elle se trouve. formulé. Par conséquent, la possibilité d'une proposition dépendra du système logique utilisé. Certains systèmes logiques restreignent les inférences basées sur des propositions incohérentes ou permettent de vraies contradictions, tandis que d'autres ont une logique à plusieurs valeurs au lieu du système binaire à deux valeurs de vérité : vrai ou faux. Cependant, en ce qui concerne la possibilité logique, on suppose généralement que le système en question est une logique propositionnelle classique. La possibilité logique doit être différenciée des autres types de possibilités subjonctives. Par exemple, il peut être logiquement possible que les lois physiques de l'univers soient différentes de ce qu'elles sont réellement. Dans ce cas, beaucoup de choses — que nous considérons impossibles — deviennent logiquement possibles : par exemple, voyager plus vite que la lumière ou s'échapper de trous noirs peut être possible. De nombreux philosophes ont donc soutenu que ces scénarios sont logiquement possibles, mais en pratique impossibles du fait des lois physiques. Avec cette compréhension de la possibilité logique à l'esprit, d'autres modalités logiques peuvent être définies : * une proposition est logiquement nécessaire s'il n'est pas possible qu'elle soit fausse dans un système logique ; * une proposition est logiquement impossible s'il n'est pas possible qu'elle soit vraie dans un système logique ; * une proposition est logiquement contingente si elle peut être logiquement soit vraie soit fausse. La possibilité logique se distingue de la possibilité métaphysique : alors que la première se réfère à ce qui est permis dans un système logique, la seconde concerne ce qui peut être vrai (ou exister) dans l'absolu. Ainsi, certaines propositions sont logiquement possibles (dans un système logique donné) bien que métaphysiquement impossibles, ou à l'inverse logiquement impossibles alors qu'elles pourraient être vraies dans un monde possible. Mais certains philosophes soutiennent que la possibilité logique est plus large que la possibilité métaphysique, de sorte que tout ce qui est métaphysiquement possible l'est aussi logiquement. (fr)
  • Kemungkinan logis merujuk kepada suatu proposisi yang tidak kontradiktif secara logis. Ini berarti bahwa suatu proposisi dianggap mungkin secara logis bila ada cara agar proposisi tersebut menjadi benar. Misalnya, "langit berwarna biru" adalah proposisi yang mungkin secara logis karena ada cara logis agar dunia menjadi seperti itu. Tanpa memedulikan warna langit yang sebenarnya, selama proposisi itu koheren secara logis maka proposisi itu mungkin secara logis. Misalnya, "langit berwarna hijau", walaupun salah, merupakan sesuatu yang mungkin secara logis selama prinsip dasar logika tidak dilanggar. Sementara itu, proposisi yang tidak mungkin secara logis adalah proposisi yang tak mungkin benar dalam keadaan apapun di alam semesta manapun karena melanggar asas-asas logika. Sebagai contoh, walaupun "langit berwarna hijau" itu mungkin secara logis, "segitiga yang berbentuk lingkaran" atau "kecemburuan berwarna hijau" tidak mungkin secara logis. (in)
  • Possibilidade lógica refere-se a uma proposição que pode ser a consequência lógica de outra, baseada nos axiomas de um dado sistema lógico.Portanto, uma proposição logicamente possível é aquela que é consistente com os axiomas do sistema lógico dentro do qual é formulada. Logo, a possibilidade de uma proposição irá depender do sistema lógico utilizado. Alguns sistemas lógicos restringem inferências baseadas em proposições inconsistentes ou permitem verdadeiras contradições, outros enquanto outros têm uma lógica multivalorada em vez de um binário de valores de verdade (verdadeiro ou falso).Todavia, quando se fala de possibilidade lógica, geralmente assume-se que o sistema em questão é a Lógica proposicional clássica. A possibilidade lógica deve ser diferenciada de outros tipos de possibilidades subjuntivas. Por exemplo, pode ser logicamente possível que as leis físicas do universo sejam diferentes do que realmente são. Nesse caso, muitas coisas - que, para nós, são consideradas comprovadamente impossíveis - podem ser logicamente possíveis: por exemplo, viajar mais rápido do que a luz ou escapar dos buracos negros pode ser possível. Muitos filósofos, então, têm sustentado que esses cenários são logicamente possíveis, mas nomologicamente impossíveis, isto é, impossíveis, segundo as leis da natureza. Com esta compreensão de possibilidade lógica em mente, outras modalidades lógicas podem ser definidas: * uma proposição é logicamente necessária se não é possível que ela seja falsa em algum sistema lógico * uma proposição é logicamente impossível se não é possível que ela seja verdadeira em algum sistema lógico * uma proposição é logicamente contingente se for logicamente possível que ela seja verdadeira e logicamente possível que seja falsa A possibilidade lógica distingue-se da possibilidade metafísica: enquanto a primeira refere-se ao que é permitido em um sistema lógico, a segunda diz respeito ao que pode ser verdadeiro em (ou existe em) algum mundo possível. Assim, algumas proposições são logicamente possíveis (em um dado sistema lógico) embora metafisicamente impossíveis, ou logicamente impossíveis, podendo ser verdadeiras em algum mundo possível. Mas alguns filósofos sustentam que a possibilidade lógica é mais ampla do que a possibilidade metafísica, de modo que qualquer coisa que seja metafisicamente possível é também logicamente possível. (pt)
  • Логическая вероятность — логическое отношение между двумя предложениями, степень подтверждения гипотезы H свидетельством E. Понятие логической вероятности является одной из интерпретаций понятия вероятности наряду с частотной вероятностью и субъективной вероятностью. Формально логическая вероятность является функцией предложений какого-либо языка. Аналитическим предложениям (тавтологиям) приписывается единичное значение этой функции; противоречиям — нулевое; синтетическим предложениям — любое действительное число из интервала (0, 1). Конкретные значения логической вероятности для каждого её синтетического аргумента H зависят от другого предложения E, которое можно интерпретировать как описание знаний некоторого субъекта. По этой причине логическую вероятность называют эпистемологической (зависящей от знаний) вероятностью. В некотором смысле её также можно трактовать и как разновидность субъективной вероятности. Однако значения логической вероятности однозначно определяются заданной системой знаний и, в этом смысле, имеют объективный характер. В научной литературе принято различать логическую и субъективную вероятности. Поскольку предложения языка описывают некоторые события или состояния, то логическую вероятность также можно рассматривать как функцию этих событий или состояний. (ru)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 394008 (xsd:integer)
dbo:wikiPageLength
  • 3101 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1002665649 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdf:type
rdfs:comment
  • Logical possibility refers to a logical proposition that cannot be disproved, using the axioms and rules of a given system of logic. The logical possibility of a proposition will depend upon the system of logic being considered, rather than on the violation of any single rule. Some systems of logic restrict inferences from inconsistent propositions or even allow for true contradictions. Other logical systems have more than two truth-values instead of a binary of such values. However, when talking about logical possibility, it is often assumed that the system in question is classical propositional logic. Similarly, the criterion for logical possibility is often based on whether or not a proposition is contradictory and as such, is often thought of as the broadest type of possibility. (en)
  • Kemungkinan logis merujuk kepada suatu proposisi yang tidak kontradiktif secara logis. Ini berarti bahwa suatu proposisi dianggap mungkin secara logis bila ada cara agar proposisi tersebut menjadi benar. Misalnya, "langit berwarna biru" adalah proposisi yang mungkin secara logis karena ada cara logis agar dunia menjadi seperti itu. Tanpa memedulikan warna langit yang sebenarnya, selama proposisi itu koheren secara logis maka proposisi itu mungkin secara logis. Misalnya, "langit berwarna hijau", walaupun salah, merupakan sesuatu yang mungkin secara logis selama prinsip dasar logika tidak dilanggar. (in)
  • La possibilité logique fait référence à une proposition qui peut être la conséquence logique d'une autre, basée sur les axiomes d'un système logique donné. Par conséquent, une proposition logiquement possible est celle qui est cohérente avec les axiomes du système logique dans lequel elle se trouve. formulé. Par conséquent, la possibilité d'une proposition dépendra du système logique utilisé. Avec cette compréhension de la possibilité logique à l'esprit, d'autres modalités logiques peuvent être définies : (fr)
  • Possibilidade lógica refere-se a uma proposição que pode ser a consequência lógica de outra, baseada nos axiomas de um dado sistema lógico.Portanto, uma proposição logicamente possível é aquela que é consistente com os axiomas do sistema lógico dentro do qual é formulada. Logo, a possibilidade de uma proposição irá depender do sistema lógico utilizado. Com esta compreensão de possibilidade lógica em mente, outras modalidades lógicas podem ser definidas: (pt)
  • Логическая вероятность — логическое отношение между двумя предложениями, степень подтверждения гипотезы H свидетельством E. Понятие логической вероятности является одной из интерпретаций понятия вероятности наряду с частотной вероятностью и субъективной вероятностью. Формально логическая вероятность является функцией предложений какого-либо языка. Аналитическим предложениям (тавтологиям) приписывается единичное значение этой функции; противоречиям — нулевое; синтетическим предложениям — любое действительное число из интервала (0, 1). Конкретные значения логической вероятности для каждого её синтетического аргумента H зависят от другого предложения E, которое можно интерпретировать как описание знаний некоторого субъекта. По этой причине логическую вероятность называют эпистемологической (з (ru)
rdfs:label
  • Kemungkinan logis (in)
  • Possibilité et impossibilité (fr)
  • Logical possibility (en)
  • Possibilidade lógica (pt)
  • Логическая вероятность (ru)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License