Logic and Philosophy of Logic, Miscellaneous

(1) This paper is about how to build an account of the normativity of logic around the claim that logic is constitutive of thinking. I take the claim that logic is constitutive of thinking to mean that representational activity must tend to conform to logic to count as thinking. (2) I develop a natural line of thought about how to develop the constitutive position into an account of logical normativity by drawing on constitutivism in metaethics. (3) I argue that, while (...) this line of thought provides some insights, it is importantly incomplete, as it is unable to explain why we should think. I consider two attempts at rescuing the line of thought. The first, unsuccessful response is that it is self-defeating to ask why we ought to think. The second response is that we need to think. But this response secures normativity only if thinking has some connection to human flourishing. (4) I argue that thinking is necessary for human flourishing. Logic is normative because it is constitutive of this good. (5) I show that the resulting account deals nicely with problems that vex other accounts of logical normativity. (shrink)

In this article, we will try to illustrate how, according to the Ontology of Knowledge (OK), reality appears to the subject in the form of objects « in becoming » in a four-dimensional space whose time of the subject (his becoming) would be a privileged dimension. For the OK, reality is formless and it is the subject that gives it shape. The shape of the world results from the Logos, a transcendent principle by which the complexity of logical interdependence, the (...) amorphous "substance" of reality, is metastablely and necessarily aggregated into singularities bounded by cuts, making it appear to the subject as a structured meaning. The process will include four steps: - with Husserl: from proper and improper to multiplicities - with Poincaré: from isomorphism to morphogenesis, from understanding to the subject's perspective the fusion of Acting, Giving-Sense and Becoming - with Russel and Poincaré: Quantity, divisibility, continuity, cut - with Hahn and Gonseth: the idoneity of four-dimensional space-time the subject as one of the possible meanings of reality The aim is not to reconstruct a two-century history of the notion of space-time, nor to "show false" the analysis of these authors. We only want to use their concepts to illustrate the OK, both by evoking similarities and differences. NB: Rather than proposing one more analysis of the authors in question, we will quote (sometimes by large excerpts) modern articles that seem clear and adapted to the subject. Of course, we will give credit to the authors. (shrink)

This paper examines distinctive discourse properties of preposed negative 'yes/no' questions (NPQs), such as 'Isn’t Jane coming too?'. Unlike with other 'yes/no' questions, using an NPQ '∼p?' invariably conveys a bias toward a particular answer, where the polarity of the bias is opposite of the polarity of the question: using the negative question '∼p?' invariably expresses that the speaker previously expected the positive answer p to be correct. A prominent approach—what I call the context-management approach, developed most extensively by Romero (...) and Han (2004)—attempts to capture speaker expectation biases by treating NPQs fundamentally as epistemic questions about the proper discourse status of a proposition. I raise challenges for existing context-managing accounts to provide more adequate formalizations of the posited context-managing content, its implementation in the compositional semantics and discourse dynamics, and its role in generating the observed biases. New data regarding discourse differences between NPQs and associated epistemic modal questions are introduced. I argue that we can capture the roles of NPQs in expressing speakers’ states of mind and managing the discourse common ground without positing special context-managing operators or treating NPQs as questions directly about the context. I suggest that we treat the operator introduced with preposed negation as having an ordinary semantics of epistemic necessity, though lexically associated with a general kind of endorsing use observed with modal expressions. The expressive and context-managing roles of NPQs are explained in terms of a general kind of discourse-oriented use of context-sensitive language. The distinctive expectation biases and discourse properties observed with NPQs are derived from the proposed semantics and a general principle of Discourse Relevance. (shrink)

The theme of this study is about establishing a purely logical theory about the Universe. Logic is the premier candidate for the reality behind phenomena. If there is a final theory, the Universe must be logic itself, called pure logic, elements of which include not only logic and illogic but also logical and illogical manipulations between them. The kernel is the revised law of the excluded middle: between two basic concepts are four possible manipulations, three logical and one illogical, whereas (...) only one is realized. The key parameter for an element is aim, including reason, outcome, and neutrality. When an element is a contradiction, it can be located at three positions: reason, outcome, and manipulation, corresponding to three colors of quark. Thus, there is interaction with the SU(3) symmetry keeping the number of the three elements balanced locally. A proposition without contradiction has two independent aims. When one aim changes, there is interaction with the U(1) symmetry. When two aims change together, there is interaction with the SU(2) symmetry. (shrink)

The content of the manuscript represents a bold idea system, it is beyond the boundaries of all existing knowledge but the method of reasoning and logic is also very strict and scientific. The purpose of the manuscript is to unify the natural categories (natural philosophy, natural geometry, quantum mechanics, astronomy,…), and to open a new direction for most other sciences. Abstract of the manuscript: About Philosophy: • Proved the existence of time and non-dilation. • Proved that matter is always motionless (...) in space. • Conclusion that space is energy. • … About Mathematics: • Solved the squaring the circle problem(a millennium problem). • Using the equation to calculate speed of light is 471.000.000 m/s • … About Physics : • Explained the nature of gravity. • Explained dark energy, spin value of Nucleon. • Explained matter and antimatter. • …. (shrink)

The logic of indicative conditionals remains the topic of deep and intractable philosophical disagreement. I show that two influential epistemic norms -- the Lockean theory of belief and the Ramsey test for conditional belief -- are jointly sufficient to ground a powerful new argument for a particular conception of the logic of indicative conditionals. Specifically, the argument demonstrates, contrary to the received historical narrative, that there is a real sense in which Stalnaker's semantics for the indicative did succeed in capturing (...) the logic of the Ramseyan indicative conditional. (shrink)

The master's thesis of Dr. Taraneh Javanbakht in philosophy that was published at the Université du Québec à Montréal in 2016 includes her innovations in logic and cognitive sciences as well as some parts of her philosophical system, netism.

This essay presents the framework for the foundational axiom and conceptual underpinnings of mathematics and how they are applied.

Although the invariance criterion of logicality first emerged as a criterion of a purely mathematical interest, it has developed into a criterion of considerable linguistic and philosophical interest. In this paper I compare two different perspectives on this criterion. The first is the perspective of natural language. Here, the invariance criterion is measured by its success in capturing our linguistic intuitions about logicality and explaining our logical behavior in natural-linguistic settings. The second perspective is more theoretical. Here, the invariance criterion (...) is used as a tool for developing a theoretical foundation of logic, focused on a critical examination, explanation, and justification of its veridicality and modal force. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

This paper investigates a generalization of Boolean algebras which I call agglomerative algebras. It also outlines two conceptions of propositions according to which they form an agglomerative algebra but not a Boolean algebra with respect to conjunction and negation.

Consider the following three claims. (i) There are no truths of the form ‘p and ~p’. (ii) No one holds a belief of the form ‘p and ~p’. (iii) No one holds any pairs of beliefs of the form {p, ~p}. Irad Kimhi has recently argued, in effect, that each of these claims holds and holds with metaphysical necessity. Furthermore, he maintains that they are ultimately not distinct claims at all, but the same claim formulated in different ways. I find (...) his argument suggestive, if not entirely transparent. I do think there is at least an important kernel of truth even in (iii), and that (i) ultimately explains what’s right about the other two. Consciousness of an impossibility makes belief in the obtaining of the corresponding state of affairs an impossibility. Interestingly, an appreciation of this fact brings into view a novel conception of inference, according to which it consists in the consciousness of necessity. This essay outlines and defends this position. A central element of the defense is that it reveals how reasoners satisfy what Paul Boghossian calls the Taking Condition and do so without engendering regress. (shrink)

Extended abstract presented at the AISC 2018 Conference, 15th International Conference of the Italian Association of Cognitive Science, Pavia.

Brief note explaining the content, importance, and historical context of my joint translation of Quine's The Significance of the New Logic with my single-authored historical-philosophical essay 'Willard Van Orman Quine's Philosophical Development in the 1930s and 1940s'.

PUTNAM has made highly regarded contributions to mathematics, to philosophy of logic and to philosophy of science, and in this book he brings his ideas in these three areas to bear on the traditional philosophic problem of materialism versus (objective) idealism. The book assumes that contemporary science (mathematical and physical) is largely correct as far as it goes, or at least that it is rational to believe in it. The main thesis of the book is that consistent acceptance of contemporary (...) science requires the acceptance of some sort of Platonistic idealism affirming the existence of abstract, non-temporal, non-material, non-mental entities (numbers, scientific laws, mathematical formulas, etc.). The author is thus in direct opposition to the extreme materialism which had dominated philosophy of science in the first three quarters of this century. The book can be recommended to the scientifically literate, general reader whose acquaintance with these areas is limited to the literature of the 1950’s and before, when it had been assumed that empiricistic materialism was the only philosophy compatible with a scientific outlook. To this group the book presents an eye-opening challenge fulfilling the author’s intention of “shaking up preconceptions and stimulating further discussion”. QUINE’S book is not easy to read, partly because the level of sophistication fluctuates at high frequency between remote extremes and partly because of convoluted English prose style and devilish terminology. Almost all of the minor but troublesome technical errata in the first printing have been corrected [see reviews, e.g., the reviewer, Philos. Sci. 39 (1972), no. 1, 97–99]. In the opinion of the reviewer the book is not suitable for undergraduate instruction, and without external motivation few mathematicians are likely to have the patience to appreciate it. Nevertheless, a careful study of the book will more than repay the effort and one should expect to find frequent references to this book in coming years. (shrink)

Consider the following. The first is a one-premise argument; the second has two premises. The question sign marks the conclusions as such. -/- Matthew, Mark, Luke, and John wrote Greek. ? Every evangelist wrote Greek. -/- Matthew, Mark, Luke, and John wrote Greek. Every evangelist is Matthew, Mark, Luke, or John. ? Every evangelist wrote Greek. -/- The above pair of premise-conclusion arguments is of a sort familiar to logicians and philosophers of science. In each case the first premise is (...) logically equivalent to the set of four atomic propositions: “Matthew wrote Greek”, “Mark wrote Greek”, “Luke wrote Greek”, and “John wrote Greek”. The universe of discourse is the set of evangelists. We presuppose standard first-order logic. -/- As many logic texts teach, the first of these two premise-conclusion arguments—sometimes called a complete enumerative induction— is invalid in the sense that its conclusion does not follow from its premises. To get a counterargument, replace ‘Matthew’, ‘Mark’, ‘Luke’, and ‘John’ by ‘two’,’four’, ‘six’ and ‘eight’; replace ‘wrote Greek’ by ‘are even’; and replace ‘evangelist’ by ‘number’. This replacement converts the first argument into one having true premises and false conclusion. -/- But the same replacement performed on the second argument does no such thing: it converts the second premise into the falsehood “Every number is two, four, six, or eight”. As many logic texts teach, there is no replacement that converts the second argument into one with all true premises and false conclusion. The second is valid; its conclusion is deducible from its two premises using an instructive natural deduction. -/- This paper “does the math” behind the above examples. The theorem could be stated informally: the above examples are typical. (shrink)

2006. George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA. -/- George Boole (1815-1864), whose name lives among modern computer-related sciences in Boolean Algebra, Boolean Logic, Boolean Operations, and the like, is one of the most celebrated logicians of all time. Ironically, his actual writings often go unread and his actual contributions to logic are virtually unknown—despite the fact that he was one of the clearest writers in the field. Working with various students including Susan Wood and Sriram (...) Nambiar, I have written several publications trying to set the record straight—but so far to little avail. This encyclopedia entry is one more attempt to set the record straight in a way that can be appreciated by non-experts.Also see https://www.academia.edu/10161999/Booles_criteria_of_validity_and_invalidity . (shrink)

This 4-page review-essay—which is entirely reportorial and philosophically neutral as are my other contributions to MATHEMATICAL REVIEWS—starts with a short introduction to the philosophy known as mathematical structuralism. The history of structuralism traces back to George Boole (1815–1864). By reference to a recent article various feature of structuralism are discussed with special attention to ambiguity and other terminological issues. The review-essay includes a description of the recent article. The article’s 4-sentence summary is quoted in full and then analyzed. The point (...) of the quotation is to make clear how murky, incompetent, and badly written the paper is. There is no way to determine from the article whether the editor or referees suggests improvements. (shrink)

Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge, UK, 2004, pp. 432.

Claude P. Bruter (editor), Mathematics in Art: Mathematical Visualization in Art and Education, Springer-Verlag, New York, 2002, pp. X + 337, ISBN 3-540-43422-4.

This brief note explores Sorainen's (1939) contribution to the birth of deontic logic. He maintained that imperatives can be true or, respectively, false.

We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and completeness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems. -/- .

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (shrink)

Counting functions are shown to be complete by using a simpler argument than that used by Pelletier and Martin.

In a series of articles, Dan Lopez De Sa and Elia Zardini argue that several theorists have recently employed instances of paradoxical reasoning, while failing to see its problematic nature because it does not immediately (or obviously) yield inconsistency. In contrast, Lopez De Sa and Zardini claim that resultant inconsistency is not a necessary condition for paradoxicality. It is our contention that, even given their broader understanding of paradox, their arguments fail to undermine the instances of reasoning they attack, either (...) because they fail to see everything that is at work in that reasoning, or because they misunderstand what it is that the reasoning aims to show. (shrink)

Here, we analyse some recent applications of set theory to topology and argue that set theory is not only the closed domain where mathematics is usually founded, but also a flexible framework where imperfect intuitions can be precisely formalized and technically elaborated before they possibly migrate toward other branches. This apparently new role is mostly reminiscent of the one played by other external fields like theoretical physics, and we think that it could contribute to revitalize the interest in set theory (...) in the future. (shrink)

Priest holds anti-exceptionalism about logic. That is, he holds that logic, as a theory, does not have any exceptional status in relation to the theories of empirical sciences. Crucial to Priest’s anti-exceptionalism is the existence of ‘data’ that can force the revision of logical theory. He claims that classical logic is inadequate to the available data and, thus, needs to be revised. But what kind of data can overturn classical logic? Priest claims that the data is our intuitions about the (...) validity of inferences. In order to make sense of this claim, I will appeal to the Madhyamaka Buddhist philosopher Candrakīrti. I will then pose a problem for Priest’s anti-exceptionalism. Finally, I will suggest a way out of the problem for Priest. Whether or not he accepts my solution, I will let him decide. (shrink)

Popper restricted his definition of falsifiability to consistent theories through what we may call his requirement of consistency. His main argument was that an inconsistent theory does not distinguish the sentences that corroborate it from those that contradict it, for all sentences follow from it. I propose to replace this requirement by the more basic requirement that the classes of potential corroborators and falsifiers of a theory do not overlap. This results not only in an unrestricted definition of falsifiability but (...) also in some inconsistent theories being falsifiable whenever that inconsistency is not located among its observational statements. Although this assumes a restriction of the principle of explosion or ex contradictione sequitur quodlibet (ECQ), it does not depend on any particular system or approach of paraconsistent logic. Finally, I propose to define the class of potential refuters of a theory, which is obtained by subtracting the class of potential corroborators from the class of potential falsifiers. Given that, by definition, the classes of potential refuters and corroborators of a theory do not overlap, it immediately follows that some observationally inconsistent theories are refutable in this sense. This establishes the bases for a new and more general formal theory of falsifiability of scientific factual/empirical theories. (shrink)

The possibility of testing contradictory statements about the factual world has been suggested but barely discussed in the relevant literature. Here I argue that if we assume that there are contradictory observation sentences, it would be logically impossible to falsify them. Accordingly, the extension of the dialetheist programme into empirical science would be non-advisable, for it would introduce logically unfalsifiable claims.

The first group of articles attempt to give some insight into how we behave that is reasonably free of theoretical delusions. In the next three groups I comment on three of the principal delusions preventing a sustainable world— technology, religion and politics (cooperative groups). People believe that society can be saved by them, so I provide some suggestions in the rest of the book as to why this is unlikely via short articles and reviews of recent books by well-known writers. (...) -/- America and the world are in the process of collapse from excessive population growth, most of it for the last century and now all of it due to 3rd world people. Consumption of resources and the addition of 4 billion more ca. 2100 will collapse industrial civilization and bring about starvation, disease, violence and war on a staggering scale. Billions will die and nuclear war is all but certain. In America this is being hugely accelerated by massive immigration and immigrant reproduction, combined with abuses made possible by democracy. Depraved human nature inexorably turns the dream of democracy and diversity into a nightmare of crime and poverty. The root cause of collapse is the inability of our innate psychology to adapt to the modern world, which leads people to treat unrelated persons as though they had common interests. This, plus ignorance of basic biology and psychology, leads to the social engineering delusions of the partially educated who control democratic societies. Few understand that if you help one person you harm someone else—there is no free lunch and every single item anyone consumes destroys the earth beyond repair. Consequently, social policies everywhere are unsustainable and one by one all societies without stringent controls on selfishness will collapse into anarchy or dictatorship. Without dramatic and immediate changes, there is no hope for preventing the collapse of America, or any country that follows a democratic system. Hence my essay “Suicide by Democracy”. It is also now clear that the seven sociopaths who rule China are winning world war 3, and so my concluding essay on them. The only greater threat is Artificial Intelligence which I comment on briefly in the last paragraph. (shrink)

En ' Godel’s Way ', tres eminentes científicos discuten temas como la indecisión, la incompleta, la aleatoriedad, la computabilidad y la paraconsistencia. Me acerco a estas cuestiones desde el punto de vista de Wittgensteinian de que hay dos cuestiones básicas que tienen soluciones completamente diferentes. Existen las cuestiones científicas o empíricas, que son hechos sobre el mundo que necesitan ser investigados observacionalmente y cuestiones filosóficas en cuanto a cómo el lenguaje se puede utilizar inteligiblemente (que incluyen ciertas preguntas en matemáticas (...) y lógica), que necesitan decidirse por unt cómo realmente usar palabras en contextos concretos. Cuando tenemos claro sobre qué juego de idiomas estamos jugando, estos temas son vistos como preguntas científicas y matemáticas ordinarias como cualquier otra. Las percepciones de Wittgenstein rara vez se han igualado y nunca superado y son tan pertinentes hoy como lo fueron hace 80 años cuando dictó los libros azul y marrón. A pesar de sus fallas — realmente una serie de notas en lugar de un libro terminado —, esta es una fuente única de la obra de estos tres eruditos famosos que han estado trabajando en los bordes sangrantes de la física, las matemáticas y la filosofía durante más de medio siglo. Da Costa y Doria son citados por Wolpert (ver abajo o mis artículos sobre Wolpert y mi reseña de ' los límites de la razón ' de Yanofsky) desde que escribieron en el cómputo universal, y entre sus muchos logros, da Costa es pionera en paraconsistencia. Aquellos que deseen un marco completo hasta la fecha para el comportamiento humano de la moderna dos sistemas punto de vista puede consultar mi libros Talking Monkeys 3ª ed (2019), Estructura Logica de Filosofia, Psicología, Mente y Lenguaje en Ludwig Wittgenstein y John Searle 2a ed (2019), Suicidio pela Democracia 4ª ed (2019), La Estructura Logica del Comportamiento Humano (2019), The Logical Structure de la Conciencia (2019, Entender las Conexiones entre Ciencia, Filosofía, Psicología, Religión, Política y Economía y Delirios Utópicos Suicidas en el siglo 21 5ª ed (2019), Observaciones sobre Imposibilidad, Incompletitud, Paraconsistencia, Indecidibilidad, Aleatoriedad, Computabilidad, Paradoja e Incertidumbre en Chaitin, Wittgenstein,. (shrink)

ويعتقد عادة أن الاستحالة، وعدم اكتمال، وParaconsistency، وعدم تحديد، العشوائية، والحوسبة، والمفارقة، وعدم اليقين وحدود العقل هي قضايا علمية مادية أو رياضية متباينة وجود القليل أو لا شيء في المشتركه. أقترح أنها مشاكل فلسفية قياسية إلى حد كبير (أي ألعاب اللغة) التي تم حلها في الغالب من قبل فيتغنشتاين أكثر من 80years منذ. -/- "إن ما نميل إلى قوله في مثل هذه الحالة هو، بطبيعة الحال، ليس فلسفة، ولكنه مادة خام. وهكذا، على سبيل المثال، ما يميل عالم الرياضيات إلى قوله (...) عن موضوعية وواقع الحقائق الرياضية، ليس فلسفة الرياضيات، بل شيء للعلاج الفلسفي". فيتغنشتاين بي 234 -/- "يرى الفلاسفة باستمرار طريقة العلم أمام أعينهم ويميلون بشكل لا يقاوم إلى طرح الأسئلة والإجابة عليها بالطريقة التي يفعلبها العلم. هذا الاتجاه هو المصدر الحقيقي للميتافيزيقيا ويقود الفيلسوف إلى الظلام الكامل". فيتغنشتاين -/- أقدم ملخصاً موجزاً لبعض النتائج الرئيسية لاثنين من أبرز الطلاب في السلوك في العصر الحديث، لودفيغ فيتغنشتاين وجون سيرل، على البنية المنطقية للتعمد (العقل واللغة والسلوك)، مع الأخذ كنقطة انطلاق لي اكتشاف فيتغنشتاين الأساسي - أن جميع المشاكل "الفلسفية" حقاهي نفسها - الالتباسات حول كيفية استخدام اللغة في سياق معين، وبالتالي فإن جميع الحلول هي نفسها - النظر في كيفية استخدام اللغة في السياق في القضية بحيث حقيقتها الشروط (شروط الرضا أو COS) واضحة. المشكلة الأساسية هي أن المرء يمكن أن يقول أي شيء، ولكن لا يمكن للمرء أن يعني (الدولة واضحة كوس ل) أي كلام ومعنى تعسفي غير ممكن إلا في سياق محدد جدا. -/- أنا تشريح بعض كتابات عدد قليل من المعلقين الرئيسيين على هذه القضايا من وجهة نظر Wittgensteinian في إطار المنظور الحديث للنظاميين الفكر (شعبية باسم 'التفكير السريع، والتفكير بطيئة')، وتوظيف جدول جديد من التعمد وتسميات النظم المزدوجة الجديدة. أنا تبين أن هذا هو سياحي قوي لوصف الطبيعة الحقيقية لهذه القضايا العلمية أو المادية أو الرياضية المفترضة التي يتم التعامل معها على أفضل وجه حقا كمشاكل فلسفية قياسية لكيفية استخدام اللغة (ألعاب اللغة في فيتغنشتاين المصطلحات). -/- هو زعمي أن جدول التعمد (العقلانية، العقل، الفكر، اللغة، الشخصية وما إلى ذلك) التي تبرز بشكل بارز هنا يصف أكثر أو أقل دقة، أو على الأقل بمثابة سياحية ل، وكيف نفكر وتصرف، وبالتالي فإنه لا يشمل مجرد فلسفة وعلم نفس، ولكن كل شيء آخر (التاريخ والأدب والرياضيات والسياسة الخ). لاحظ بشكل خاص أن التعمد والعقلانية كما أنا (جنبا إلى جنب مع سيرل، فيتغنشتاين وغيرها) عرض ذلك، ويشمل كل من النظام اللغوي التداولي الواعي 2 واللاوعي الآلي النظام قبل اللغوية 1 الإجراءات أو ردود الفعل. (shrink)

Принято считать, что невозможность, неполнота, Парапоследовательность, Несоответствие, Случайность, вычислительность, парадокс, неопределенность и пределы разума являются разрозненными научными физическими или математическими вопросами, имеющими мало или ничего общего. Я полагаю, что они в значительной степени стандартные философские проблемы (т.е. языковые игры), которые были в основном решены Витгенштейном более 80 лет назад. -/- Я предоставляю краткое резюме некоторых из основных выводов двух из самых выдающихся студентов поведения о Fсовременности, Людвиг Витгенштейн и Джон Сирл, на логическую структуру преднамеренности (ум, язык, поведение), принимая в качестве (...) отправной точки фундаментальное открытие Витгенштейна, что все действительно "философские" проблемы одинаковы-путаницы AB,как использовать язык в частности контекст, и поэтому все решения одинаковы, глядя на то, как язык может быть использован в рассматриваемом контексте, так что его условия истины (Условия удовлетворенности или COS) ясны. Основная проблема заключается в том, что можно сказать что угодно, но нельзя означать (государство ясно COS для) любое произвольное высказывание и смысл возможен только в очень специфическом контексте. -/- Я вскрыть некоторые писания некоторых из основных комментаторов по этим вопросам с точки зрения Витгенштейна в framework современной точки зрения двух систем мысли (популяризировал как "мышление быстро, думая медленно"), используя новую таблицу преднамеренности и новых двойных систем номенклатуры. Я показываю, что это мощная эвристическая для описания истинной природы этих предположенных научных, физических или математических вопросов, которые действительно лучше всего подходить как стандартные философские проблемы использования языка (языковые игры в терминологии Витгенштейна). (shrink)

Some of Aristotle’s statements about the indemonstrability of the Principle of Non-Contradiction (PNC) in Metaphysics Γ 4 merit more attention. The consensus seems to be that Aristotle provides two arguments against the demonstrability of the PNC, with one located in Γ 3 and the other found in the first paragraph of Γ 4. In this article, I argue that Aristotle also relies upon a third argument for the same conclusion: the argument from truth. Although Aristotle does not explicitly state this (...) argument, it is the best argument that he could use to defend some of his statements in the second paragraph of Γ 4. Since the argument relies on only a few of Aristotle’s core views about truth, I propose that it is faithful to his considered position throughout his corpus, and it may be the strongest argument he could offer for the indemonstrability of the PNC. (shrink)

In a recent paper we have defined an analytic tableau calculus PL_16 for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN_3. This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic---such as the relations |=_t, |=_f, and |=_i that each correspond to a lattice order in SIXTEEN_3; and |=, the intersection of |=_t and |=_f,. -/- It turns out that our method of characterising these semantic relations---as (...) intersections of auxiliary relations that can be captured with the help of a single calculus---lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that |=, when restricted to L_{tf}, the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano. (shrink)

Hili Razinsky, free downlad at link. ABSTRACT: Emotional perceptions are objectivist (objectivity-directed or cognitive) and conscious, both attributes suggesting they cannot be ambivalent. Yet perceptions, including emotional perceptions of value, allow for strictly objectivist ambivalence in which a person unitarily perceives the object in mutually undermining ways. Emotional perceptions became an explicandum of emotion for philosophers who are sensitive to the unique conscious character of emotion, impressed by the objectivist character of perceptions, and believe that the perceptual account solves a (...) worry about the possibility of a conflict between an emotion and a judgement. Back into the 1980s Greenspan has argued that emotional ambivalence is possible, her reasons implying that objectivist accounts of emotion are inconsistent with ambivalence. Tappolet has more recently replied that perceptual accounts allow for emotional ambivalence since the opposed values seen in ambivalence are good or bad in different senses. The present paper identifies strict objectivist ambivalence between judgements and between emotional perceptions by contrasting them with such ambivalence of separate values such as evoked by Tappolet. (shrink)

The programmatic statement put forward in von Wright's last works on deontic logic introduces the perspective of logical pragmatics, which has been formally explicated here and extended so to include the role of norm-recipient as well as the role of norm-giver. Using the translation function from the language of deontic logic to the language of set-theoretical approach, the connection has been established between the deontic postulates, on one side, and the perfection properties of the norm-set and the counter-set, on the (...) other side. In the study of conditions of rational norm-related activities it has been shown that diverse dynamic second-order norms related to the concept of the consistency norm-system hold: -- the norm-giver ought to restore ``classical'' consistency by revising an inconsistent system, -- the norm-recipient ought to preserve an inconsistent system by revision of its logic so that inconsistency does not imply destruction of the system. Dialetheic deontic logic of Priest is a suitable logic for the purpose since it preserves other perfection properties of the system. (shrink)

In ‘Godel’s Way’ three eminent scientists discuss issues such as undecidability, incompleteness, randomness, computability and paraconsistency. I approach these issues from the Wittgensteinian viewpoint that there are two basic issues which have completely different solutions. There are the scientific or empirical issues, which are facts about the world that need to be investigated observationally and philosophical issues as to how language can be used intelligibly (which include certain questions in mathematics and logic), which need to be decided by looking at (...) how we actually use words in particular contexts. When we get clear about which language game we are playing, these topics are seen to be ordinary scientific and mathematical questions like any others. Wittgenstein’s insights have seldom been equaled and never surpassed and are as pertinent today as they were 80 years ago when he dictated the Blue and Brown Books. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

Is there a notion of contradiction—let us call it, for dramatic effect, “absolute”—making all contradictions, so understood, unacceptable also for dialetheists? It is argued in this paper that there is, and that spelling it out brings some theoretical benefits. First it gives us a foothold on undisputed ground in the methodologically difficult debate on dialetheism. Second, we can use it to express, without begging questions, the disagreement between dialetheists and their rivals on the nature of truth. Third, dialetheism has an (...) operator allowing it, against the opinion of many critics, to rule things out and manifest disagreement: for unlike other proposed exclusion-expressing-devices (for instance, the entailment of triviality), the operator used to formulate the notion of absolute contradiction appears to be immune both from crippling expressive limitations and from revenge paradoxes—pending a rigorous nontriviality proof for a formal dialetheic theory including it. (shrink)

The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is to apply (...) to Grove’s sphere system, a semantical representation of the AGM theory, logics that do not infer everything from contradictory premises, viz., paraconsistent logics. I use three paraconsistent logics and discuss three sphere systems that are based on them. I then examine the completeness of the postulates of the AGM theory with respect to the systems. At the end, I discuss some philosophical implications of the examination. (shrink)

One might ask of two or more texts—what can be inferred from them, taken together? If the texts happen to contradict each other in some respect, then the unadorned answer of standard logic is EVERYTHING. But it seems to be a given that we often successfully reason with inconsistent information from multiple sources. The purpose of this paper is to attempt to develop an adequate approach to accounting for this given.

Doris Olin's Paradox is a very helpful book for those who want to be introduced to the philosophical treatment of paradoxes, or for those who already have knowledge of the general area and would like to have a helpful resource book.

Spinoza ’s letter of June 2, 1674 to his friend Jarig Jelles addresses several distinct and important issues in Spinoza ’s philosophy. It explains briefly the core of Spinoza ’s disagreement with Hobbes’ political theory, develops his innovative understanding of numbers, and elaborates on Spinoza ’s refusal to describe God as one or single. Then, toward the end of the letter, Spinoza writes: With regard to the statement that figure is a negation and not anything positive, it is obvious that (...) matter in its totality, considered without limitation [indefinitè consideratam], can have no figure, and that figure applies only to finite and determinate bodies. For he who says that he apprehends a figure, thereby means to indicate simply this, that he apprehends a determinate thing and the manner of its determination. This determination therefore does not pertain to the thing in regard to its being [esse]; on the contrary, it is its non-being [non-esse]. So since figure is nothing but determination, and determination is negation [Quia ergo figura non aliud, quam determinatio, et determinatio negatio est], figure can be nothing other than negation, as has been said. Arguably, what is most notable about this letter is the fate of a single subordinate clause which appears in the last sentence of this passage: et determinatio negatio est. That clause was to be adopted by Hegel and transformed into the slogan of his own dialectical method: Omnis determinatio est negatio. Of further significance is the fact that, while Hegel does credit Spinoza with the discovery of this most fundamental insight, he believes Spinoza failed to appreciate the importance of his discovery. The issue of negation and the possibility of self-negation stand at the very center of the philosophical dialogue between the systems of Spinoza and Hegel, and in this paper I will attempt to provide a preliminary explication of this foundational debate between the two systems. In the first part of the paper I will argue that the “determination is negation” formula has been understood in at least three distinct senses among the German Idealists, and as a result many of the participants in the discussion of this formula were actually talking past each other. The clarification of the three distinct senses of the formula will lead, in the second part of the paper, to a more precise evaluation of the fundamental debate between Spinoza and Hegel regarding the possibility of self-negation. In this part I will evaluate the validity of each interpretation of the determination formula, and motivate the positions of the various participants in the debate. (shrink)

Beginning with the paradoxes of zombie twins, we present an argument that dualism is both true and false. We show that avoiding this contradiction is impossible. Our diagnosis is that consciousness itself engenders this contradiction by producing contradictory points of view. This result has a large effect on the realism/anti-realism debate, namely, it suggests that this debate is intractable, and furthermore, it explains why this debate is intractable. We close with some comments on what our results mean for metaphysics and (...) philosophy, in general. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

This article argues that Nietzsche's transvaluation project refers not to a mere inversion or negation of a set of values but, instead, to a different conception of what a value is and how it functions. Traditional values function within a standard logical framework and claim legitimacy and bindingness based on exogenous authority with absolute extension. Nietzsche regards this framework as unnecessarily reductive in its attempted exclusion of contradiction and real opposition among competing values and proposes a nonstandard, dialetheic model of (...) valuation. (shrink)