History and Philosophy of Logic最新文献_第10页

Modal Homotopy Type Theory. The Prospect of a New Logic for Philosophy 模态同伦型理论。哲学新逻辑的前景

IF 0.5 3区哲学

History and Philosophy of Logic Pub Date : 2022-09-05 DOI: 10.1080/01445340.2022.2107383

A. Klev, C. Zwanziger

引用次数: 4

The Bounds of Transcendental Logic 先验逻辑的界限

IF 0.5 3区哲学

History and Philosophy of Logic Pub Date : 2022-07-27 DOI: 10.1080/01445340.2022.2078596

S. Kovač

引用次数: 0

Knowledge and the Philosophy of Number 《知识与数的哲学

IF 0.5 3区哲学

History and Philosophy of Logic Pub Date : 2022-07-06 DOI: 10.1080/01445340.2022.2080373

Richard Lawrence

引用次数: 0

Essays on Argumentation in Antiquity 古代论辩论文集

IF 0.5 3区哲学

History and Philosophy of Logic Pub Date : 2022-05-31 DOI: 10.1080/01445340.2022.2063669

M. Scanlan

引用次数: 1

Husserl and Mathematics 胡塞尔与数学

IF 0.5 3区哲学

History and Philosophy of Logic Pub Date : 2022-05-20 DOI: 10.1080/01445340.2022.2065615

M. Roubach

引用次数: 0

Stipulations Missing Axioms in Frege's Grundgesetze der Arithmetik 弗雷格《算术概论》中缺少公理的规定

IF 0.5 3区哲学

History and Philosophy of Logic Pub Date : 2022-05-10 DOI: 10.1080/01445340.2022.2062664

Gregory Landini

{"title":"Stipulations Missing Axioms in Frege's Grundgesetze der Arithmetik","authors":"Gregory Landini","doi":"10.1080/01445340.2022.2062664","DOIUrl":"https://doi.org/10.1080/01445340.2022.2062664","url":null,"abstract":"Frege's Grundgesetze der Arithmetik offers a conception of cpLogic as the study of functions. Among functions are included those that are concepts, i.e. characteristic functions whose values are the logical objects that are the True/the False. What, in Frege's view, are the objects the True/the False? Frege's stroke functions are themselves concepts. His stipulation introducing his negation stroke mentions that it yields But curiously no accommodating axiom is given, and there is no such theorem. Why is it that some of Frege's informal stipulations never made appearances as axioms? I offer an explanation that sheds new light on the Grundgesetze. No axioms should over-determination the True as a logical object. Perhaps the True = 0, as would be common in the mathematics of characteristic functions. But the logical objects that are cardinal numbers are value ranges correlated with second-level numerical concepts by a non-homogeneous second-level value-range function . The existence of concepts would be ontologically circular if the True is itself a number. We find this circularity perfectly agreeable to Frege, and suggest that he had accepted that the existence of functions that are concepts in his cpLogic may well be ontologically inseparable from the existence of his value-range function. His cpLogic itself stands or falls with the viability of some value-range function.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2022-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44366954","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

The Logic of Gilles Deleuze 《吉尔·德勒兹的逻辑

IF 0.5 3区哲学

History and Philosophy of Logic Pub Date : 2022-04-22 DOI: 10.1080/01445340.2022.2063668

H. Somers-Hall

{"title":"The Logic of Gilles Deleuze","authors":"H. Somers-Hall","doi":"10.1080/01445340.2022.2063668","DOIUrl":"https://doi.org/10.1080/01445340.2022.2063668","url":null,"abstract":"logical movement of ‘mediation’. They want to put metaphysics in motion, in action. They want to make it act, and make it carry out immediate acts. It is not enough, therefore, for them to propose a new representation of movement; representation is already mediation’ (Deleuze 1994, 8). Here, I think, Deleuze would say that Priest attempts to put the discrete multiplicity of classical logic in motion, rather than recognise the need for a non-propositional account of problems, such as Deleuze develops. As such, my suspicion is that Shores in the end collapses the difference in kind between the two multiplicities that is at the heart of Deleuze’s logic of multiplicities. Shores notes in the conclusion of the work that this is the opening of a broader project on Deleuze and logic, so perhaps these issues will be resolved as the project develops. I suspect Shores would see much of his work here as a provocation to further thought, and he notes that while Priest’s logic offers the best mapping of Deleuze’s logic, this mapping does not cover the whole range of Deleuze’s thought. In providing such a provocation, the book is a success, and despite the reservations above, I would recommend it to those interested in this intersection of Deleuze and logic. Ultimately the engagement with formal logic here is well worked out, with the clearest analyses of Deleuze’s engagements with the philosophy of logic so far available to us.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2022-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41465723","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}

引用次数: 2

Arthur N. Prior and the Lvov-Warsaw School Arthur N. Prior和利沃夫-华沙学派

IF 0.5 3区哲学

History and Philosophy of Logic Pub Date : 2022-04-21 DOI: 10.1080/01445340.2022.2062696

Zuzana Rybaříková

引用次数: 1

The Cartesian Semantics of the Port Royal Logic Port Royal逻辑的笛卡尔语义

IF 0.5 3区哲学

History and Philosophy of Logic Pub Date : 2022-04-13 DOI: 10.1080/01445340.2022.2045129

E. Cassan

{"title":"The Cartesian Semantics of the Port Royal Logic","authors":"E. Cassan","doi":"10.1080/01445340.2022.2045129","DOIUrl":"https://doi.org/10.1080/01445340.2022.2045129","url":null,"abstract":"types of argumentation. The results are unsatisfactory both because of unclarity in Aristotle’s classification and because of the fact that argumentation, at least as conceived by Walton, is a much broader category of verbal persuasive interaction than dialectic is for Aristotle and other ancient Greek authors. Reading the entire collection has given me the unfortunate impression that I am even more confused about what ‘dialectic’ and ‘argumentation’ are than when I began. This is not the fault of the authors but seems to be a problem with the concepts. For dialectic we are faced with trying to find some connection between the episteme producing dialectic of Republic VII and the competitive training exercises that Aristotle discusses in TopicsVIII. For argumentation we seem to be faced with an open-ended process of evaluation, counterargument, questioning, responding, etc., as indicated by Walton at the beginning of his article. One of the articles refers to a possible 40-year argumentation between a couple on some recurring problem in their relationship. To have a unified theory about this daunting range of material seems problematic. It seems as achievable as a unified theory of the novel or of football. This is not to say there aren’t interesting or even important things to be said about dialectic and argumentation, but certainly a novice should beware of a false impression of unity where there is rather diversity.","PeriodicalId":55053,"journal":{"name":"History and Philosophy of Logic","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2022-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47841640","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

The Expressive Power of the N-Operator and the Decidability of Logic in Wittgenstein’s Tractatus 维特根斯坦《论》中N算子的表现力与逻辑的可判定性

IF 0.5 3区哲学

History and Philosophy of Logic Pub Date : 2022-04-13 DOI: 10.1080/01445340.2022.2056687

Rodrigo Ferreira

引用次数: 0