Verification of Validity of Generalized Logical Syllogisms Applying the Contraposition

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Verification of Validity of Generalized Logical Syllogisms Applying the Contraposition

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Verification of Validity of Generalized Logical Syllogisms Applying the Contraposition

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

<a href="/cs/project/EH23_025%2F0008724" target="_blank" >EH23_025/0008724: Biografie dezinformace s přívlastkem AI: Rizikový fenomén prizmatem moderních věd o člověku</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2025

Kód důvěrnosti údajů

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

Název statě ve sborníku

Advances in Fuzzy Logic and Technology

ISBN

978-3-031-97225-6

ISSN

—

e-ISSN

—

Počet stran výsledku

13

Strana od-do

153-165

Název nakladatele

Springer

Místo vydání

Cham

Místo konání akce

Riga

Datum konání akce

21. 7. 2025

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—