Free logic
http://dbpedia.org/resource/Free_logic
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».
rdf:langString
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.
rdf:langString
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.
rdf:langString
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".
rdf:langString
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.
rdf:langString
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).
rdf:langString
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.
rdf:langString
自由逻辑是免除存在性的逻辑。或者说，它是定理在包括空域的所有论域中都有效的逻辑。
rdf:langString
rdf:langString
Lògica lliure
rdf:langString
Volná logika
rdf:langString
Lógica libre
rdf:langString
Free logic
rdf:langString
Logica libera
rdf:langString
Logika wolna
rdf:langString
Lógica livre
rdf:langString
自由逻辑
xsd:integer
1635110
xsd:integer
1119357399
rdf:langString
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».
rdf:langString
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.
rdf:langString
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.
rdf:langString
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".
rdf:langString
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.
rdf:langString
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).
rdf:langString
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.
rdf:langString
自由逻辑是免除存在性的逻辑。或者说，它是定理在包括空域的所有论域中都有效的逻辑。
xsd:nonNegativeInteger
7418