A free logic is a logic with fewer existential presuppositions than classical logic. Free logics may allow for terms that do not denote any object. Free logics may also allow models that have an empty domain. A free logic with the latter property is an inclusive logic.
| Attributes | Values |
|---|
| rdfs:label
| - Lògica lliure (ca)
- Volná logika (cs)
- Lógica libre (es)
- Free logic (en)
- Logica libera (it)
- Logika wolna (pl)
- Lógica livre (pt)
- 自由逻辑 (zh)
|
| rdfs:comment
| - La lògica lliure (de l'anglès Free logic) és un sistema lògic sense pressupòsits existencials. És a dir, els seus teoremes són vàlids en tots els dominis, incloent-hi el domini buit. Va ser proposada per primera vegada en la dècada dels anys cinquanta. , un dels seus fundadors, va ser qui va encunyar-ne el terme. D'acord amb Lambert, l'expressió «lògica lliure» és una abreviació de «lliure de suposicions d'existència respecte als seus termes, generals o singulars». (ca)
- Volná logika je logický systém, který na rozdíl od klasické logiky připouští jako model určité teorie i prázdnou množinu a připouští, aby jmenný symbol neoznačoval žádné individuum. Proto je volná logika ostře slabší než klasická logika - množina dokazatelných formulí ve volné logice je podmnožinou dokazatelných formulí v klasické logice. Tedy ve volné logice nemůžeme dokázat vše, co v klasické logice. (cs)
- A free logic is a logic with fewer existential presuppositions than classical logic. Free logics may allow for terms that do not denote any object. Free logics may also allow models that have an empty domain. A free logic with the latter property is an inclusive logic. (en)
- La lógica libre (del inglés Free logic) es un sistema lógico sin presupuestos existenciales. Esto es, sus teoremas son válidos en todos los dominios, incluyendo el dominio vacío. Fue propuesta por primera vez en la década del cincuenta. Karel Lambert, uno de sus fundadores, fue quien acuñó el término. De acuerdo con Lambert, la expresión "lógica libre" es una abreviación de "libre de suposiciones de existencia con respecto a sus términos, generales o singulares". (es)
- Una logica libera è una logica non classica, che ha un minor importo esistenziale della logica del primo ordine. Una logica libera permette ai termini di non denotare alcun membro del dominio di quantificazione; quando, oltre a questa possibilità, si aggiunge quella per il dominio di quantificazione di essere vuoto, si parla di logica inclusiva. (it)
- Logika wolna (ang. free logic) – logika wolna od założeń ontologicznych, takich jak założenie niepustości dziedziny. Jako pierwszy problem pustości dziedziny rozważał Andrzej Stanisław Mostowski, następnie zajmowali się nim m.in. , Quine, Hintikka, a także , Strawson, Leonard i Lambert (ten ostatni również wymyślił określenie logika wolna). (pl)
- Uma lógica livre é uma lógica com menos pressuposições existenciais do que a lógica clássica. Lógicas livres permitem termos que não denotam qualquer objeto. Lógicas livres também permitem modelos (estruturas) que tem um domínio vazio. Uma lógica livre com a última propriedade é uma lógica inclusiva. (pt)
- 自由逻辑是免除存在性的逻辑。或者说，它是定理在包括空域的所有论域中都有效的逻辑。 (zh)
|
| dct:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - La lògica lliure (de l'anglès Free logic) és un sistema lògic sense pressupòsits existencials. És a dir, els seus teoremes són vàlids en tots els dominis, incloent-hi el domini buit. Va ser proposada per primera vegada en la dècada dels anys cinquanta. , un dels seus fundadors, va ser qui va encunyar-ne el terme. D'acord amb Lambert, l'expressió «lògica lliure» és una abreviació de «lliure de suposicions d'existència respecte als seus termes, generals o singulars». (ca)
- Volná logika je logický systém, který na rozdíl od klasické logiky připouští jako model určité teorie i prázdnou množinu a připouští, aby jmenný symbol neoznačoval žádné individuum. Proto je volná logika ostře slabší než klasická logika - množina dokazatelných formulí ve volné logice je podmnožinou dokazatelných formulí v klasické logice. Tedy ve volné logice nemůžeme dokázat vše, co v klasické logice. (cs)
- A free logic is a logic with fewer existential presuppositions than classical logic. Free logics may allow for terms that do not denote any object. Free logics may also allow models that have an empty domain. A free logic with the latter property is an inclusive logic. (en)
- La lógica libre (del inglés Free logic) es un sistema lógico sin presupuestos existenciales. Esto es, sus teoremas son válidos en todos los dominios, incluyendo el dominio vacío. Fue propuesta por primera vez en la década del cincuenta. Karel Lambert, uno de sus fundadores, fue quien acuñó el término. De acuerdo con Lambert, la expresión "lógica libre" es una abreviación de "libre de suposiciones de existencia con respecto a sus términos, generales o singulares". (es)
- Una logica libera è una logica non classica, che ha un minor importo esistenziale della logica del primo ordine. Una logica libera permette ai termini di non denotare alcun membro del dominio di quantificazione; quando, oltre a questa possibilità, si aggiunge quella per il dominio di quantificazione di essere vuoto, si parla di logica inclusiva. (it)
- Logika wolna (ang. free logic) – logika wolna od założeń ontologicznych, takich jak założenie niepustości dziedziny. Jako pierwszy problem pustości dziedziny rozważał Andrzej Stanisław Mostowski, następnie zajmowali się nim m.in. , Quine, Hintikka, a także , Strawson, Leonard i Lambert (ten ostatni również wymyślił określenie logika wolna). (pl)
- Uma lógica livre é uma lógica com menos pressuposições existenciais do que a lógica clássica. Lógicas livres permitem termos que não denotam qualquer objeto. Lógicas livres também permitem modelos (estruturas) que tem um domínio vazio. Uma lógica livre com a última propriedade é uma lógica inclusiva. (pt)
- 自由逻辑是免除存在性的逻辑。或者说，它是定理在包括空域的所有论域中都有效的逻辑。 (zh)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is main interests
of | |
| is main interest
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)