A theoretically rigorous approach to the key problems of Molinism leads to a clear distinction between semantic and metaphysical problems. Answers to semantic problems do not provide answers to metaphysical problems that arise from the theory of middle knowledge. The so-called ‘grounding objection’ to Molinism raises a metaphysical problem. The most promising solution to it is a revised form of the traditional ‘essence solution’. Inspired by Leibniz’s idea of a ‘notio completa’ (complete concept), we propose a mathematical model of (...) ‘possibilistic’ (Molinist) complete concepts. They ground middle knowledge within the very being of the agents themselves. Molinist Complete Concepts can thus serve to reject consequence-style arguments against Molinism. They also allow the Molinist to safeguard a robustly libertarian notion of the ability to do otherwise. (shrink)

Theoretically rigorous approach to the key problems of Molinism.

In this paper, two concepts of completing an infinite number of tasks are considered. After discussing supertasks, equisupertasks are introduced. I suggest that equisupertasks are logically possible.

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system (...) is deducible by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

According to Kant, pure intuition is an indispensable ingredient of mathematical proofs. Kant‘s thesis has been considered as obsolete since the advent of modern relational logic at the end of 19th century. Against this logicist orthodoxy Cassirer’s “critical idealism” insisted that formal logic alone could not make sense of the conceptual co-evolution of mathematical and scientific concepts. For Cassirer, idealizations, or, more precisely, idealizing completions, played a fundamental role in the formation of the mathematical and empirical concepts. The (...) aim of this paper is to outline the basics of Cassirer’s idealizational account, and to point at some interesting similarities it has with Kant’s and Peirce’s philosophies of mathematics based on the key notions of pure intuition and theorematic reasoning, respectively. (shrink)

Gentzen’s approach by transfinite induction and that of intuitionist Heyting arithmetic to completeness and the self-foundation of mathematics are compared and opposed to the Gödel incompleteness results as to Peano arithmetic. Quantum mechanics involves infinity by Hilbert space, but it is finitist as any experimental science. The absence of hidden variables in it interpretable as its completeness should resurrect Hilbert’s finitism at the cost of relevant modification of the latter already hinted by intuitionism and Gentzen’s approaches for completeness. This paper (...) investigates both conditions and philosophical background necessary for that modification. The main conclusion is that the concept of infinity as underlying contemporary mathematics cannot be reduced to a single Peano arithmetic, but to at least two ones independent of each other. Intuitionism, quantum mechanics, and Gentzen’s approaches to completeness an even Hilbert’s finitism can be unified from that viewpoint. Mathematics may found itself by a way of finitism complemented by choice. The concept of information as the quantity of choices underlies that viewpoint. Quantum mechanics interpretable in terms of information and quantum information is inseparable from mathematics and its foundation. (shrink)

Alonzo Church proposed a theory of sequences of functions and their arguments as surrogates for Russellian singular propositions and singular concepts. Church’s proposed theory accords with his Alternative (0), the strictest of his three competing criteria for strict synonymy. The currently popular objection to strict criteria like (0) on the basis of the Russell-Myhill paradox is rebutted. Russell-Myhill is not a problem specifically for Alternative (0); it is a refutation of unconstrained concept comprehension. Criteria more lax than (0) are (...) philosophically inadequate. It is demonstrated that the principal rival conception of propositions--propositions conceived as classes of possible worlds--is subject to a complete philosophical collapse: It follows on that conception, given that each of is fallible, that everyone believes everything. While it is far superior to its principal rival conception, Church’s proposed theory is vulnerable under (0) to a version of Russell’s notorious Gray’s Elegy objection. Some amendments to Church’s proposal are proffered, including an amendment, first proposed in the author’s /Frege’s Puzzle/ (1986), that addresses Russell’s objection. Church’s response (personal correspondence) is considered. (shrink)

This article examines Gilles Deleuze’s concept of the simulacrum, which Deleuze formulated in the context of his reading of Nietzsche’s project of “overturning Platonism.” The essential Platonic distinction, Deleuze argues, is more profound than the speculative distinction between model and copy, original and image. The deeper, practical distinction moves between two kinds of images or eidolon, for which the Platonic Idea is meant to provide a concrete criterion of selection “Copies” or icons (eikones) are well-grounded claimants to the transcendent Idea, (...) authenticated by their internal resemblance to the Idea, whereas “simulacra” (phantasmata) are like false claimants, built on a dissimilarity and implying an essential perversion or deviation from the Idea. If the goal of Platonism is the triumph of icons over simulacra, the inversion of Platonism would entail an affirmation of the simulacrum as such, which must thus be given its own concept. Deleuze consequently defines the simulacrum in terms of an internal dissimilitude or “disparateness,” which in turn implies a new conception of Ideas, no longer as self-identical qualities (the auto kath’hauto), but rather as constituting a pure concept of difference. An inverted Platonism would necessarily be based on a purely immanent and differential conception of Ideas. Starting from this new conception of the Idea, Deleuze proposes to take up the Platonic project anew, rethinking the fundamental figures of Platonism (selection, repetition, ungrounding, the question-problem complex) on a purely differential basis. In this sense, Deleuze’s inverted Platonism can at the same time be seen as a rejuvenated Platonism and even a completed Platonism. (shrink)

In this essay, I examine the use of the concept of privilege within the critical theoretical discourse on oppression and liberation (with a particular focus on white privilege and antiracism in the USA). In order to fulfill the rhetorical aims of liberation, concepts for privilege must meet what I term the ‘boundary condition’, which demarcates the boundary between a privileged elite and the rest of society, and the ‘ignorance condition’, which establishes that the elite status and the advantages it (...) confers are not publicly recognised or affirmed. I argue that the dominant use of the concept of privilege cannot fulfill these conditions. As a result, while I do not advocate for the complete abandonment of the rhetoric of privilege, I conclude that it obscures as much as it illuminates, and that the critical theoretical discourse on liberation and oppression should be suspicious of its use. (shrink)

In this paper, I distinguish two conceptions of solidarity, which I call solidarity as beneficence and solidarity as mutual advantage. I argue that only the latter is capable of providing a complete foundation for national universal health care programs. On the mutual advantage account, the rationale for universal insurance is parallel to the rationale for a labor union’s “closed shop” policy. In both cases, mandatory participation is necessary in order to stop individuals free-riding on an ongoing system of mutually (...) advantageous cooperation. (shrink)

This article explores the development of the concept of Phenomenological Psychology in the work of the philosopher Edmund Husserl and, more specifically, in the work "Phenomenological Psychology" that corresponds to vol. IX of the complete works of the philosopher, denominated Husserliana. We present the husserlian through the formation of the concept of Phenomenological Psychology and how its understanding makes possible answers to questions about psychology scientificity, which has been present since its foundation as a modern science, at the end (...) of the XIX century. We conclude that it is necessary to construct an intermediate field between Phenomenology and scientific studies in Psychology, through the rediscovery of Husserl's theory over the possibility of a Scientific Psychology of eidetic-transcendental bases and the usage of the phenomenological method, as well as the intersubjective character of human psyque as the basis of this possibility. (shrink)

In Pietroski ( 2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The present work is a study of this system from a logical perspective. In addition to establishing a completeness result and a complexity characterization for reasoning in the system, we also pinpoint its expressive limits, in particular showing that the fourth corner in the square of opposition (“ Some_not ”) eludes expression. We then study a seemingly small extension, called (...) SMPL +, which allows for a minimal predicate-binding operator. Perhaps surprisingly, the resulting system is shown to encode precisely the concepts expressible in first-order logic. However, unlike the latter class, the class of SMPL + expressions admits a simple procedural (context-free) characterization. Our contribution brings together research strands in logic—including natural logic, modal logic, description logic, and hybrid logic—with recent advances in semantics and philosophy of language. (shrink)

This paper argues that there are two irreducibly distinct negative concepts of liberty: freedom as non-prevention, and freedom as non-coercion. Contemporary proponents of the negative view, such as Matthew Kramer and Ian Carter, have sought to develop the Hobbesian idea that freedom is essentially a matter of physical non-prevention. Accordingly, they have sought to reduce the freedom-diminishing effect of coercion to that of prevention by arguing that coercive threats function to diminish freedom by preventing people from performing certain combinations (...) of actions. Against this, this paper argues that coercion diminishes people’s freedom in ways that cannot be fully captured in terms of prevention. Focusing on two types of case, those involving coercive threats and those involving coercive preference manipulation, it argues that non-coercion and physical non-prevention are importantly different goods. It concludes that a complete negative account of liberty must draw not only on the (Hobbesian) ‘non-prevention’ strand of the negative tradition but also on its (Hayekian) ‘non-coercion’ strand. (shrink)

For Kierkegaard the ‘psychological experiment’ is a literary strategy. It enables him to dramatize an existential conflict in an experimental mode. Kierkegaard’s aim is to study the source of movement that animates the existing individual (this is the psychological part). However, he is not interested in the representation of historical individuals in actual situations, but in the construction of fictional characters that are placed in hypothetical situations; this allows him to set the categories in motion “in order to observe completely (...) undisturbed what these require” without caring to what extent someone has met this requirement or is able to meet it (this is the experimental part). -/- The ‘psychological experiment’ is a category of indirect communication that is developed most extensively by Frater Taciturnus, the pseudonymous author of the third part of Stages on Life’s Way. (I) Taciturnus introduces the psychological experiment as a new trajectory in modern literature that offers an alternative to poetry and speculative drama. He develops this new trajectory in praxis (in the novella ‘“Guilty?”/“Not Guilty?” A Story of Suffering: A Psychological Experiment by Frater Taciturnus’) as well as in theory (in the ‘Letter to the Reader’ that accompanies his novella). (II) Two other pseudonymous authors further enrich the conceptual field of the psychological experiment. Constantin Constantius develops the notion ‘experimenting psychology’; Johannes Climacus reflects on the reader’s contemporaneity with the character. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...) above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

Concept Progress is a fusion of science fiction and philosophy. It is a thesis on metaphysics that stretches beyond the scope of modern science and scratches many of our curious itches. The thesis is complemented by short and loosely tied sci-fi stories that make its conceptualizations come to life. ​ The central theme throughout is that progress is a driving force in human evolution. This recurring viewpoint has previously stirred much debate. However, as we escalate through the twenty-first century, the (...) evidence is plentiful. Concept Progress offers a fresh perspective into the topic, citing humanity's ongoing accomplishments as a convincing piece of that evidence. In the book, we celebrate ourselves for our achievements, challenge our perceived limits, and conclude that progress will eventually produce the most evolved life form. In so doing, we look back to the beginning of time and circle forward to a time that is farther away than the current age of the universe. ​ While the tone of the book's body resembles that of a philosophical prose, with each chapter, the reader realizes more and more that the narrative is actually one of science fiction. The intent of the book's structure and approach is manifold. ​ First, it is safe to say that any literature that points to the future is already, by definition, a work of fiction—no matter how serious it tries to sound. Imagining future technologies, foreseeing the next stages of human evolution, and exploring the realm of the highest dimension surely makes it a science fiction. ​ Second, the book is a collection of concepts—abstract notions of the mind that reflect our grasp on certain aspects of reality. It is also a play on those concepts, exposing how our progressive understanding of these notions can gradually be transcended. Each chapter starts with a sketch of a particular concept whose humanistic yet quantum mechanical context lets us identify with it and be mystified by it. From the concepts of sound and light to the concepts of consciousness and coexistence, each concept tale depicts a personal expression of our mutual worldview. ​ Third, each one of the ten chapters concludes with a science fiction story. These stories project the theme further and subtly point to each other. As we connect the dots from one story to another, the outline reveals a world that makes us wonder whether we are headed toward its future or whether we will bypass it as an alternate universe. In one story, we meet the inventor of mind-reading technology while in another story, we meet an artificial life form that will be made possible by this technology. Yet another story is about the time-traveling mind of an astrophysicist whose life's work has impacts on whole timelines, as revealed by a different story. In the end, it all comes together with the final piece of the puzzle completing not only the short story series, but also the novel as a whole. ​ Each three-part chapter is a triad with a distinct purpose in mind. We begin the journey with our own curiosity. This basic emotion allows us to open the door to that which we are so curiously seeking. Essentially, that covers everything. In questioning the entirety of existence, we commence with the premise that it is the element of life that sends us on a quest for meaning. So we review the trend of life's evolution on Earth from its roots to the present day and follow this trend into the distant future. The process of evolutionary development leads us to a recipe for one's own personal progress, which is comprised of physical, mental, and spiritual ingredients. It soon becomes clear that a species can change only insofar as its individual members embrace this change. And we realize that our choice in the matter has impacts not only on our own future, but also on the future of everyone who shares our timeline. ​ In some ways, Concept Progress is a modern reflection of Charles Darwin's revolutionary theory of evolution. In other ways, it is an encouraging observation of our humble human existence. As we widen the time scale and follow this evolutionary trend from biological, social, and cosmic angles, the concepts of evolution and progress slowly but surely become synonymous. (shrink)

The goal of this paper is to better understand Kant’s conception of philosophy as a “world concept”, which is at the heart of the Architectonic of Pure Reason. This is pursued in two major parts. The first evaluates the textual foundation for reading Kant’s world concept of philosophy as cosmopolitanism and concludes that he most probably never himself equated philosophy as a world concept with any form of cosmopolitanism. The second major part of the paper clarifies this concept of philosophy (...) through the specific role it plays in the argument of the Architectonic. Kant’s unique concept of science is examined and compared with several specific applications of it found elsewhere in Kant’s writings. From this it is concluded that Kant’s intention in the Architectonic was to derive his world concept of philosophy from its logical counterpart, namely the scholastic concept of philosophy, and that its function there is to provide the idea from which the entire structure of Kantian critical metaphysics can be derived. Philosophy as a world concept, it is further argued, is the complete system of critical or Kantian metaphysics in application and the philosopher in this sense is the ideal critical metaphysician who fully realizes its laws through her own understanding and will. (shrink)

The philosophical interest of mystery is that something may well fall under a distinctive ontological concept of mystery. Such a thing would be explicable with reference to intention, but not uniquely determined by its explicans. This is the "properly mysterious," which is essentially mysterious in virtue of what it is, not just of our epistemic limitations. The richer uses of 'mystery', and defects in recent literature, suggest this line of inquiry. ;Part I rebuts the main arguments against the possibility that (...) something is properly mysterious. First, if something's existence is completely explicable it need not thus be exhaustively explicable . Second, event-determinism is not establishable empirically and nothing establishes general determinism a priori . So there is no reason to think every existent is uniquely determined to exist. But there is good reason to think everything is completely explicable in principle. ;Part II shows there is better reason to think the world's existence properly mysterious than not. The world asked about in the question "Why does the world exist?" should be defined as the totality comprising all that really changes and what is ontologically parasitic thereon . The World's existence is both logically contingent and contingent in one or the other of two de re senses , and thus is either inexplicable for any knower or explicable as intentionally produced. The producer would be extramundane, de re necessary, and could not uniquely determine the existence of The World. Defending classical theism against charges of conceptual incoherence, I conclude that the existence of The World is best thought completely explicable as intentionally created, though not exhaustively explicable by the existence of its creator. ;In conclusion, I expound and adopt Aquinas' account of creation, on which God creates for a reason and freely. Thus there is good reason for the world's existence, but no reason why this world exists rather than some other. (shrink)

Time has multiple aspects and is difficult to define as one unique entity, which therefore led to multiple interpretations in physics and philosophy. However, if the perception of time is considered as a composite time concept, it can be decomposed into basic invariable components for the perception of progressive and support-fixed time and into secondary components with possible association to unit-defined time or tense. Progressive time corresponds to Bergson’s definition of duration without boundaries, which cannot be divided for measurements. Time (...) periods are already lying in the past and fixed on different kinds of support. The human memory is the first automatic support, but any other support suitable for time registration can also be considered. The true reproduction of original time from any support requires conditions identical to the initial conditions, if not time reproduction becomes artificially modified as can be seen with a film. Time reproduction can be artificially accelerated, slowed down, extended or diminished, and also inverted from the present to the past, which only depends on the manipulation of the support, to which time is firmly linked. Tense associated to progressive and support fixed time is a psychological property directly dependent on an observer, who judges his present as immediate, his past as finished and his future as uncertain. Events can be secondarily associated to the tenses of an observer. Unit-defined time is essential for physics and normal live and is obtained by comparison of support-fixed time to systems with regular motions, like clocks. The association of time perception to time units can also be broken. Einstein’s time units became relative, in quantum mechanics, some physicist eliminated time units, others maintained them. Nevertheless, even the complete elimination of time units is not identical to timelessness, since the psychological perception of progressive and support-fixed time still remains and cannot be ignored. It is not seizable by physical methods, but experienced by everybody in everyday life. Contemporary physics can only abandon the association of time units or tenses to the basic components in perceived time. (shrink)

What follows is an attempt to question the ways of how Engels coined the term “dialectics” in his Dialectics in Nature. My focus is directed by an interest in re-reading Engels’s undertaking from the perspective of his much-celebrated and downplayed Plan 1878. I would like to make clear from the outset that, by Engels’s dialectics, the Plan 1878 and Dialectics of Nature, I refer neither to a complete and compact account of dialectics nor to the list of contents of (...) Engels’s work nor to a “book.” Rather, I occupy myself with a “work in progress” that reached some stage of maturity at the end of 1870s (documented in a plan), and a work before it posthumously became a “book.” In this regard, a couple of remarks seem to be in order. (shrink)

Feminism has long grappled with its own demarcation problem—exactly what is it to be a woman?—and the rise of trans-inclusive feminism has made this problem more urgent. I will first consider Sally Haslanger’s “social and hierarchical” account of woman, resulting from “Ameliorative Inquiry”: she balances ordinary use of the term against the instrumental value of novel definitions in advancing the cause of feminism. Then, I will turn to Katharine Jenkins’ charge that Haslanger’s view suffers from an “Inclusion Problem”: it fails (...) to class many trans women as women. Jenkins offers a novel norm-relevancy account of woman to avoid the Inclusion Problem. Unfortunately, Jenkins’ account has serious internal problems, i.e. problems by Jenkins’ own lights: it is unintelligible, or it suffers from an Inclusion Problem of its own. After that, I will develop novel arguments for the conclusion that the project of Ameliorative Inquiry is both incoherent and also impossible to complete—at least, impossible to complete in a trans-inclusive way. Trans-inclusive feminism, therefore, would do well to move beyond Ameliorative Inquiry. Insofar as that’s not possible, trans-inclusive feminism inherits the incoherence of Ameliorative Inquiry. (shrink)

Nowadays, there is an image that the philosopher is a figure who sits in an armchair thinking about his questions and reaching his conclusions. This image is not completely wrong. In philosophy, there really are “armchair” methods. Several philosophers try to do philosophy with little appeal to experimental evidence and a significant part of philosophers do not even try to do controlled experiments to verify their hypotheses. In this sense, a closer image of armchair philosophy is one in which philosophers (...) work with intuitions and concepts. (shrink)

Classical interpretations of Goedels formal reasoning, and of his conclusions, implicitly imply that mathematical languages are essentially incomplete, in the sense that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is, both, non-algorithmic, and essentially unverifiable. However, a language of general, scientific, discourse, which intends to mathematically express, and unambiguously communicate, intuitive concepts that correspond to scientific investigations, cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical (...) truth verifiably. We consider a constructive interpretation of classical, Tarskian, truth, and of Goedel's reasoning, under which any formal system of Peano Arithmetic---classically accepted as the foundation of all our mathematical Languages---is verifiably complete in the above sense. We show how some paradoxical concepts of Quantum mechanics can, then, be expressed, and interpreted, naturally under a constructive definition of mathematical truth. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for (...) investigation by means of automated theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

Truth is a matter of interest not only to philosophers, but to scientists and other researchers in various branches of knowledge. This paper examines Davidson’s views of the concept of truth. In the first section, I provide a brief account of the basic ideas of Davidson’s philosophy. An understanding of Davidson’s philosophy is essential for anyone who wishes to follow recent debates in the philosophy of language, the philosophy of action, the philosophy of logic, and the philosophy of the mind. (...) I give also a brief sketch of the leading traditional theories of truth, i.e., coherence, correspondence and pragmatic theories. In the second section, I give a comprehensive account of Davidson’s main contributions to the truth - the conditions theory of meaning. That the meaning of a sentence can be given by stating the conditions under which it is true, is not a novel idea. It is at least as old as the work of Frege. In addition to Frege, this idea has been held by, among others, Wittgenstein, Carnap, Quine and - as its leader apologist and most recent proponent - Davidson. Before I look at the details of Davidson’s contributions, I show how they relate to the work of Frege, Tarski, and Quine, all of whom greatly influenced Davidson’s theory. Putnam, Dummett, Rorty and many other philosophers rank Davidson among the deflationists. They all think that Tarski’s truth predicates completely capture the concept of truth. This is a mistake. The third section is concerned with this mistake. In the fourth section, I explain Davidson’s criticisms of what he regards as the main other anti-deflationary attempts to characterize truth: views which epistemologize truth on the one hand, and the correspondence theory of truth, on the other hand. Finally, in the fifth section, I make some remarks about Davidson’s treatment of the concept of truth. (shrink)

At the opening of Spinoza’s Ethics, we find the three celebrated definitions of substance, attribute, and God: E1d3: By substance I understand what is in itself and is conceived through itself, i.e., that whose concept does not require the concept of another thing, from which it must be formed [Per substantiam intelligo id quod in se est et per se concipitur; hoc est id cujus conceptus non indiget conceptu alterius rei, a quo formari debeat]. E1d4: By attribute I understand what (...) the intellect perceives of a substance, as constituting its essence [Per attributum intelligo id, quod intellectus de substantia percipit, tanquam ejusdem essentiam constituens]. E1d6: By God I understand a being absolutely infinite, that is, a substance consisting of an infinity of attributes, of which each one expresses an eternal and infinite essence We are accustomed to think of these paramount definitions as a fixed and settled formulation of the core of Spinoza’s metaphysics, but if we look at the development of Spinoza’s thought, the picture we get is quite different. In the early drafts of the Ethics and in his early works, Spinoza seems to have experimented with various conceptualizations of the relations between substance, attribute, and God. Some of Spinoza’s works make barely any use of the notions of substance and attribute, and the testimony of Spinoza’s letters suggests that, at a certain stage in his philosophical development, the concept of attribute may have been put on the back burner, if not completely dropped. Indeed, another closely related concept—accident [accidens]—was fated to be pulled out of the system (and for good reasons ). The final version of the Ethics makes hardly any use of this notion, but Spinoza’s letters show that in early drafts of the Ethics he used the term ‘accident’ to refer to what cannot be or be conceived without substance. In this paper I will attempt to provide a brief outline of the genealogy of Spinoza’s key metaphysical concepts. This genealogy, like any other, can help us to reexamine and reconsider what seems to us natural, stable and obvious. In the first part of the paper, I rely on Spinoza’s letters to trace the development of his definitions of substance and attribute in the early drafts of the Ethics. The letters, whose dates are more or less established, also provide a temporal grid for our subsequent discussions. The second part surveys Spinoza’s discussion and conceptualization of substance and attributes in the Treatise on the Emendation of the Intellect, the Theological-Political Treatise (1670), and briefly, Spinoza’s 1663 book on Descartes’ Principles of Philosophy, and its appendix on Metaphysical Thoughts, the Cogitata Metaphysica. The third part of the paper is dedicated to Spinoza’s understanding of substance and attribute in the Short Treatise on God, Man, and His Well-Being. I conclude with some remarks on the stability of Spinoza’s final position on the issue, as expressed in the published version of the Ethics . (shrink)

This chapter considers whether legal requirements can constitute reasons for action independently of the merits of the requirement at hand. While jurisprudential opinion on this question is far from uniform, sceptical views are becoming increasingly dominant. Such views typically contend that, while the law can be indicative of pre-existing reasons, or can trigger pre-existing reasons into operation, it cannot constitute new reasons. This chapter offers support to a somewhat less sceptical position, according to which the fact that a legal requirement (...) has been issued can be a reason for action, yet one that is underpinned by bedrock values which law is apt to serve. Notions discussed here include a value-based conception of reasons as facts ; a distinction between complete and incomplete reasons ; and David Enoch’s idea of triggering reason-giving. Following a discussion of criticism against the view adopted here, the chapter concludes by considering some more ‘robust’ conceptions of law’s reason-giving capacity. (shrink)

This article investigates the relationship between Hume’s causal philosophy and Newton ’s philosophy of nature. I claim that Newton ’s experimentalist methodology in gravity research is an important background for understanding Hume’s conception of causality: Hume sees the relation of cause and effect as not being founded on a priori reasoning, similar to the way that Newton criticized non - empirical hypotheses about the properties of gravity. However, according to Hume’s criteria of causal inference, the law of universal gravitation is (...) not a complete causal law, since it does not include a reference either to contiguity or to temporal priority. It is still argued that because of the empirical success of Newton ’s theory—the law is a statement of an exceptionless repetition—Hume gives his support to it in interpreting gravity force instrumentally as if it bore a causal relation to motion. (shrink)

Background: There is a great deal of overlap between the symptoms of schizophrenia and the nature of yogic experiences described in various societies and religions. Aim: This study aims to separate the symptoms of psychotic disorders from the experiences described by various yogic systems. Materials and Methods: A review of various scriptures like Shrimad Bhagvad Gita, Vedas, and other spiritual literature was done and was compared with the various scientific studies regarding yogic experiences. Results: The result shows that, there exist (...) the abnormal behaviors, which need to be controlled by taking help from psychiatry, but there are also the genuine yogic experiences, that are often confused with the symptoms of a psychotic disorder like schizophrenia. Conclusions: The science of psychiatry is playing an important role in classifying the behavioral patterns and thus helping us to control the abnormal behavior patterns. Still, we cannot deny the fact that, the budding science in a developmental stage is unable to unravel the complete mysteries of human mind and because of that; some genuine yogic experiences are often confused with psychotic disorders. (shrink)

This study aims to find out how high the level and trends of student misconceptions experienced by high school students in Indonesia. The subject of research that is a class XI student of Natural Science (IPA) SMA Negeri 1 Anjatan with the subject matter limit function. Forms of research used in this study is a qualitative research, with a strategy that is descriptive qualitative research. The data analysis focused on the results of the students' answers on the test essay subject (...) matter limit function with the number of students by 16 (sixteen). Data collection techniques used are shaped test methods essay, interview method to students who have misconceptions, and methods of documentation of the test answers. Examination of the validity of the data using a triangulation technique that compares the data written test results with data from interviews. The results of this study can be described as follows; (1) The level of misconceptions experienced by students belonging to the category of low, amounting to 12.18%. However, students who do not understand the concept quite high at 40.38%, and the others are students who understand the concept that is equal to 47.44%. (2) The misconception most experienced students lie in subconcepts explain the meaning of limit function at one point through the calculation of values around that point, that is equal to 20.51%. The tendency misconceptions experienced by students is located on errors and operating concepts that misconceptions students that there should be no limit in the completion of the writing of the emblem and misconceptions about the limit students to conclude if the limit value of 0 is no limit to the value of the function. (shrink)

The paper sets out from Göodel's question about primitive concepts, in connection with Gödel's proposal of the employment of phenomenological method. The author assumes that the answer that can be found in Kant is relevant as a starting point. In a modification of the approach by K. Reich, a reconstruction of Kant's "deduction'' of logical forms of judgment is presented, which serve Kant as the basis for his "metaphysical deduction of categories'' including substantiality and causality. It is proposed that (...) different aspects of Kant's "original unity of self-consciousness'' as applied and attached to concrete representations step by step yield different forms of concepts, judgments, and inferences. Categorical, hypothetical and disjunctive judgments are shown to be gradually strengthening the conditions of bringing our representations under the "objective unity of consciousness", and in this way gradually implementing logical laws. The corresponding concepts of substantiality, causality, and mutual influence appear to be grounded in the primitive forms of our thinking. (shrink)

This article attempts to break down the dualism of the village-urban development phenomenon in the modernization era. In the post-2020 development transformation era such as the Sustainable Development Goal (SDG) 2030, the development of SC (smart city-SC) and smart village (SV) is very important and needs to be discussed. Issues and questions of the SC and SV discussions are the extent to which these two development models can break the tradition of dual-city development dualism phenomena as happened in the modernization (...) era. Through the completeness of information and communication technology (ICT) and the comprehensive development strategy of SC and SV, the phenomenon of development dualism can be solved through the concept of Rurban. The concept of Rurban greatly opens up opportunities for mutual advancement between SC and SV based on hyperlinked networks, whether in terms of socio-political, socio-economic and/or socio-cultural development. This means the Rurban concept can be realized through network links from all aspects of SC and SV progression with perfect aspirations for wellbeing, equality, quality of life, empowerment, competitiveness, resilience and independence. This discussion attempts to see the breakdown of the dual-village urban dualism tradition through Rurban SC and SV concepts by using quantitativeapproaches and case studies in Malaysia. The findings show that there are elements of this dualism solving tradition with the existence of the SC and SV as network links from the point of use of ICT and other communication facilities between the rural and urban sectors. (shrink)

The years that followed the fall of the Berlin wall and various authoritarian regimes in different regions of the world, witnessed the growth of a wide literature on democratization, which was influenced more and more by the paradigm of transition and the “consolidation” of democracy. Since then, evaluations as well as perspectives through which were seen various regimes (the new democracies “with problems”) are developed mainly through the theoretical lens of consolidation paradigm, according to which full democratic consolidation was the (...) endpoint of regime transitions. But it has become clear today that in many countries, in which more than three decades have passed since the fall of authoritarian regimes, the issue of “completion” of democracy in their social and political context is still far from being a happy reality. The purpose of this paper is to criticize both in the theoretical and the empirical level, the concept of “consolidation of democracy”, seeing it as a non-valid concept for the study of democratization. This paper will argue that essentially the concept of consolidation is teleological and problematic in the sense that democracy is seen not as a process but an endpoint product. (shrink)

One of the most important elements of Hegel’s philosophical anthropology is his moral psychology. In particular, his understanding of the relation between motivations and reason plays a crucial intermediate role in connecting his anthropological meditations on the complete nature of the human being with his political theory of actualized freedom. Whereas recent important work on Hegel’s moral psychology has detected a Kantian distinction between natural desires and the rational perspective, the activity of practical reason actually takes place within motivations (...) themselves on Hegel’s view. The exercise of the free, rational will is best understood in terms of its role in shaping the experience of malleable, indeterminate motivations. Rather than stepping back, the free agent on Hegel’s account delves further into the motivation, acting on it in the dual sense of being guided by and transforming it. This is what it means for Hegel to conceive of agency as self-expression while maintaining the centrality of reason for Free Will. Hegel says that when we go further into the motivations in this way, we should stop speaking of motivation in terms of drives and instead begin speaking of character. (shrink)

Western Philosophy’s modern period has been very much shaped by a representationalism according to which “concepts” (earlier: “ideas”) assembled into “propositions” constitute the fundamental unit of meaning, thought, belief— and even, in the hands of 20th century philosophers such as G.E.M. Anscombe and Jaegwon Kim— action, conceived as performed under a description. What exactly a proposition consists in ontologically is not easy to explain in a manner consonant with prevailing scientific naturalism. But it is clearly a disembodied entity, some (...) kind of abstract object. But in human behaviour, much depends on not just what is done but how it is done (and this ‘how’ will possess a beginning, middle, and end denied to abstract objects). The ‘how’ may be understood as gesture, and Maddalena’s book takes a first pass across how a philosophy that takes this, rather than disembodied meanings, as its foundation might organise itself. The result is a fascinating wealth of germinal ideas, not all of which I have space to discuss here. (shrink)

Rudyard Kipling, the famous english author of « The Jungle Book », born in India, wrote one day these words: « Oh, East is East and West is West, and never the twain shall meet ». In my paper I show that Kipling was not completely right. I try to show the common ground between buddhist philosophy and quantum physics. There is a surprising parallelism between the philosophical concept of reality articulated by Nagarjuna and the physical concept of reality implied (...) by quantum physics. For neither is there a fundamental core to reality, rather reality consists of systems of interacting objects. Such concepts of reality cannot be reconciled with the substantial, subjective, holistic or instrumentalistic concepts of reality which underlie modern modes of thought. (shrink)

Rudyard Kipling, the famous english author of « The Jungle Book », born in India, wrote one day these words: « Oh, East is East and West is West, and never the twain shall meet ». In my paper I show that Kipling was not completely right. I try to show the common ground between buddhist philosophy and quantum physics. There is a surprising parallelism between the philosophical concept of reality articulated by Nagarjuna and the physical concept of reality implied (...) by quantum physics. For neither is there a fundamental core to reality, rather reality consists of systems of interacting objects. Such concepts of reality cannot be reconciled with the substantial, subjective, holistic or instrumentalistic concepts of reality which underlie modern modes of thought. (shrink)

This study of Greek time before Aristotle’s philosophy starts with a commentary on his first text, the Protrepticus. We shall see two distinct forms of time emerge: one initiatory, circular and Platonic in inspiration, the other its diametrical opposite, advanced by Aristotle. We shall explore this dichotomy through a return to poetic conceptions. The Tragedians will give us an initial outline of the notion of time in the Greek world (Fate); we shall then turn to Homer in order to better (...) grasp the complex relations between time and the religious sphere (the Hero); the work of the great theologian Hesiod will confirm this initiatory vision, later set out in remarkable fashion by Nietzsche (Myths); we shall then dive deep into Pythagoreanism to complete our account (Mysteries). Having understood this current of thought, powerfully influenced by the Iranian theogony, we shall be able to discern its clear differences from the so-called “Ionian” current, and thus to move away from Plato (Ideology). Lastly, we shall return to the early Ionian thinkers Thales and Anaximander to analyse whether this really was the vision of the world that Aristotle adopted in developing the first model of time (Science). In the second volume we shall see the return of the thought of the theologoi within the Aristotelian corpus itself, and will question our distinction between the being and existence of time. Régis Laurent is a philosopher and member of the association Kairos Kai logos (Centre for the study of ancient philosophy). This book is the first part of his doctoral thesis in philosophy, undertaken under the aegis of three French universities (Grenoble, Clermont-Ferrand and Rennes). In addition to his philosophical training, the author is also qualified to Masters level in linguistics and in general psychology, and studied theology at the Thomist University in Paris (ULSH) and at the CEJ of the EHESS. (shrink)

How the universe came to be what it is now is a key philosophical question. The hypothesis that it came from nothing or śūnya (as proposed by Stephen Hawking, among others) proves to be dissembling, since the quantum vacuum can hardly be considered a void (śūnya). In modern science, it is generally assumed that matter existed before the universe came to be. Modern science hypothesizes that the manifestation of life on earth is nothing but a mere increment in the complexity (...) of matter – and hence is an outcome of evolution of matter (chemical evolution) following the Big Bang. After the manifestation of life, modern science believed that chemical evolution transformed itself into biological evolution, which then had caused the entire biodiversity on our planet. In the framework of materialism, the major attention is to find general organizational laws stimulated by physical sciences, ignoring the uniqueness of life. The main goal of materialism is to reduce consciousness to natural processes, which in turn can be translated into the language of math, physics, and chemistry. Following this approach, scientists have made several attempts to deny the living organism of its veracity as an immortal soul, in favor of genes, molecules, atoms, and so on. However, advancement in various fields of biology has repeatedly given rise to questions against such a denial and has supplied more and more evidence against the completely misleading ideological imposition that living entities are particular states of matter. In the recent past, however, the realization has arisen that cognitive nature of life at all levels has begun presenting significant challenges to the views of materialism in biology and has created a more receptive environment for the soul hypothesis (Shanta BN. Commun Integr Biol 8(5):e1085138, 2015). Therefore, instead of adjudicating different aprioristic claims, the development of an authentic theory of origin of life and universe needs both proper scientific knowledge and the appropriate tools of philosophical analysis of life. This talk will highlight the uniqueness of biological systems that offers a considerable challenge to the mainstream materialism and proposes the Vedāntic philosophical view as a viable alternative for development of a theory worthy of origin of life and universe. (shrink)

Famously, in the essay Inquiry Concerning the Distinctness of the Principles of Natural Theology and Morality (Prize Essay), Kant attempts to distance himself from the Wolffian model of philosophical inquiry. In this respect, Kant scholars have pointed out Kant’s claim that philosophy should not imitate the method of mathematics and his appeal to Newton’s “analytic method.” In this article, I argue that there is an aspect of Kant’s critique of the Wolffian model that has been neglected. Kant presents a powerful (...) attack of the idea that philosophy should proceed through the analysis of concepts and argues that we should give up the aim of arriving at “complete” concepts as one of its fundamental desiderata. Importantly, this attack of philosophy conceived as conceptual analysis is distinctive and original if one compares it with Kant’s critique of analysis in the Critique of Pure Reason, which rests on the idea that analysis is insufficient to ground substantial metaphysical truths. I also make an additional point: Scholars have debated whether the appeal to Newton’s analytic method involves a form of empiricism. I submit that this debate is ill-conceived because Kant uses a notion of “given concepts” that is indeterminate with respect to their a priori or a posteriori status. (shrink)

In this paper, I aim to present the main components of my non-standard interpretation of Frege’s views on existence to the English-speaking public. First, I will outline the standard interpretation and show how to a great but not full extent the standard interpretation can be justified on the basis of Frege’s writings. Second, I show that the main error of the standard interpretation consists in the assimilation of the contents of the ordinary language expressions “exist” and “there is” according to (...) Frege. Third, I evaluate possible sources for this unfounded assimilation. After that, I outline my alternative interpretation that distinguishes in opposition to other non-standard interpretations between a substantive and a deflationary part of Frege’s complete conception of existence in analogy to Frege’s analysis of truth and negation. Fifthly, I justify my interpretation by the reconstruction of a so far overlooked master argument of Frege against the above-mentioned assimilation. In the last section, I introduce and discuss five objections against my interpretation that came to my attention. (shrink)

Interest in the nature and importance of ‘childhood goods’ recently has emerged within philosophy. Childhood goods, roughly, are things that are good for persons qua children independent of any contribution to the good of persons qua adults. According to Colin Macleod, John Rawls’s political conception of justice as fairness rests upon an adult-centered ‘agency assumption’ and thus is incapable of incorporating childhood goods into its content. Macleod concludes that because of this, justice as fairness cannot be regarded as a (...) class='Hi'>complete conception of distributive justice. In this paper I provide a political liberal response to Macleod’s argument by advancing three claims. First, I propose that political liberalism should treat leisure time as a distinct ‘primary good.’ Second, I suggest that leisure time should be distributed via the ‘basic needs principle’ and the ‘difference principle’ for all citizens over the course of their complete lives, including their childhoods. Third, the provision of leisure time in this way supports the realization of childhood goods for citizens. (shrink)

In the Discourse on Metaphysics Leibniz put forward his famous complete-concept definition of substance. Sometimes this definition is glossed as stating that a substance is an entity with a concept so complete that it contains all its predicates, and it is thought that it follows directly from Leibniz’s theory of truth. Now, an adequate definition of substance should not apply to accidents. But, as I shall point out, if Leibniz’s theory of truth is correct then an accident is (...) an entity with a concept so complete that it contains all its predicates. The aim of this paper is to clarify Leibniz’s notion of substance in the Discourse with a view to explaining how that definition successfully distinguishes between substances and accidents. (shrink)

This paper takes stock of Leibnizian influences on Schleiermacher's thought through an examination and comparison of the views of Leibniz, Kant, and Schleiermacher on predication. I analyze each thinker's foundational ontological and epistemological commitments and their implications for their understanding of predication. More specifically, I explore whether Schleiermacher's adoption of Leibiniz' theory of the complete concept and the theory of prediction it entails conflicts with his adoption of Kant's two-source theory of knowledge. I conclude that it does, and that (...) it is this clash between elements borrowed from two very different systematic thinkers that makes Schleiermacher's Dialektik the cipher that it is. (shrink)

International development theorists and practitioners agree that human empowerment is a necessary part of good development. This agreement is encouraging because attention and resources are being directed towards the important goal of empowering the oppressed. It is problematic because the agreement is relatively superficial and masks some deep and important disagreements about the goals and means of development theory, policy, and practice. Chapters One and Two compare the dominant economic growth approach to development with the capability approach, a relatively new (...) alternative. I determine that the capability approach offers a more complete and therefore, superior concept of empowerment. Chapter Three considers Thomas Pogge’s argument for the conclusion that the praise and attention the capability approach receives cannot be justified. I explain that Pogge’s argument is based on a misunderstanding of crucial aspects of the capability approach, including the important role of empowerment. Chapters Four and Five provide detailed consideration of the role of empowerment within both Amartya Sen’s and Martha Nussbaum’s versions of the capability approach. I conclude that although neither scholar consistently uses the term empowerment, the concept of empowerment – both as agency and as capability-set expansion – plays a robust role on both versions of the approach. Moreover, I make the controversial suggestion that many of the differences between Sen and Nussbaum are more a matter of style than substance. Chapter Six considers the concern that Sen does not do enough to engage the role of institutionalized power in generating inequalities that prevent individuals from being empowered. I conclude that despite valuable contributions, Sen fails to provide a complete account of empowerment issues. However, this is not a fatal flaw. Considering both Sen’s contributions, and the fact that the approach is well suited to accommodate a more complete understanding of institutionalized power and of empowerment for development (for example, Naila Kabeer’s Social Relations Approach), it is clear that Sen and the capability approach have offered valuable steps towards a complete concept of empowerment. (shrink)

Integration information theories posit that the integration of information is necessary and/or sufficient for consciousness. In this paper, we focus on three of the most prominent information integration theories: Information Integration Theory, Global Workspace Theory, and Attended Intermediate-Level Theory. We begin by explicating each theory and key concepts they utilize. We then argue that the current evidence indicates that the integration of information is neither necessary nor sufficient for consciousness. Unlike GWT and AIR, IIT maintains that conscious experience is (...) both necessary and sufficient for consciousness. We present empirical evidence indicating that simple features are experienced in the absence of feature integration and argue that it challenges IIT’s necessity claim. In addition, we challenge IIT’s sufficiency claim by presenting evidence from hemineglect cases and amodal completion indicating that contents may be integrated and yet fail to give rise to subjective experience. Moreover, we present empirical evidence from subjects with frontal lesions who are unable to carry out simple instructions and argue that they are irreconcilable with GWT. Lastly, we argue that empirical evidence indicating that patients with visual agnosia fail to identify objects they report being conscious of present a challenge to AIR’s necessity claim. (shrink)

Essential for the concept of the law of nature is not only spatio-temporal universality, but also functionality in the sense of the dependency on physical conditions of natural entities. In the following it is explained in detail that just the neglect of this functional property is to be understood as the real reason for the occurrence of the Goodman paradox – with the consequence, that the behavior of things seems to be completely at the mercy of change of unique unrepeatable (...) temporal points. It is exactly this (mis-)understanding that also generated the induction problem. From the intrinsic connection between universality and functionality, however, – that is my claim – the ontological consequence of a nature results, for which lawfulness is coupled to essentially functionally defined time sequences, thereby implying a potentiality dimension of nature, too. (shrink)

This paper attempts a reconstruction of reason’s contribution to empirical truth in connection with Kant’s definition of truth as the agreement of cognition with its object. I argue that Kant’s treatment of truth in the Transcendental Analytic gets completed in the Appendix to the Transcendental Dialectic with an often neglected but compelling argument (what I shall call the Variety Argument). This argument postulates such a variety in the appearances as to undermine any attempt at formulating empirical truths. Crucially, I argue (...) that this variety does not depict an extreme-case scenario, but our own epistemic situation without reason. Reason completes Kant’s theory of truth by allowing the understanding (i.) to form empirical concepts and (ii.) approximate to empirical truth. (shrink)

In this article, logical concepts are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and existential quantifiers form a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language.