Journal of Logic Language and Information最新文献_第7页

A Matricial Vue of Classical Syllogistic and an Extension of the Rules of Valid Syllogism to Rules of Conclusive Syllogisms with Indefinite Terms 经典三段论的物质价值及有效三段论规则向不定项结论性三段论规则的推广

IF 0.8 3区数学

Journal of Logic Language and Information Pub Date : 2022-04-21 DOI: 10.1007/s10849-022-09362-1

Dan Constantin Radulescu

{"title":"A Matricial Vue of Classical Syllogistic and an Extension of the Rules of Valid Syllogism to Rules of Conclusive Syllogisms with Indefinite Terms","authors":"Dan Constantin Radulescu","doi":"10.1007/s10849-022-09362-1","DOIUrl":"https://doi.org/10.1007/s10849-022-09362-1","url":null,"abstract":"<p>One lists the distinct pairs of categorical premises (PCPs) formulable via only the positive terms, S,P,M, by constructing a six by six matrix obtained by pairing the six categorical P-premises, A(P,M), O(P,M), A(M,P*), O(M,P*), where P* ∈ {P,P′}, with the six, similar, categorical S-premises. One shows how five rules of valid syllogism (RofVS), select only 15 distinct PCPs that entail logical consequences (LCs) belonging to the set L<sup>+</sup>: = {A(P,S), O(P,S), A(S,P), E(S,P), O(S,P), I(S,P)}. The choice of admissible LCs can be regarded as a condition separated from the conditions (or axioms) contained in the RofVS: the usual eight (Boolean) PCPs that generate valid syllogisms are obtained when the only admissible LCs belong to the set L: = {A(S,P), E(S,P), O(S,P), I(S,P)} and no existential imports are addressed. A 64 PCP-matrix obtains when both PCPs and LCs may contain indefinite terms—the positive, S,P,M, terms, and their complementary sets, S′,P′, M′, in the universe of discourse, U, called the negative terms. Now one can accept eight LCs: A(S*,P*), I(S*,P*), where P* ∈ {P,P′}, S* ∈ {S,S′}, and there are 32 conclusive PCPs, entailing precise, “one partitioning subset of U” LCs. The four rules of conclusive syllogisms (RofCS) predict the less precise LCs, left after eliminating the middle term from the exact LCs. The RofCS also predict that the other 32 PCPs of the 64 PCP-matrix are non-conclusive. The RofVS and the RofCS are generalized, and arguments are given, for also accepting as valid syllogisms the conclusive syllogisms formulable via positive terms which entail the LCs A(P,S) and O(P,S).</p>","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"48 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2022-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138516543","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Composition Under Distributive Natural Transformations: Or, When Predicate Abstraction is Impossible 分布自然变换下的组合:或，当谓词抽象是不可能的

IF 0.8 3区数学

Journal of Logic Language and Information Pub Date : 2022-04-21 DOI: 10.1007/s10849-022-09361-2

Dylan Bumford

引用次数: 0

Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems Kripke上下文、带算子的双布尔代数及其模态系统

IF 0.8 3区数学

Journal of Logic Language and Information Pub Date : 2022-04-10 DOI: 10.1007/s10849-022-09370-1

Prosenjit Howlader, M. Banerjee

引用次数: 4

The Ramsey Test and Evidential Support Theory 拉姆齐检验与证据支持理论

IF 0.8 3区数学

Journal of Logic Language and Information Pub Date : 2022-04-10 DOI: 10.1007/s10849-022-09364-z

Michal Sikorski

引用次数: 1

An Update of Tarski: Two Usages of the Word “True” 塔斯基的更新:“真”字的两种用法

IF 0.8 3区数学

Journal of Logic Language and Information Pub Date : 2022-04-06 DOI: 10.1007/s10849-022-09360-3

Zhen Zhao

引用次数: 0

A Modal Logic for Supervised Learning 监督学习的模态逻辑

IF 0.8 3区数学

Journal of Logic Language and Information Pub Date : 2022-03-28 DOI: 10.1007/s10849-022-09359-w

A. Baltag, Dazhu Li, Mina Young Pedersen

引用次数: 0

Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power 具有组公告和分布式知识的逻辑:完备性和表达能力

IF 0.8 3区数学

Journal of Logic Language and Information Pub Date : 2022-03-24 DOI: 10.1007/s10849-022-09355-0

T. Ågotnes, N. Alechina, R. Galimullin

引用次数: 5

A Reinterpretation of Beall’s ‘Off-Topic’ Semantics 对比尔“离题”语义学的重新诠释

IF 0.8 3区数学

Journal of Logic Language and Information Pub Date : 2022-02-24 DOI: 10.1007/s10849-022-09353-2

J. J. Joaquin

引用次数: 3

Anaphoric Conservativity 逐字Conservativity

IF 0.8 3区数学

Journal of Logic Language and Information Pub Date : 2022-02-09 DOI: 10.1007/s10849-022-09350-5

R. Zuber

引用次数: 0

A Simple and Non-Trivial Ramsey Test 一个简单而重要的拉姆齐检验

IF 0.8 3区数学

Journal of Logic Language and Information Pub Date : 2022-01-01 DOI: 10.1007/s10849-022-09354-1

Holger Andreas

引用次数: 0