Free logic (original) (raw)
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».
| Property | Value |
|---|---|
| dbo: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) |
| dbo:wikiPageExternalLink | https://philpapers.org/rec/LAMPAO |
| dbo:wikiPageID | 1635110 (xsd:integer) |
| dbo:wikiPageLength | 7418 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1119357399 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Bertrand_Russell dbr:Square_of_opposition dbr:Theory_of_Descriptions dbr:Logic dbr:Empty_domain dbr:Structure_(mathematical_logic) dbr:Willard_Van_Orman_Quine dbc:Non-classical_logic dbr:First-order_logic dbr:Karel_Lambert dbr:Jaakko_Hintikka dbr:Wesley_C._Salmon dbr:Domain_of_discourse dbr:Axiom dbr:Classical_logic dbr:Term_(first-order_logic) dbr:Existential_clause dbr:Existential_generalization dbr:Table_of_logic_symbols |
| dbp:wikiPageUsesTemplate | dbt:Cite_book dbt:Reflist dbt:Short_description dbt:Cite_SEP dbt:Mathematical_logic |
| dct:subject | dbc:Non-classical_logic |
| gold:hypernym | dbr:Logic |
| 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) |
| 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) |
| owl:sameAs | freebase:Free logic wikidata:Free logic dbpedia-ca:Free logic dbpedia-cs:Free logic dbpedia-es:Free logic dbpedia-fa:Free logic dbpedia-it:Free logic dbpedia-pl:Free logic dbpedia-pt:Free logic dbpedia-zh:Free logic https://global.dbpedia.org/id/3ECej |
| prov:wasDerivedFrom | wikipedia-en:Free_logic?oldid=1119357399&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Free_logic |
| is dbo:mainInterest of | dbr:Bas_van_Fraassen |
| is dbo:wikiPageRedirects of | dbr:Inclusive_logic dbr:Problem_of_existential_import |
| is dbo:wikiPageWikiLink of | dbr:Mereology dbr:Principle_of_bivalence dbr:Bas_van_Fraassen dbr:Richard_Sylvan dbr:Czesław_Lejewski dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(D–H) dbr:Timeline_of_Polish_science_and_technology dbr:Square_of_opposition dbr:Zermelo–Fraenkel_set_theory dbr:Empty_domain dbr:Empty_set dbr:Willard_Van_Orman_Quine dbr:Game_semantics dbr:Dialogical_logic dbr:Karel_Lambert dbr:E!_(disambiguation) dbr:Hugh_MacColl dbr:Rolf_Schock dbr:Extension_(semantics) dbr:Philosophical_logic dbr:Stanisław_Jaśkowski dbr:Philosophy_of_logic dbr:Outline_of_logic dbr:Truth-value_semantics dbr:Inclusive_logic dbr:Problem_of_existential_import |
| is dbp:mainInterests of | dbr:Bas_van_Fraassen |
| is foaf:primaryTopic of | wikipedia-en:Free_logic |