Verification of Validity of Generalized Logical Syllogisms Applying the Contraposition

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F25%3AA2603A72" target="_blank" >RIV/61988987:17610/25:A2603A72 - isvavai.cz</a>
Result on the web
<a href="https://link.springer.com/chapter/10.1007/978-3-031-97225-6_13" target="_blank" >https://link.springer.com/chapter/10.1007/978-3-031-97225-6_13</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-031-97225-6_13" target="_blank" >10.1007/978-3-031-97225-6_13</a>

Result language
angličtina
Original language name
Verification of Validity of Generalized Logical Syllogisms Applying the Contraposition
Original language description
This publication closely follows previous results concerning verifying the validity and invalidity of logical syllogisms with intermediate quantifiers that form selected logical structures of opposites. The goal of this publication is to use the property of contraposition to show that from selected valid forms of logical syllogisms related to graded Peterson's square, we are able to prove valid logical syllogisms related to graded Peterson's cube of opposition. By this procedure we are able to search for valid syllogisms systematically. We also use property of monotonicity of quantifiers to prove other valid syllogisms and order obtained syllogisms. Last but not least we discuss the relationship between valid logical syllogisms obtained by contraposition.
Czech name
—
Czech description
—

Project
<a href="/en/project/EH23_025%2F0008724" target="_blank" >EH23_025/0008724: Biography of Fake News with a Touch of AI: Dangerous Phenomenon through the Prism of Modern Human Sciences</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Publication year
2025
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)