Free logic is a logic with no existential presuppositions. Alternatively, it is a logic whose theorems are valid in all domains, including the empty domain.
| Property | Value |
|---|
| dbpprop:abstract
|
- Free logic is a logic with no existential presuppositions. Alternatively, it is a logic whose theorems are valid in all domains, including the empty domain.
- 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.
- La lógica libre (del inglés Free logic) es un importante campo de la lógica que apareció por primera vez en la década del cincuenta. Uno de sus fundadores es Karel Lambert, quien acuñó el término. De acuerdo con este autor la expresión lógica libre es una abreviatura de "libre de suposiciones de existencia con respecto a sus términos, generales o singulares".
- Logika wolna (ang. free logic) to logika wolna od założeń ontologicznych, takich jak założenie niepustości dziedziny. Jako pierwszy problem pustości dziedziny rozważał Andrzej Mostowski, następnie zajmowali się nim m. in Hailperin, Quine, Hintikka, a także van Frassen, Strawson, Leonard i Lambert (ten ostatni również wymyślił określenie logika wolna).
- 自由逻辑是免除存在性假定的逻辑。或者说，它是定理在包括空域的所有论域中都有效的逻辑。
|
| dbpprop:hasPhotoCollection
| |
| rdfs:comment
|
- Free logic is a logic with no existential presuppositions. Alternatively, it is a logic whose theorems are valid in all domains, including the empty domain.
- 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.
- La lógica libre (del inglés Free logic) es un importante campo de la lógica que apareció por primera vez en la década del cincuenta. Uno de sus fundadores es Karel Lambert, quien acuñó el término. De acuerdo con este autor la expresión lógica libre es una abreviatura de "libre de suposiciones de existencia con respecto a sus términos, generales o singulares".
- Logika wolna (ang. free logic) to logika wolna od założeń ontologicznych, takich jak założenie niepustości dziedziny. Jako pierwszy problem pustości dziedziny rozważał Andrzej Mostowski, następnie zajmowali się nim m. in Hailperin, Quine, Hintikka, a także van Frassen, Strawson, Leonard i Lambert (ten ostatni również wymyślił określenie logika wolna).
- 自由逻辑是免除存在性假定的逻辑。或者说，它是定理在包括空域的所有论域中都有效的逻辑。
|
| rdfs:label
|
- Free logic
- Volná logika
- Lógica libre
- Logika wolna
- 自由逻辑
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
| is dbpprop:redirect
of | |
![[RDF Data]](/statics/sw-cube.png)
