发布求助
文献互助 智能选刊 最新文献

The Australasian Journal of Logic最新文献

筛选
英文 中文
Val (Routley) Plumwood: Work in Logic
The Australasian Journal of Logic Pub Date : 2023-07-13 DOI: 10.26686/ajl.v29i2.8283
Dominic Hyde
{"title":"Val (Routley) Plumwood: Work in Logic","authors":"Dominic Hyde","doi":"10.26686/ajl.v29i2.8283","DOIUrl":"https://doi.org/10.26686/ajl.v29i2.8283","url":null,"abstract":"Val Plumwood (nee Morrell) is best known in the logic community for her work on relevant logics published jointly with Richard Sylvan. Together, as `\"Val and Richard Routley\", they worked at the center of the Canberra Logic Group from 1971 to 1981 before they divorced and changed names, whereupon Val shifted her focus to issues in environmental philosophy. Her writing in that latter field drew so much attention, in fact, that most people familiar with her philosophical work know her solely for contributions there and are quite often surprised to hear of her work in non-classical logic. While her ``fame as an environmental philosopher overshadowed her work in logic, this work included significant contributions to the emerging study of non-classical logics and relevant logics in particular. Like Sylvan, she later turned to applications of this non-classical thinking in other areas, eventually in areas traditionally deemed beyond the reach of logical innovation.","PeriodicalId":367849,"journal":{"name":"The Australasian Journal of Logic","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124177092","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The class of all 3-valued natural conditional variants of RM3 that are Plumwood Algebras Plumwood代数中RM3的所有3值自然条件变体的类
The Australasian Journal of Logic Pub Date : 2023-07-13 DOI: 10.26686/ajl.v29i2.8285
J. Blanco, Sandra M. López, Marcos M. Recio
{"title":"The class of all 3-valued natural conditional variants of RM3 that are Plumwood Algebras","authors":"J. Blanco, Sandra M. López, Marcos M. Recio","doi":"10.26686/ajl.v29i2.8285","DOIUrl":"https://doi.org/10.26686/ajl.v29i2.8285","url":null,"abstract":"Valerie Plumwood introduced in \"Some false laws of logic\" a series of arguments on how the rules Exported Syllogism, Disjunctive Syllogism, Commutation, and Exportation are not acceptable. Based on this we define the class of Plumwood algebras - logical matrices that do not verify any of these theses. Afterwards we provide conditional variants of the characteristic matrix of the logic RM3 that are also Plumwood algebras. These matrices are given an axiomatization based on First Degree Entailment and are endowed with Belnap-Dunn Semantics. Finally we provide results of Soundness and Completeness in the strong sense for each of the defined variants.","PeriodicalId":367849,"journal":{"name":"The Australasian Journal of Logic","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126397132","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Relevance through topical unconnectedness 通过话题的不联系来实现相关性
The Australasian Journal of Logic Pub Date : 2023-07-13 DOI: 10.26686/ajl.v29i2.8284
Tore Fjetland Øgaard
{"title":"Relevance through topical unconnectedness","authors":"Tore Fjetland Øgaard","doi":"10.26686/ajl.v29i2.8284","DOIUrl":"https://doi.org/10.26686/ajl.v29i2.8284","url":null,"abstract":"\u0000 \u0000 \u0000Ackermann’s motivational spin on his theory of rigorous implication is analyzed and it is shown to contain en equivalent idea to Plumwood’s notion of suppression freedom. The formal properties these ideas back turn out to be properly weaker than Belnap’s variable sharing property, but it is shown that they can be strengthen in various ways. Some such strengthenings, it is shown, yield properties which are equivalent to Belnap’s, and thus provide for new ways of motivating Belnap’s fundamental relevance principle. \u0000 \u0000 \u0000","PeriodicalId":367849,"journal":{"name":"The Australasian Journal of Logic","volume":"102 11","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131914356","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
From Excluded Middle to Homogenization in Plumwood’s Feminist Critique of Logic 普拉姆伍德的女性主义逻辑批判从排斥中间到同质化
The Australasian Journal of Logic Pub Date : 2023-07-13 DOI: 10.26686/ajl.v29i2.8288
T. M. Ferguson
{"title":"From Excluded Middle to Homogenization in Plumwood’s Feminist Critique of Logic","authors":"T. M. Ferguson","doi":"10.26686/ajl.v29i2.8288","DOIUrl":"https://doi.org/10.26686/ajl.v29i2.8288","url":null,"abstract":"\u0000 \u0000 \u0000A key facet of Valerie Plumwood’s feminist critique of logic is her analysis of classical negation. On Plumwood’s reading, the exclusionary features of classical negation generate hierarchical dualisms, i.e., dichotomies in which dominant groups’ primacy is reinforced while underprivileged groups are oppressed. For example, Plumwood identifies the system collapse following from ex contradictione quodlibet—that a theory including both φ and ∼φ trivializes—as a primary source of many of these features. Although Plumwood considers the principle of excluded middle to be compatible with her goals, that she identifies relevant logics as systems lacking a hierarchical negation—whose first-degree fragments are both paraconsistent and paracomplete—suggests that excluded middle plays some role in hierarchical dualisms as well. In these notes, I examine the role of excluded middle in generating oppressive homogenization and try to clarify the relationship between Plumwood’s critique and this principle from several contemporary perspectives. Finally, I examine the matter of whether Plumwood’s critique requires relevance or whether a non-relevant logic could satisfy her criteria and serve as a liberatory logic of difference. \u0000 \u0000 \u0000","PeriodicalId":367849,"journal":{"name":"The Australasian Journal of Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114339149","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Feminist Logic, Literally 女权主义逻辑
The Australasian Journal of Logic Pub Date : 2023-07-13 DOI: 10.26686/ajl.v29i2.8291
I. Restović
{"title":"Feminist Logic, Literally","authors":"I. Restović","doi":"10.26686/ajl.v29i2.8291","DOIUrl":"https://doi.org/10.26686/ajl.v29i2.8291","url":null,"abstract":"\u0000 \u0000 \u0000I this paper, I discuss Plumwood’s feminist logic program. I argue both in favor of her general stance in feminist philosophy of logic and her more specific feminist critique of classical logic. Plumwood’s general position is in opposition with (I think it’s safe to say) the prevailing view in analytic philosophy about the relation between formal logic and feminist theory, according to which feminist theory cannot say anything about or against logic proper, since the issues of oppression are external to logic as a (formal) discipline. Connected to this externalism is a non-Plumwoodian view that “feminist logic” either doesn’t mean anything, or that it has some figurative meaning. Concerning Plumwood’s (I think it’s safe to say) not widely accepted feminist critique of classical logic, I propose an interpretation according to which classical logic is oppressive only when it’s used to describe a particular, “dualized” or “dualizable”, kind of notions. In accordance with this understanding, I consider five features of oppressive differentiations as proposed by Plumwood, arguing that two of them don’t concern negation, the feminist critique of which operator Plumwood is mostly (in)famous for. \u0000 \u0000 \u0000","PeriodicalId":367849,"journal":{"name":"The Australasian Journal of Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130856462","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Some False Laws of Logic 一些错误的逻辑定律
The Australasian Journal of Logic Pub Date : 2023-07-13 DOI: 10.26686/ajl.v29i2.8286
V. Plumwood
{"title":"Some False Laws of Logic","authors":"V. Plumwood","doi":"10.26686/ajl.v29i2.8286","DOIUrl":"https://doi.org/10.26686/ajl.v29i2.8286","url":null,"abstract":"\u0000 \u0000 \u0000This paper argues that some widely used laws of implication are false, and arguments based upon them invalid. These laws are Exportation, Commutation, (as well as various restricted forms of these), Exported Syllogism and Disjunctive Syllogism. All these laws are false for the same reason – that they license the suppression or replacement in some position of some class of propositions which cannot legitimately be suppressed or replaced. These laws fail to preserve the property of sufficiency of premiss set for conclusion. They are false, and can be seen to be false, independently of their respon- sibility for the paradoxes. Hence the main ‘independent’ argument for the paradoxes – that they follow from an allegedly immaculate set of laws – is undermined. Counterexamples to all these laws are produced. \u0000 \u0000 \u0000","PeriodicalId":367849,"journal":{"name":"The Australasian Journal of Logic","volume":"337 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114390603","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Geometry of Relevant Implication II 相关含义的几何2
The Australasian Journal of Logic Pub Date : 2023-04-13 DOI: 10.26686/ajl.v20i1.8086
A. Urquhart
{"title":"Geometry of Relevant Implication II","authors":"A. Urquhart","doi":"10.26686/ajl.v20i1.8086","DOIUrl":"https://doi.org/10.26686/ajl.v20i1.8086","url":null,"abstract":"This note extends earlier results on geometrical interpretations of the logic KR to prove some additional results, including a simple undecidability proof for the four-variable fragment of KR.","PeriodicalId":367849,"journal":{"name":"The Australasian Journal of Logic","volume":"145 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133084750","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Interpreting mereotopological connection 解释微拓扑联系
The Australasian Journal of Logic Pub Date : 2023-04-13 DOI: 10.26686/ajl.v20i1.8004
Nat Gan
{"title":"Interpreting mereotopological connection","authors":"Nat Gan","doi":"10.26686/ajl.v20i1.8004","DOIUrl":"https://doi.org/10.26686/ajl.v20i1.8004","url":null,"abstract":"This paper examines ten possible topological interpretations of connection and for each interpretation, identifies sufficient conditions under which a significant class of topological spaces provides models of General Extensional Mereotopology with Closure Conditions (GEMTC) in which some key mereotopological ideas align with their topological analogues. In particular, there is an interpretation under which the non-empty sets of any symmetric topology are a model of GEMTC with alignment between the mereotopological and topological definitions of (self-)connection, open and closed entities, interior, exterior, closure, and boundary.","PeriodicalId":367849,"journal":{"name":"The Australasian Journal of Logic","volume":"440 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123585245","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
From Collapse Theorems to Proof-Theoretic Arguments 从坍缩定理到证明论论证
The Australasian Journal of Logic Pub Date : 2023-04-13 DOI: 10.26686/ajl.v20i1.6466
Alessandro Rossi
{"title":"From Collapse Theorems to Proof-Theoretic Arguments","authors":"Alessandro Rossi","doi":"10.26686/ajl.v20i1.6466","DOIUrl":"https://doi.org/10.26686/ajl.v20i1.6466","url":null,"abstract":"On some views, we can be sure that parties to a dispute over the logic of `exists' are not talking past each other if they can characterise `exists' as the only monadic predicate up to logical equivalence obeying a certain set of rules of inference. Otherwise, we ought to be suspicious about the reality of their disagreement. This is what we call a proof-theoretic argument. Pace some critics, who have tried to use proof-theoretic arguments to cast doubts about the reality of disagreements about the logic of `exists', we argue that proof-theoretic arguments can be deployed to establish the reality of several such disagreements. Along the way, we will also utilise this technique to establish similar results about some disagreements over the logic of identity.","PeriodicalId":367849,"journal":{"name":"The Australasian Journal of Logic","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121222711","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Modular labelled calculi for relevant logics 相关逻辑的模标记演算
The Australasian Journal of Logic Pub Date : 2023-04-13 DOI: 10.26686/ajl.v20i1.7990
Fabio De Martin Polo
{"title":"Modular labelled calculi for relevant logics","authors":"Fabio De Martin Polo","doi":"10.26686/ajl.v20i1.7990","DOIUrl":"https://doi.org/10.26686/ajl.v20i1.7990","url":null,"abstract":"\u0000 \u0000 \u0000In this article, we perform a detailed proof theoretic investigation of a wide number of relevant logics by employing the well-established methodology of labelled sequent calculi to build our intended systems. At the semantic level, we will characterise relevant logics by employing reduced Routley-Meyer models, namely, relational structures with a ternary relation between worlds along with a unique distinct element considered as the real (or actual) world. This paper realizes the idea of building a variety of modular labelled calculi by reflecting, at the syntactic level, semantic informations taken from reduced Routley-Meyer models. Central results include proofs of soundness and completeness, as well as a proof of cut- admissibility. \u0000 \u0000 \u0000","PeriodicalId":367849,"journal":{"name":"The Australasian Journal of Logic","volume":"134 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116336632","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信