Obversion
http://dbpedia.org/resource/Obversion an entity of type: Thing
Obwersja (łac. - obversio) — wnioskowanie polegające na dodaniu negacji do orzecznika zdania z jednoczesną zmianą jego jakości, innymi słowy zgodnie z następującymi prawami logiki tradycyjnej:
* SaP → SeP'
* SeP → SaP'
* SiP → SoP'
* SoP → SiP' Na przykład:
* Każdy kot jest ssakiem. Zatem: Żaden kot nie jest nie-ssakiem.
* Żadna mrówka nie jest słoniem. Zatem: Każda mrówka jest nie-słoniem.
rdf:langString
Una obversió lògica és una de les operacions que la lògica clàssica tradicional admetia com a operació lògica. Consisteix en la modificació del judici aristotèlic de manera que canviant la qualitat del judici, afirmatiu-negatiu, i negant el terme predicat, obtenim un judici equivalent. D'aquesta manera: Tot S és P s'obverteix a Cap S és no-P Tots els espanyols són europeus Cap espanyol és no-europeu Cap S és P s'obverteix a Tot S és no-p Cap espanyol és americà Tot espanyol és no-americà Algun S és P s'obverteix a Algun S no és no-p Algun espanyol és ros Algun espanyol no és no-ros
rdf:langString
En lógica tradicional, la obversión es un "tipo de inferencia inmediata en la cual a partir de una proposición dada se infiere otra proposición cuyo tema es el mismo que el sujeto original y cuyo predicado es contradictorio al predicado original, y cuya cualidad es afirmativa si la cualidad de la proposición original fuese negativa y viceversa". La cualidad de la proposición categórica inferida cambia, pero el valor de verdad es equivalente al de la proposición inicial. La proposición inferida inmediatamente se denomina "anverso" de la proposición original, y es una forma válida de inferencia para todos los tipos de proposiciones categóricas (A, E, I, O).
rdf:langString
In traditional logic, obversion is a "type of immediate inference in which from a given proposition another proposition is inferred whose subject is the same as the original subject, whose predicate is the contradictory of the original predicate, and whose quality is affirmative if the original proposition's quality was negative and vice versa". The quality of the inferred categorical proposition is changed but the truth value is the same to the original proposition. The immediately inferred proposition is termed the "obverse" of the original proposition, and is a valid form of inference for all types (A, E, I, O) of categorical propositions.
rdf:langString
rdf:langString
Obversió lògica
rdf:langString
Obversión lógica
rdf:langString
Obversione
rdf:langString
Obversion
rdf:langString
Obwersja
xsd:integer
2312950
xsd:integer
1055314196
rdf:langString
Una obversió lògica és una de les operacions que la lògica clàssica tradicional admetia com a operació lògica. Consisteix en la modificació del judici aristotèlic de manera que canviant la qualitat del judici, afirmatiu-negatiu, i negant el terme predicat, obtenim un judici equivalent. D'aquesta manera: Tot S és P s'obverteix a Cap S és no-P Tots els espanyols són europeus Cap espanyol és no-europeu Cap S és P s'obverteix a Tot S és no-p Cap espanyol és americà Tot espanyol és no-americà Algun S és P s'obverteix a Algun S no és no-p Algun espanyol és ros Algun espanyol no és no-ros Algun S no és P s'obverteix a Algun S és no-P Algun espanyol no és americà Algun espanyol és no-americà La lògica moderna en tractar els judicis aristotèlics com a funcions proposicionals canvia notablement el sentit lògic d'aquestes operacions, pel que avui dia aquestes propietats no tenen en realitat a penes importància lògica, encara que sí que poden ajudar al domini lògic del llenguatge.
rdf:langString
En lógica tradicional, la obversión es un "tipo de inferencia inmediata en la cual a partir de una proposición dada se infiere otra proposición cuyo tema es el mismo que el sujeto original y cuyo predicado es contradictorio al predicado original, y cuya cualidad es afirmativa si la cualidad de la proposición original fuese negativa y viceversa". La cualidad de la proposición categórica inferida cambia, pero el valor de verdad es equivalente al de la proposición inicial. La proposición inferida inmediatamente se denomina "anverso" de la proposición original, y es una forma válida de inferencia para todos los tipos de proposiciones categóricas (A, E, I, O). En una proposición universal afirmativa y una universal negativa, el término sujeto y el término predicado se sustituyen ambos por sus complementos: El universal afirmativa (proposición "A" ) se obvierte a una universal negativa (proposición "E"). "Todos los S son P" y "Ningún S es no-P""Todos los españoles son europeos" y "Ningún español es no-europeo" El universal negativo (proposición "E" ) se obvierte a una afirmativa universal (proposición "A"). "Ningún S es P" y "Todo S es no-P""Ningún español es americano" y "Todo español es no-americano" En el particular afirmativo la cantidad del término sujeto se mantiene sin cambios, pero el término predicado de la proposición inferida niega el complemento del término predicado de la proposición inicial. El particular afirmativo (proposición "I") se obvierte a un particular negativo (proposición "O"). "Algún S es P" y "Algún S no es no-P""Algún español es rubio" y "Algún español no es no-rubio" En la obversion de un particular negativo a un particular afirmativo, la cantidad del sujeto también se mantiene sin cambios, y el término predicado se cambia de la negación simple a un término de la clase complementaria. La proposición particular negativa ("O") se obvierte a un particular afirmativo (proposición "I"). "Algún S no es P" y "Algún S es no-P""Algún español no es americano" y "Algún español es no-americano" Observe que el valor de verdad de una declaración original se conserva en su forma anversa resultante. Debido a esto, la obversión se puede utilizar para determinar las inferencias inmediatas de todas las proposiciones categóricas, independientemente de su cualidad o cantidad. Además, la obversión nos permite navegar a través de la cuadro tradicional de oposición lógica, proporcionando un medio para que procedamos desde la proposiciones "A" a las proposiciones "E", así como de las proposiciones "I" a las proposiciones "O", y viceversa. Sin embargo, a pesar de las propuestas resultantes de la obversión son lógicamente equivalentes a los estados originales en términos de valor de verdad, no son semánticamente equivalentes a sus declaraciones originales en su forma estándar.
rdf:langString
In traditional logic, obversion is a "type of immediate inference in which from a given proposition another proposition is inferred whose subject is the same as the original subject, whose predicate is the contradictory of the original predicate, and whose quality is affirmative if the original proposition's quality was negative and vice versa". The quality of the inferred categorical proposition is changed but the truth value is the same to the original proposition. The immediately inferred proposition is termed the "obverse" of the original proposition, and is a valid form of inference for all types (A, E, I, O) of categorical propositions. In a universal affirmative and a universal negative proposition the subject term and the predicate term are both replaced by their negated counterparts: The universal affirmative ("A" proposition) is obverted to a universal negative ("E" proposition). "All S are P" and "No S are non-P""All cats are animals" and "No cats are non-animals" The universal negative ("E" proposition) is obverted to a universal affirmative ("A" proposition). "No S are P" and "All S are non-P""No cats are friendly" and "All cats are non-friendly" In the particular affirmative the quantity of the subject term remains unchanged, but the predicate term of the inferred proposition negates the complement of the predicate term of the original proposition. The particular affirmative ("I" proposition) is obverted to a particular negative ("O" proposition). "Some S are P" and "Some S are not non-P""Some animals are friendly creatures" and "Some animals are not unfriendly creatures." In the obversion of a particular negative to a particular affirmative the quantity of the subject also remains unchanged, and the predicate term is changed from simple negation to a term of the complementary class. The particular negative ("O") proposition is obverted to a particular affirmative ("I" proposition). "Some S are not P" and "Some S are non-P""Some animals are not friendly creatures" and "Some animals are unfriendly creatures." Note that the truth-value of an original statement is preserved in its resulting obverse form. Because of this, obversion can be used to determine the immediate inferences of all categorical propositions, regardless of quality or quantity. In addition, obversion allows us to navigate through the traditional square of logical opposition by providing a means to proceed from "A" Propositions to "E" Propositions, as well as from "I" Propositions to "O" Propositions, and vice versa. However, although the resulting propositions from obversion are logically equivalent to the original statements in terms of truth-value, they are not semantically equivalent to their original statements in their standard form.
rdf:langString
Obwersja (łac. - obversio) — wnioskowanie polegające na dodaniu negacji do orzecznika zdania z jednoczesną zmianą jego jakości, innymi słowy zgodnie z następującymi prawami logiki tradycyjnej:
* SaP → SeP'
* SeP → SaP'
* SiP → SoP'
* SoP → SiP' Na przykład:
* Każdy kot jest ssakiem. Zatem: Żaden kot nie jest nie-ssakiem.
* Żadna mrówka nie jest słoniem. Zatem: Każda mrówka jest nie-słoniem.
xsd:nonNegativeInteger
5812