Verifying Validity of Selected Forms of Syllogisms with Intermediate Quantifiers using Peterson's Rules

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F23%3AA2402IDL" target="_blank" >RIV/61988987:17610/23:A2402IDL - isvavai.cz</a>

Výsledek na webu

<a href="https://link.springer.com/chapter/10.1007/978-3-031-39965-7_30" target="_blank" >https://link.springer.com/chapter/10.1007/978-3-031-39965-7_30</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-031-39965-7_30" target="_blank" >10.1007/978-3-031-39965-7_30</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Verifying Validity of Selected Forms of Syllogisms with Intermediate Quantifiers using Peterson's Rules

Popis výsledku v původním jazyce

The most reliable method how validity of a logical syllogism can be verified is to formalize it and show that there is either a formal proof or it is true in any model. A specific method for proving validity is to use special rules that have been used by logicians. However, we cannot be sure that they indeed verify the validity of syllogisms. The goal of this paper is to show that the rules indeed work. In his book, Peterson studied syllogisms with intermediate quantifiers and suggested extension of the rules also to them. In this paper, we formalize them and prove that a logical syllogism of Figure~I with intermediate quantifiers is valid iff it satisfies four extended Peterson’s rules.

Název v anglickém jazyce

Verifying Validity of Selected Forms of Syllogisms with Intermediate Quantifiers using Peterson's Rules

Popis výsledku anglicky

The most reliable method how validity of a logical syllogism can be verified is to formalize it and show that there is either a formal proof or it is true in any model. A specific method for proving validity is to use special rules that have been used by logicians. However, we cannot be sure that they indeed verify the validity of syllogisms. The goal of this paper is to show that the rules indeed work. In his book, Peterson studied syllogisms with intermediate quantifiers and suggested extension of the rules also to them. In this paper, we formalize them and prove that a logical syllogism of Figure~I with intermediate quantifiers is valid iff it satisfies four extended Peterson’s rules.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

<a href="/cs/project/EG17_147%2F0020575" target="_blank" >EG17_147/0020575: Konsorcium pro průmyslový výzkum a vývoj nových aplikací laserových technologií s využitím metod umělé inteligence</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2023

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

Proceedings of 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023,

ISBN

978-3-031-39964-0

ISSN

—

e-ISSN

—

Počet stran výsledku

12

Strana od-do

357-368

Název nakladatele

Springer

Místo vydání

Nizozemí

Místo konání akce

Španělsko, Palma

Datum konání akce

4. 9. 2023

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

WRD - Celosvětová akce

Kód UT WoS článku

—