Kant’s metaphilosophy has three main parts: (1) an essentialist project (“What is philosophy?”); (2) a methodological project (“How do we do philosophy?”); and (3) a taxonomic project (“What are the different parts of philosophy, and how are they related?”). This paper focuses on the third project. In particular, it explores one of the most intriguing yet puzzling aspects of Kant’s philosophy, viz. the relationship between what Kant calls ‘pure’ philosophy vs. ‘applied’, ‘empirical’ or what we can broadly refer (...) to as ‘impure’ philosophy. (As we shall see, in order to be able to address this third project, we shall also need to examine the other two projects in detail.) My plan is as follows. First, I discuss four main areas of pure vs. impure philosophy: (i) ‘pure logic’ vs. ‘applied logic’; (ii) ‘rational psychology’ vs. ‘empirical psychology’; (iii) ‘pure metaphysics of nature’ vs. ‘physics’ and (iv) ‘pure morality’ or a ‘metaphysics of morals’ vs. ‘moral anthropology’, ‘practical anthropology’ or ‘applied moral philosophy’. Based on this, I identify four key differences between pure and impure philosophy. Second, I critically examine four different readings of Kant’s views about the status of ‘impure’ philosophy: (a) that it is not genuine philosophy; (b) that it is bad or inferior philosophy; (c) that it is instrumentally valuable; and (d) that it constitutes an indispensable part of Kant’s philosophy, both in a theoretical and practical sense. I argue that Kant is best interpreted as endorsing readings (c) and (d). Third, I offer some concluding remarks. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

In the *Science of Logic*, Hegel states unequivocally that the category of “life” is a strictly logical, or pure, form of thinking. His treatment of actual life – i.e., that which empirically constitutes nature – arises first in his *Philosophy of Nature* when the logic is applied under the conditions of space and time. Nevertheless, many commentators find Hegel’s development of this category as a purely logical one especially difficult to accept. Indeed, they find this development (...) only comprehensible as long as one simultaneously assumes that Hegel breaks his promise to let the logic do the leading. However, if Hegel were to in fact allow the logical development to be led by biological analogies at this point, problems would ensue. Not only would it contradict his own speculative method, which should secure the necessity of the categories, but it would also endanger the ontological generality of the category of life itself. Beyond undermining his method and the logical integrity of the category, however, I will argue that such a reading makes the transition to the next category of “cognition” unintelligible and problematic. My aim in the first part of this paper is to argue how logical life can be read as a pure category. I then argue in the second part how my reconstruction makes the transition to cognition intelligible without resorting to profane or supernatural interpretations. (shrink)

It is often claimed that the structure of the Transcendental Logic is modeled on the Wolffian division of logic textbooks into sections on concepts, judgments, and inferences. While it is undeniable that the Transcendental Logic contains elements that are similar to the content of these sections, I believe these similarities are largely incidental to the structure of the Transcendental Logic. In this essay, I offer an alternative and, I believe, more plausible account of Wolff’s influence on (...) the structure of the Transcendental Logic, one that puts the focus on his empirical psychology rather than his logic. In particular, I argue that the structure of the Transcendental Logic is deeply indebted to a conception of purity that Wolff introduces in his empirical psychology and that this conception sheds more light on the overall structure of the Transcendental Logic than the accepted view. In section one, I outline two conceptions of purity found in Kant and trace them to similar views in Wolff. In section two, I turn to Kant’s views about logic as they are expressed in the Critique and argue that it is best to interpret Kant’s taxonomy of logic on its own terms rather than reading it through its terminological similarities to aspects of the Wolffian tradition. In section three, I argue that the second of the two conceptions of purity identified in section one is central to the structure of the Transcendental Logic. In doing so, I argue against the widespread view that this section of the Critique is modeled solely on what Kant calls pure general logic as opposed to both pure and applied general logic. I then conclude by briefly reviewing my account and considering some of its broader implications for our understanding of Kant. (shrink)

The purpose of this work is to address what notion of geometrical object and geometrical figure we have in different kinds of geometry: practical, pure, and applied. Also, we address the relation between geometrical objects and figures when this is possible, which is the case of pure and applied geometry. In practical geometry it turns out that there is no conception of geometrical object.

In the paper, original formal-logical conception of syntactic and semantic: intensional and extensional senses of expressions of any language L is outlined. Syntax and bi-level intensional and extensional semantics of language L are characterized categorically: in the spirit of some Husserl’s ideas of pure grammar, Leśniewski-Ajukiewicz’s theory syntactic/semantic categories and in accordance with Frege’s ontological canons, Bocheński’s famous motto—syntax mirrors ontology and some ideas of Suszko: language should be a linguistic scheme of ontological reality and simultaneously a tool of (...) its cognition. In the logical conception of language L, its expressions should satisfy some general conditions of language adequacy. The adequacy ensures their unambiguous syntactic and semantic senses and mutual, syntactic, and semantic compatibility, correspondence guaranteed by the acceptance of a postulate of categorial compatibility syntactic and semantic categories of expressions of L. From this postulate, three principles of compositionality follow: one syntactic and two semantic already known to Frege. They are treated as conditions of homomorphism partial algebra of L into algebraic models of L: syntactic, intensional, and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, of course, an idealization, but only expressions with high degrees of precision of their senses, after due justification, may become theorems of science. (shrink)

Information-theoretic approaches to formal logic analyze the "common intuitive" concepts of implication, consequence, and validity in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; one given proposition is a consequence of a second if the latter contains all of the information contained by the former; an argument is valid if the conclusion contains no information beyond that of the premise-set. (...) This paper locates information-theoretic approaches historically, philosophically, and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyze validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

We want to show that Aristotle’s general conception of syllogism includes as its essential part the logical concept of necessity, which can be understood in a causal way. This logical conception of causality is more general then the conception of the causality in the Aristotelian theory of proof (“demonstrative syllogism”), which contains the causal account of knowledge and science outside formal logic. Aristotle’s syllogistic is described in a purely intensional way, without recourse to a set-theoretical formal semantics. It is (...) shown that the conclusion of a syllogism is justified by the accumulation of logical causes applied during the reasoning process. It is also indicated that logical principles as well as the logical concept of causality have a fundamental ontological role in Aristotle’s “first philosophy”. (shrink)

In his famous work on vagueness, Russell named “fallacy of verbalism” the fallacy that consists in mistaking the properties of words for the properties of things. In this paper, I examine two (clusters of) mainstream paraconsistent logical theories – the non-adjunctive and relevant approaches –, and show that, if they are given a strongly paraconsistent or dialetheic reading, the charge of committing the Russellian Fallacy can be raised against them in a sophisticated way, by appealing to the intuitive reading of (...) their underlying semantics. The meaning of “intuitive reading” is clarified by exploiting a well-established distinction between pure and applied semantics. If the proposed arguments go through, the dialetheist or strong paraconsistentist faces the following Dilemma: either she must withdraw her claim to have exhibited true contradictions in a metaphysically robust sense – therefore, inconsistent objects and/or states of affairs that make those contradictions true; or she has to give up realism on truth, and embrace some form of anti-realistic (idealistic, or broadly constructivist) metaphysics. Sticking to the second horn of the Dilemma, though, appears to be promising: it could lead to a collapse of the very distinction, commonly held in the literature, between a weak and a strong form of paraconsistency – and this could be a welcome result for a dialetheist. (shrink)

In this work we argue that there is no strong demarcation between pure and applied mathematics. We show this first by stressing non-deductive components within pure mathematics, like axiomatization and theory-building in general. We also stress the “purer” components of applied mathematics, like the theory of the models that are concerned with practical purposes. We further show that some mathematical theories can be viewed through either a pure or applied lens. These different lenses are (...) tied to different communities, which endorse different evaluative standards for theories. We evaluate the distinction between pure and applied mathematics from a late Wittgensteinian perspective. We note that the classical exegesis of the later Wittgenstein’s philosophy of mathematics, due to Maddy, leads to a clear-cut but misguided demarcation. We then turn our attention to a more niche interpretation of Wittgenstein by Dawson, which captures aspects of the aforementioned distinction more accurately. Building on this newer, maverick interpretation of the later Wittgenstein’s philosophy of mathematics, and endorsing an extended notion of meaning as use which includes social, mundane uses, we elaborate a fuzzy, but more realistic, demarcation. This demarcation, relying on family resemblance, is based on how direct and intended technical applications are, the kind of evaluative standards featured, and the range of rhetorical purposes at stake. (shrink)

It is a received view that Kant’s formal logic (or what he calls “pure general logic”) is thoroughly intensional. On this view, even the notion of logical extension must be understood solely in terms of the concepts that are subordinate to a given concept. I grant that the subordination relation among concepts is an important theme in Kant’s logical doctrine of concepts. But I argue that it is both possible and important to ascribe to Kant an objectual (...) notion of logical extension according to which the extension of a concept is the multitude of objects falling under it. I begin by defending this ascription in response to three reasons that are commonly invoked against it. First, I explain that this ascription is compatible with Kant’s philosophical reflections on the nature and boundary of a formal logic. Second, I show that the objectual notion of extension I ascribe to Kant can be traced back to many of the early modern works of logic with which he was more or less familiar. Third, I argue that such a notion of extension makes perfect sense of a pivotal principle in Kant’s logic, namely the principle that the quantity of a concept’s extension is inversely proportional to that of its intension. In the process, I tease out two important features of the Kantian objectual notion of logical extension in terms of which it markedly differs from the modern one. First, on the modern notion the extension of a concept is the sum of the objects actually falling under it; on the Kantian notion, by contrast, the extension of a concept consists of the multitude of possible objects—not in the metaphysical sense of possibility, though—to which a concept applies in virtue of being a general representation. While the quantity of the former extension is finite, that of the latter is infinite—as is reflected in Kant’s use of a plane-geometrical figure (e.g., circle, square), which is continuum as opposed to discretum, to represent the extension in question. Second, on the modern notion of extension, a concept that signifies exactly one object has a one-member extension; on the Kantian notion, however, such a concept has no extension at all—for a concept is taken to have extension only if it signifies a multitude of things. This feature of logical extension is manifested in Kant’s claim that a singular concept (or a concept in its singular use) can, for lack of extension, be figuratively represented only by a point—as opposed to an extended figure like circle, which is reserved for a general concept (or a concept in its general use). Precisely on account of these two features, the Kantian objectual extension proves vital to Kant’s theory of logical quantification (in universal, particular and singular judgments, respectively) and to his view regarding the formal truth of analytic judgments. (shrink)

For Kant, ‘reflection’ is a technical term with a range of senses. I focus here on the senses of reflection that come to light in Kant's account of logic, and then bring the results to bear on the distinction between ‘logical’ and ‘transcendental’ reflection that surfaces in the Amphiboly chapter of the Critique of Pure Reason. Although recent commentary has followed similar cues, I suggest that it labours under a blind spot, as it neglects Kant's distinction between ‘ (...) class='Hi'>pure’ and ‘applied’ general logic. The foundational text of existing interpretations is a passage in Logik Jäsche that appears to attribute to Kant the view that reflection is a mental operation involved in the generation of concepts from non-conceptual materials. I argue against the received view by attending to Kant's division between ‘pure’ and ‘applied’ general logic, identifying senses of reflection proper to each, and showing that none accords well with the received view. Finally, to take account of Kant's notio.. (shrink)

The previously introduced algorithm \sqema\ computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend \sqema\ with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points \mffo. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid mu-calculus. In particular, we (...) prove that the recursive extension of \sqema\ succeeds on the class of `recursive formulae'. We also show that a certain version of this algorithm guarantees the canonicity of the formulae on which it succeeds. (shrink)

Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves (...) and by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyse validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out the (...) complications of design problems from current work in history of engineering and technology studies. I then model Carnap’s practice based on those lessons and uncover ways in which Carnap’s technical work in inductive logic takes some of these lessons on board. This shows ways in which Carnap’s philosophical project subtly changes right through his late work on induction, providing an important corrective to interpretations that ignore the work on inductive logic. Specifically, I show that paying attention to the historical details of Carnap’s attempt to apply his work in inductive logic to decision theory and theoretical statistics in the 1950s and 1960s helps us understand how Carnap develops and rearticulates the philosophical point of the practical/theoretical distinction in his late work, offering thus a new interpretation of Carnap’s technical work within the broader context of philosophy of science and analytical philosophy in general. (shrink)

A common framing has it that any adequate treatment of quotation has to abandon one of the following three principles: (i) The quoted expression is a syntactic constituent of the quote phrase; (ii) If two expressions are derived by applying the same syntactic rule to a sequence of synonymous expressions, then they are synonymous; (iii) The language contains synonymous but distinct expressions. In the following, a formal syntax and semantics will be provided for a quotational language which adheres to all (...) three principles. The point here is not merely to provide a “possibility proof”, but to reveal the hard constraints on the theory of quotation, and to highlight certain assumptions at the syntax/semantics/post-semantics interfaces. (shrink)

In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.

An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the physical (...) world and are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)

In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, Leśniewski-Ajdukiewicz's theory of syntactic/semantic categories and, in accordance with Frege's ontological canons, Bocheński's and some of Suszko's ideas of language adequacy of expressions of L. The adequacy ensures their unambiguous syntactic (...) and semantic senses and mutual, syntactic and semantic correspondence guaranteed by the acceptance of a postulate of categorial compatibility of syntactic and semantic (extensional and intensional) categories of expressions of L. This postulate defines the unification of these three logical senses. There are three principles of compositionality which follow from this postulate: one syntactic and two semantic ones already known to Frege. They are treated as conditions of homomorphism of partial algebra of L into algebraic models of L: syntactic, intensional and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, obviously, an idealisation. The syntactic and semantic unambiguity of its expressions is not, of course, a feature of natural languages, but every syntactically and semantically ambiguous expression of such languages may be treated as a schema representing all of its interpretations that are unambiguous expressions. (shrink)

In 1942 Haskell B. Curry presented what is now called Curry's paradox which can be found in a logic independently of its stand on negation. In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this article the non-classical resolution of Curry’s Paradox and Shaw-Kwei' sparadox without rejection any contraction postulate is proposed. In additional relevant paraconsistent logic C ̌_n^#,1≤n<ω, in fact,provide an effective way of circumventing triviality of da Costa’s paraconsistent (...) Set Theories〖NF〗n^C. (shrink)

This paper aims to analyze the relationship between applied social sciences and practical wisdom. Utilizing conceptual analysis methodology, it begins by defining application, action, and practice, then delves into the conceptual analysis of applied social sciences and practical wisdom. The concept of phronesis in Aristotle's philosophy and practical wisdom in Muslim philosophers are studied and analyzed. By examining different definitions of practical wisdom among Muslim scholars and comparing their views with those of Aristotle, the paper evaluates their perspectives. (...) Subsequently, it focuses on exploring the relationship between applied social sciences and practical wisdom, analyzing their points of divergence and convergence. Considering the inherent nature of applied social sciences as technological and practical, contrasted with the virtue-based nature of practical wisdom, the paper raises the question of whether phronesis can logically benefit from pure applied social sciences as theoretical wisdom to guide individuals towards virtuous action. It also questions whether this scenario could be considered a form of applied social sciences. (shrink)

The role and nature of imagination in Kant's Critique of Pure Reason is intensively examined. In addition, the text of Kant's Anthropology from a Pragmatic Point of View will also be considered because it helps illustrate this issue. Imagination is the fundamental power of the mind responsible for any act of forming and putting together representations. A new interpretation of imagination in Kant is given which recognizes its necessary roles as the factor responsible for producing space and time, as (...) an essential component in perception, as the mediator of concepts and intuitions, and as the synthesizing agent which groups together representations into categories. ;The work is divided basically into two parts. The first part looks at the imagination in the Transcendental Aesthetic. It will be shown that space and time themselves are products of imagination. As pure and a priori intuitions space and time are objects of thought and thus are conditioned by the synthetic power of imagination. Moreover, as forms of intuitions space and time are also conditioned by imagination; hence, imagination is a necessary factor in spatial and temporal perception. ;The second part of the thesis concerns the role of imagination in the Transcendental Analytic. Here the role of the imagination is more pervasive. In the Metaphysical Deduction the thesis argues that the imagination is responsible for uniting representations into twelve categories which are the conditions of thinking in general. Therefore the categories themselves owe their origins to imagination. This interpretation hinges on Kant's distinction between transcendental and general logic, which the thesis will discuss in detail. In the Transcendental Deduction the imagination is responsible for taking up representations in such a way that results in their belonging to a single framework of consciousness, thus showing that the categories apply to a posteriori representations. In the Schematism the imagination is necessary in forming the schemata, which join together concepts and intuitions so that both empirical and transcendental judgments are produced. Finally, a critique of Heidegger's idea on imagination as the "common root" of sensibility and understanding will be offered. (shrink)

‘Mapping accounts’ of applied mathematics hold that the application of mathematics in physical science is best understood in terms of ‘mappings’ between mathematical structures and physical structures. In this paper, I suggest that mapping accounts rely on the assumption that the mathematics relevant to any application of mathematics in empirical science can be captured in an appropriate mathematical structure. If we are interested in assessing the plausibility of mapping accounts, we must ask ourselves: how plausible is this assumption as (...) a working hypothesis about applied mathematics? In order to do so, we examine the role played by mathematics in the multiscalar modelling of sea ice melting behaviour and examine whether we can indeed capture the mathematics involved in the kind of mathematical structure employed by the mapping account. Along the way, we note that the cases of applied mathematics that appear in discussions of mapping accounts almost exclusively involve the employment of a single clearly circumscribed mathematical field or domain. While the core assumption of mapping accounts may appear plausible in such situations, we ultimately suggest that the mapping account is not able to handle the important added complexities involved in our sea ice case study. In particular, the notion of mathematical structure around which such accounts are framed does not seem to be able to capture the way in which some applications of mathematics require that very different pieces of mathematics be related to one another on the basis of both mathematical and empirical information. (shrink)

During the Transfiguration, the apostles on Tabor, “indeed saw the same grace of the Spirit which would later dwell in them”. The light of grace “illuminates from outside on those who worthily approached it and sent the illumination to the soul through the sensitive eyes; but today, because it is confounded with us and exists in us, it illuminates the soul from inward ”. The opposition between knowledge, which comes from outside - a human and purely symbolic knowledge - and (...) “intellectual” knowledge, which comes from within, Meyendorff says what it already exists at Pseudo-Dionysius: “For it is not from without that God stirs them toward the divine. Rather he does so via the intellect and from within and he willingly enlightens them with a ray that is pure and immaterial”. The assertions of the Calabrian philosopher about an “unique knowledge”, common both to the Christians and the Hellenes and pursuing the same goal, the hesychast theologian opposes the reality of the two knowledge, having two distinct purposes and based on two different instruments of perception: “Palamas admitted the authenticity of natural knowledge, however the latter is opposed to the revealed wisdom, that is why it does not provide, by itself, salvation”. Therefore, in the purified human intellect begins to shine of the Trinity light. Purity also depends on the return of the intellect to itself. In this way, we see how the true knowledge of God is an internal meeting or “inner retrieval” of the whole being of man. As well as in the Syrian mystic, on several occasions we have to make the distinction between the contemplative ways of knowledge: intellection illuminated by grace and spiritual vision without any conceptual or symbolic meaning. For example, Robert Beulay shows that, “The term of ‘intellection’ first of all, is employed by John of Dalyatha to be applied to operations caused by grace”. (shrink)

In artificial intelligence (AI), responses generated by machine-learning models (most often large language models) may be unfactual information presented as a fact. For example, a chatbot might state that the Mona Lisa was painted in 1815. Such phenomenon is called AI hallucinations, seeking inspiration from human psychology, with a great difference of AI ones being connected to unjustified beliefs (that is, AI “beliefs”) rather than perceptual failures). -/- AI hallucinations may have their source in the data itself, that is, the (...) source content, or in the training procedure, i.e. the way the knowledge was encoded in the model’s parameters, so that errors in encoding and decoding textual and non-textual representations can cause hallucinations. In this paper, we will observe how such errors come to life and how they might be mitigated. For this purpose, we will analyze the usability of justification logics, to behave as a proof checker for validating the correctness of large language models’ (LLM) responses. Justification logic was developed by S. Artemov, and later on mostly by Artemov and M. Fitting, deriving its main idea from the logic of proofs (LP): knowledge and belief modalities are seen as justification terms, i.e. t:X stands for t is a (proper) justification for X. Justification logic originated from attempts to create semantics for intuitionistic logic where proofs were the most proper justifications, but in further development, justification logic could be applied to different kinds of justifications). With the recent attempts to mitigate incorrect LLM responses, we will analyze various guardrails that are currently used for LLM responses, and see how the logic of justification may provide its benefits as an AI safety layer against false data. (shrink)

An old and well-known objection to non-classical logics is that they are too weak; in particular, they cannot prove a number of important mathematical results. A promising strategy to deal with this objection consists in proving so-called recapture results. Roughly, these results show that classical logic can be used in mathematics and other unproblematic contexts. However, the strategy faces some potential problems. First, typical recapture results are formulated in a purely logical language, and do not generalize nicely to languages (...) containing the kind of vocabulary that usually motivates non-classical theories—for example, a language containing a naïve truth predicate. Second, proofs of recapture results typically employ classical principles that are not valid in the targeted non-classical system; hence, non-classical theorists do not seem entitled to those results. In this paper, we analyze these problems and provide solutions on behalf of non-classical theorists. To address the first problem, we provide a novel kind of recapture result, which generalizes nicely to a truth-theoretic language. As for the second problem, we argue that it relies on an ambiguity and that, once the ambiguity is removed, there are no reasons to think that non-classical logicians are not entitled to their recapture results. (shrink)

Many philosophers have been attracted to the idea of using the logical form of a true sentence as a guide to the metaphysical grounds of the fact stated by that sentence. This paper looks at a particular instance of that idea: the widely accepted principle that disjunctions are grounded in their true disjuncts. I will argue that an unrestricted version of this principle has several problematic consequences and that it’s not obvious how the principle might be restricted in order to (...) avoid them. My suggestion is that, instead of trying to restrict the principle, we should distinguish between metaphysical and conceptual grounds and take the principle to apply exclusively to the latter. This suggestion, if correct, carries over to other prominent attempts at using logical form as a guide to ground. (shrink)

Let PLω be the provability logic of IΔ0 + ω1. We prove some containments of the form L ⊆ PLω < Th(C) where L is the provability logic of PA and Th(C) is a suitable class of Kripke frames.

For more than fifty years, taxonomists have proposed numerous alternative definitions of species while they searched for a unique, comprehensive, and persuasive definition. This monograph shows that these efforts have been unnecessary, and indeed have provably been a pursuit of a will o’ the wisp because they have failed to recognize the theoretical impossibility of what they seek to accomplish. A clear and rigorous understanding of the logic underlying species definition leads both to a recognition of the inescapable ambiguity (...) that affects the definition of species, and to a framework-relative approach to species definition that is logically compelling, i.e., cannot not be accepted without inconsistency. An appendix reflects upon the conclusions reached, applying them in an intellectually whimsical taxonomic thought experiment that conjectures the possibility of an emerging new human species. (shrink)

Critical examination of Alchourrón and Bulygin’s set-theoretic definition of normative system shows that deductive closure is not an inevitable property. Following von Wright’s conjecture that axioms of standard deontic logic describe perfection-properties of a norm-set, a translation algorithm from the modal to the set-theoretic language is introduced. The translations reveal that the plausibility of metanormative principles rests on different grounds. Using a methodological approach that distinguishes the actor roles in a norm governed interaction, it has been shown that metanormative (...) principles are directed second-order obligations and, in particular, that the requirement related to deductive closure is directed to the norm-applier role rather than to the norm-giver role. The approach has been applied to the case of pure derogation yielding a new result, namely, that an independence property is a perfection-property of a norm-set in view of possible derogation. This paper in a polemical way touches upon several points raised by Kristan in his recent paper. (shrink)

Causal models show promise as a foundation for the semantics of counterfactual sentences. However, current approaches face limitations compared to the alternative similarity theory: they only apply to a limited subset of counterfactuals and the connection to counterfactual logic is not straightforward. This paper addresses these difficulties using exogenous interventions, where causal interventions change the values of exogenous variables rather than structural equations. This model accommodates judgments about backtracking counterfactuals, extends to logically complex counterfactuals, and validates familiar principles of (...) counterfactual logic. This combines the interventionist intuitions of the causal approach with the logical advantages of the similarity approach. (shrink)

The notion of a partition on a set is mathematically dual to the notion of a subset of a set, so there is a logic of partitions dual to Boole's logic of subsets (Boolean logic is usually mis-specified as "propositional" logic). The notion of an element of a subset has as its dual the notion of a distinction of a partition (a pair of elements in different blocks). Boole developed finite logical probability as the normalized counting (...) measure on elements of subsets so there is a dual concept of logical entropy which is the normalized counting measure on distinctions of partitions. Thus the logical notion of information is a measure of distinctions. Classical logical entropy naturally extends to the notion of quantum logical entropy which provides a more natural and informative alternative to the usual Von Neumann entropy in quantum information theory. The quantum logical entropy of a post-measurement density matrix has the simple interpretation as the probability that two independent measurements of the same state using the same observable will have different results. The main result of the paper is that the increase in quantum logical entropy due to a projective measurement of a pure state is the sum of the absolute squares of the off-diagonal entries ("coherences") of the pure state density matrix that are zeroed ("decohered") by the measurement, i.e., the measure of the distinctions ("decoherences") created by the measurement. (shrink)

Paradoxes have played an important role both in philosophy and in mathematics and paradox resolution is an important topic in both fields. Paradox resolution is deeply important because if such resolution cannot be achieved, we are threatened with the charge of debilitating irrationality. This is supposed to be the case for the following reason. Paradoxes consist of jointly contradictory sets of statements that are individually plausible or believable. These facts about paradoxes then give rise to a deeply troubling epistemic problem. (...) Specifically, if one believes all of the constitutive propositions that make up a paradox, then one is apparently committed to belief in every proposition. This is the result of the principle of classical logical known as ex contradictione (sequitur) quodlibetthat anything and everything follows from a contradiction, and the plausible idea that belief is closed under logical or material implication (i.e. the epistemic closure principle). But, it is manifestly and profoundly irrational to believe every proposition and so the presence of even one contradiction in one’s doxa appears to result in what seems to be total irrationality. This problem is the problem of paradox-induced explosion. In this paper it will be argued that in many cases this problem can plausibly be avoided in a purely epistemic manner, without having either to resort to non-classical logics for belief (e.g. paraconsistent logics) or to the denial of the standard closure principle for beliefs. The manner in which this result can be achieved depends on drawing an important distinction between the propositional attitude of belief and the weaker attitude of acceptance such that paradox constituting propositions are accepted but not believed. Paradox-induced explosion is then avoided by noting that while belief may well be closed under material implication or even under logical implication, these sorts of weaker commitments are not subject to closure principles of those sorts. So, this possibility provides us with a less radical way to deal with the existence of paradoxes and it preserves the idea that intelligent agents can actually entertain paradoxes. (shrink)

In his essay ‘“Wang’s Paradox”’, Crispin Wright proposes a solution to the Sorites Paradox (in particular, the form of it he calls the ‘Paradox of Sharp Boundaries’) that involves adopting intuitionistic logic when reasoning with vague predicates. He does not give a semantic theory which accounts for the validity of intuitionistic logic (and the invalidity of stronger logics) in that area. The present essay tentatively makes good the deficiency. By applying a theorem of Tarski, it shows that intuitionistic (...) logic is the strongest logic that may be applied, given certain semantic assumptions about vague predicates. The essay ends with an inconclusive discussion of whether those semantic assumptions should be accepted. (shrink)

A lean hylomorphism stands as a metaphysical holy grail. An embarrassing feature of traditional hylomorphic ontologies is prime matter. Prime matter is both so basic that it cannot be examined (in principle) and its engagement with the other hylomorphic elements is far from clear. One particular problem posed by prime matter is how it is to be understood both as a principle of individuation for material substances and as pure potency. I present Thomas Aquinas’s way of squeezing some intelligibility (...) out of prime matter by modeling it on the idea of logical genus. Such a modeling provides insight into understanding prime matter as substratum, as maximally indeterminate, and as ontologically vague. One of the unusual but exciting things that fall out from this analysis of prime matter is the Entirety Thesis: “For any substance x, if x has prime matter then the prime matter of x is the same* as x,” where ‘same*’ is understood as “indeterminately identical.”. (shrink)

The author defines the sum of thinking as the soul. Historically, despite the many times that humans have liberated themselves, they are still enslaved. Humans mistakenly treats the body as a necessary part of themselves; thus, they seldom pursue the independence of souls. They are usually voluntarily exploited by the body through the nervous system. The author compares the body exploiting the soul with the slaveholder exploiting the slave and demonstrates that the soul should seek its own liberation. Even if (...) the souls can never be successfully liberated, humans should at least reduce the influence of the body. Future humans should shift the goal of life from as comfortable as possible to as logical as possible, from satisfying several fixed sense organs to experiencing various sense organs. This would also mark the beginning of humans choosing the direction of evolution rationally and actively, establishing eternal and universal ethics, and replacing fallacious empirical ethical codes with purely logical codes. (shrink)

This article offers an interpretation of a controversial aspect of Frege’s The Foundations of Arithmetic, the so-called Julius Caesar problem. Frege raises the Caesar problem against proposed purely logical definitions for ‘0’, ‘successor’, and ‘number’, and also against a proposed definition for ‘direction’ as applied to lines in geometry. Dummett and other interpreters have seen in Frege’s criticism a demanding requirement on such definitions, often put by saying that such definitions must provide a criterion of identity of a certain (...) kind. These interpretations are criticized and an alternative interpretation is defended. The Caesar problem is that the proposed definitions fail to well-define ‘number’ and ‘direction’. That is, the proposed definitions, even when taken together with the extra-definitional facts, fail to fix unique semantic extensions for ‘number’ and ‘direction’, and thereby fail to fix unique truth-values for sentences like ‘Caesar is a number’ and ‘England is a direction’. A minor modification of the criticized definitions well-defines ‘0’, ‘successor’ and ‘number’, thereby avoiding the Caesar problem as Frege understands it, but without providing any criterion of number identity in the usual sense. (shrink)

The recent literature on Nāgārjuna’s catuṣkoṭi centres around Jay Garfield’s (2009) and Graham Priest’s (2010) interpretation. It is an open discussion to what extent their interpretation is an adequate model of the logic for the catuskoti, and the Mūla-madhyamaka-kārikā. Priest and Garfield try to make sense of the contradictions within the catuskoti by appeal to a series of lattices – orderings of truth-values, supposed to model the path to enlightenment. They use Anderson & Belnaps's (1975) framework of First Degree (...) Entailment. Cotnoir (2015) has argued that the lattices of Priest and Garfield cannot ground the logic of the catuskoti. The concern is simple: on the one hand, FDE brings with it the failure of classical principles such as modus ponens. On the other hand, we frequently encounter Nāgārjuna using classical principles in other arguments in the MMK. There is a problem of validity. If FDE is Nāgārjuna’s logic of choice, he is facing what is commonly called the classical recapture problem: how to make sense of cases where classical principles like modus pones are valid? One cannot just add principles like modus ponens as assumptions, because in the background paraconsistent logic this does not rule out their negations. In this essay, I shall explore and critically evaluate Cotnoir’s proposal. In detail, I shall reveal that his framework suffers collapse of the kotis. Furthermore, I shall argue that the Collapse Argument has been misguided from the outset. The last chapter suggests a formulation of the catuskoti in classical Boolean Algebra, extended by the notion of an external negation as an illocutionary act. I will focus on purely formal considerations, leaving doctrinal matters to the scholarly discourse – as far as this is possible. (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)

Edward Nieznański developed two logical systems to deal with the problem of evil and to refute religious determinism. However, when formalized in first-order modal logic, two axioms of each system contradict one another, revealing that there is an underlying minimal set of axioms enough to settle the questions. In this article, we develop this minimal system, called N3, which is based on Nieznański’s contribution. The purpose of N3 is to solve the logical problem of evil through the defeat of (...) a version of religious determinism. On the one hand, these questions are also addressed by Nieznański’s systems, but, on the other hand, they are obtained in N3 with fewer assumptions. Our approach can be considered a case of logic of religion, that is, of logic applied to religious discourse, as proposed by Józef Maria Bocheński; in this particular case, it is a discourse in theodicy, which is situated in the context of the philosophy of religion. (shrink)

In the Bayesian approach to quantum mechanics, probabilities—and thus quantum states—represent an agent’s degrees of belief, rather than corresponding to objective properties of physical systems. In this paper we investigate the concept of certainty in quantum mechanics. Particularly, we show how the probability-1 predictions derived from pure quantum states highlight a fundamental difference between our Bayesian approach, on the one hand, and Copenhagen and similar interpretations on the other. We first review the main arguments for the general claim that (...) probabilities always represent degrees of belief. We then argue that a quantum state prepared by some physical device always depends on an agent’s prior beliefs, implying that the probability-1 predictions derived from that state also depend on the agent’s prior beliefs. Quantum certainty is therefore always some agent’s certainty. Conversely, if facts about an experimental setup could imply agent-independent certainty for a measurement outcome, as in many Copenhagen-like interpretations, that outcome would effectively correspond to a preexisting system property. The idea that measurement outcomes occurring with certainty correspond to preexisting system properties is, however, in conflict with locality. We emphasize this by giving a version of an argument of Stairs [(1983). Quantum logic, realism, and value-definiteness. Philosophy of Science, 50, 578], which applies the Kochen–Specker theorem to an entangled bipartite system. (shrink)

From 1901 till, at least, 1919, Russell persistently maintained that there are two kinds of logic, between which he sharply discriminated: mathematical logic and philosophical logic. In this paper, we discuss the concept of philosophical logic, as used by Russell. This was only a tentative program that Russell did not clarify in detail, so our task will be to make it explicit. We shall show that there are three (-and-a-half) kinds of Russellian philosophical logic: (i) (...) “pure logic”; (ii) philosophical logic investigating the logical forms of propositions; (iii) philosophical logic exploring the logical forms of facts: in epistemology; and in the external world. In particular, Russell’s program or philosophical logic of the facts of the external world remained less than sketchily outlined. We shall discuss it in some detail in the hope that it can start a new life. (shrink)

This paper revisits Derrida’s and Deleuze’s early discussions of “Platonism” in order to challenge the common claim that there is a fundamental divergence in their thought and to challenge one standard narrative about the history of deconstruction. According to that narrative, deconstruction should be understood as the successor to phenomenology. To complicate this story, I read Derrida’s “Plato’s Pharmacy” alongside Deleuze’s discussion of Platonism and simulacra at the end of Logic of Sense. Both discussions present Platonism as the effort (...) to establish a representative order (of original ideas and authorized reproductions of them) with no excess or outside (simulacra, or ideas that cannot be tied to an eidos). Since such pure representation is impossible, Platonism functions by means of the violent suppression of the simulacra and pharamakoi that exceed its eidetic structures. To overcome Platonism is thus not to reverse it, but to establish something like a practice of counter-memorials: detecting, exhuming, and writing back textual traces of what Platonism excludes. I then briefly apply this practice to narratives about the history of deconstruction, and suggest that they tend to occlude precisely the materialist elements of that history, as (for example) the importance of Spinoza as an interlocutor. In other words, the emerging canonical narrative about deconstruction runs the risk of repeating the Platonic gesture that Derrida spent his career writing against. (shrink)

Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a number of (...) problems. In this paper, I review the problems and offer an alternative that avoids them. I offer a semantics for the pure logic of ground that is motivated by ideas already present in the grounding literature, and for which a natural axiomatization capturing central formal features of grounding is sound and complete. I also show how the semantics I offer avoids the problems faced by Fine’s semantics. (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)