The author analyses the second phase of the development of Husserl’s phenomenological egology and the transition from nonegological to egological phenomenology. Accepting the necessity of the pure I as a phenomenological residue of the transcendental epoché, a non-constituted transcendence in immanence and the source of the evidence of the ‘I am’, it is analysed in its main aspects – such as, among others, the I-pole and I-substrate of habitualities – and in its traits and roles it plays in the (...) stream of lived experiences of pure consciousness. Thus formulated, pure I will be incorporated into the late concepts of transcendental ego and transcendental intersubjectivity. The shortcomings of such an egological conception of consciousness will also be examined, to which the nonegological theories of Husserl’s followers will not offer an adequate solution, making the debate of the egological character of consciousness present also in contemporary philosophy. (shrink)

Everett (1957a, b, 1973) relative-state formulation of quantum mechanics has often been taken to involve a metaphysical commitment to the existence of many splitting worlds each containing physical copies of observers and the objects they observe. While there was earlier talk of splitting worlds in connection with Everett, this is largely due to DeWitt’s (Phys Today 23:30–35, 1970) popular presentation of the theory. While the thought of splitting worlds or parallel universes has captured the popular imagination, Everett himself favored the (...) language of elements, branches, or relative states in describing his theory. The result is that there is no mention of splitting worlds or parallel universes in any of Everett’s published work. Everett, however, did write of splitting observers and was willing to adopt the language of many worlds in conversation with people who were themselves using such language. While there is evidence that Everett was not entirely comfortable with talk of many worlds, it does not seem to have mattered much to him what language one used to describe pure wave mechanics. This was in part a result of Everett’s empirical understanding of the cognitive status of his theory. (shrink)

The aim of this article is to discuss pure variable inclusion logics, that is, logical systems where valid entailments require that the propositional variables occurring in the conclusion are included among those appearing in the premises, or vice versa. We study the subsystems of Classical Logic satisfying these requirements and assess the extent to which it is possible to characterise them by means of a single logical matrix. In addition, we semantically describe both of these companions to Classical Logic (...) in terms of appropriate matrix bundles and as semilattice-based logics, showing that the notion of consequence in these logics can be interpreted in terms of truth (or non-falsity) and meaningfulness (or meaninglessness) preservation. Finally, we use Płonka sums of matrices to investigate the pure variable inclusion companions of an arbitrary finitary logic. -/- . (shrink)

Pure second-order logic is second-order logic without functional or first-order variables. In "Pure Second-Order Logic," Denyer shows that pure second-order logic is compact and that its notion of logical truth is decidable. However, his argument does not extend to pure second-order logic with second-order identity. We give a more general argument, based on elimination of quantifiers, which shows that any formula of pure second-order logic with second-order identity is equivalent to a member of a (...) circumscribed class of formulas. As a corollary, pure second-order logic with second-order identity is compact, its notion of logical truth is decidable, and it satisfies a pure second-order analogue of model completeness. We end by mentioning an extension to n th-order pure logics. (shrink)

Laughter is a significant topic for Renaissance and seventeenth‐century philosophers. Still, the latter rarely approved of laughter but endorsed it as useful mockery for theological or philosophical purposes. Benedict Spinoza’s view of laughter stands out as an exception to this attitude as well as to previous and later ones. Spinoza differentiates between mockery and laughter, denounces the former as evil, and characterizes the latter as “pure joy”: laughter is about oneself rather than another and originates in noticing something good, (...) rather than base or ugly. In contrast to melancholy, cheerfulness is “always good” and is a precondition of our liberation as it furthers the use of reason. Not only is Spinoza’s view original, but it is an important source of the eighteenth‐century notions of good‐natured laughter and good humor through a more than probable influence on their proponent, the Earl of Shaftesbury. Whilst Spinoza’s view of cheerfulness is briefly addressed in recent studies, his view of laughter goes unnoticed in most commentaries and is misrepresented in humor studies. Contrary to what is assumed in the philosophy of laughter, I argue that the most important defense of laughter comes not from a British Enlightenment thinker, but from the Dutch Jewish seventeenth‐century philosopher. (shrink)

Two dominant interpretations of Kant's notion of adherent beauty, the conjunctive view and the incorporation view, provide an account of how to form informed aesthetic assessments concerning artworks. According to both accounts, judgments of perfection play a crucial role in making informed, although impure, judgments of taste. These accounts only examine aesthetic responses to objects that meet or fail to meet the expectations we have regarding what they ought to be. I demonstrate that Kant's works of genius do not (...) fall within either of these categories. The distinguishing features of these works, namely, originality and exemplarity, become unrecognizable on these interpretations because originality and exemplarity lie in the work's ability to exceed one's expectations concerning its form and content. They contribute to artistic beauty through alternative transformation methods distinct from that of abstraction, namely, concept expansion and repudiation. These additional accounts of transformation lead to a rather surprising outcome: works of genius turn out to be paradigm cases where one can and indeed ought to form informed pure judgments of taste. (shrink)

We argue that the notion of pure sate within Standard Quantum Mechanics is presently applied within the specialized literature in relation to two mutually inconsistent definitions. While the first provides a basis-dependent definition which makes reference to the certain prediction of measurement outcomes, the latter provides a purely abstract invariant definition which lacks operational content. In this work we derive a theorem which exposes the serious inconsistencies existent within these two incompatible definitions of purity.

In this paper, we will revisit the relation between the respective conceptions of pure experience of Nishida Kitaro and William James. As various authors have previously shown, comparing Nishida and James can not only help us better understand both of their specific understandings of pure experience, and consequently its position within their respective enterprises, but also give a platform with which to see how these two authors could contribute to contemporary discussions on philosophical methodology. However, despite the long (...) history of comparative research on these two thinkers, there is still no consensus about the extent to which Nishida's philosophy actually resembles James' work at all. Was Nishida's interest in James' work found only in superficial similarities between two authors interested in overcoming the subject–object distinction? Or did Nishida attempt to somehow develop or radicalize James' work, taking his notion of pure experience into the realm of religion and metaphysics? In this contribution, we will agree with previous authors who have argued that Nishida is best understood as trying to go beyond or develop James' work. However, we will make this claim with the caveat that James had good reason not to take the avenues Nishida pursued, and that Nishida's attempt to radicalize some ideas in James may have led to some difficult points within his early philosophy. (shrink)

If nowadays categories seems to cover a multitude of different enquiries, we can see some continuity and coherence among them, and we can get some sense of what the subject is, by going back to the first treatise to receive the name, the Categories of Aristotle. The scheme of categories worked out by Aristotle in that book was used by him in subsequent works to solve a variety of problems. On one plausible hypothesis, Aristotle’s scheme was partly shaped by ontological (...) considerations. However, one can construct categorial schemes that are free of ontological assumptions, and I call such schemes and the principles on which they are constructed “pure.” A purified Aristotelian scheme is one of a multiplicity of categorial schemes that can be generated by a sufficiently general pure categorial principle. In the penultimate section of this paper I consider a useful scheme, generated in this way, that categorizes the elements of our discourse about discourse. This links up with J. L. Austin’s discussion of the nature of illocutionary acts and throws light on the interconnections between such problematic notions as sentence, meaning, and proposition. (shrink)

The main goals of this paper are two. First, it articulates what kinds of knowing pure knowing is in its narrow sense pure knowing as the capacity of moral judgment; pure knowing as moral knowledge and standard. Besides, it analyses pure knowing’s different features through a phenomenological description. All these aspects of pure knowing are tied by moral feeling. Second, this paper addresses two sets of theoretical problems that have been raised in Confucian discourse with (...) respect to pure knowing and Heavenly principle, primarily those that render Wang’s notion of pure knowing to be static recognition toward particular moral issues, or immediate response, which reading cannot really admit the possibilities of extension, reflection, moral cultivation, and reform of institution; and those that understand pure knowing to be merely abstract without concrete content, such as merely being a metaphysical substance. When properly understood, that is, from the perspective of moral emotions, Wang Yangming’s account of pure knowing provides for the possibilities of enhancement and cultivation, while insisting that the content of pure knowing is always accessible to us. (shrink)

The article argues that altruistic giving based on anonymity, which is expected to promote social solidarity and block trade in human body parts, is conceptually defective and practically unproductive. It needs to be replaced by a more adequate notion which responds to the human practices of giving and receiving. The argument starts with identification of the main characteristics of the anonymous altruistic donation: social separation of the organ donor from the recipient, their mutual replaceability, non-obligatoriness of donation, and non-obligatoriness (...) of reciprocation on the recipient’s part. Since these characteristics are also central to typical market relations, anonymous altruistic donation not only cannot promote solidarity but may encourage proposals for markets of transplantable organs. Thus, transplant ethics needs to be reframed. It needs to be rooted in, rather than promote, the practices of giving and receiving known to human societies. As the basis for such reframing, the idea of sharing in another’s misfortune is proposed. It relies on the human practices of giving and receiving and, with appropriate regulatory safeguards, can provide a better conceptual basis for blocking commercial exchanges of human body parts. (shrink)

This paper inquires into the necessity and limits of what Edmund Husserl calls a “pure” phenomenological psychology. It argues that there may be merit to this notion as a kind of philosophical psychology, the notion of purity in clinical psychology would unnecessarily limit the kinds of factors that the psychologist must take into account in understanding and treating most of the psychological conditions the therapist faces. The paper suggests that phenomenological psychology nonetheless has value in providing a (...) counter-balance to naturalistically inclined psychology that for its part neglects the meaning of various life events for the agent and can serve as means of critical reflection on the operative concepts guiding psychological practice. It can also help correct a deterministic tendency in modern psychology that does not take seriously enough human beings’ capacity for self-reflection and for self-responsibility that can often serve as key elements in psychological therapy and healing. (shrink)

This paper investigates two assumptions of the exponential discounted utility theory (EDU) to which Callender draws our attention: namely that we can cleanly distinguish pure from impure temporal preferences, and that past discounting can be ignored. Drawing on recent empirical work in this area, we argue that in so far as one might have thought that past-directed preferences are more pure than future ones, then there is evidence that people’s pure preferences (in so far as we can (...) make sense of that notion) show more interpersonal variation than has previously been thought. (shrink)

The notion of the “pure ego” is an expression which seems to have long been discredited. Even before the twentieth century – in the work of Hume, for instance – the idea that there is a pure pole of experience, and life, has been considered to be nothing more than a myth. More recently, criticism of the pure ego has often been made along the same lines as the criticism against the Cartesian self. That is to (...) say, both have been regarded as something lacking not only a body, but also any psychological or historical qualifications. In this article, by means of a reconsideration of some ideas by Husserl and Hegel, I will try to show how it is possible to make sense of the pure ego, i.e. what kind of a real and, as it were, concrete meaning such an expression can have. I will claim that the capacity to refer to oneself as a pure ego is fundamental to our achievement of a understanding of oneself as a free agent. (shrink)

While the presence or absence of consciousness plays the central role in the moral/ethical decisions when dealing with patients with disorders of consciousness (DOC), recently it is criticized as not adequate due to number of reasons, among which are the lack of the uniform definition of consciousness and consequently uncertainty of diagnostic criteria for it, as well as irrelevance of some forms of consciousness for determining a patient’s interests and wishes. In her article, Dr. Specker Sullivan reexamined the meaning of (...) consciousness in the DOC taxonomy and proposed to go away from the routinely used clinical definition of consciousness as “wakeful awareness”, and adopt the meaning that is common in the Eastern tradition which is a form of “pure experience” (Specker Sullivan 2018). She further argued that understanding consciousness as a “pure experience” is ethically relevant for DOC patients. This suggestion is original, novel and important since it preserves the importance of the notion of consciousness for the clinical practice while simultaneously offering an additional ethical tool for the moral decisions in medicine. At the same time, without placing such Eastern notion in the Western tradition it is difficult to see how pure experience could be usefully operationalized to make sense in the clinical practice with DOC patients. It is so because pure experience is a subjective phenomenon which is completely inaccessible in noncommunicative DOC patients and also it does not express behaviorally (Monti et al 2010), therefore some objective-like operationalization is needed. This is why the fusion of Eastern and Western traditions is required to gain the full potential of Dr. Specker Sullivan’s suggestion. We propose that such fusion could be achieved on the basis of the Operational Architectonics (OA) theory of brain-mind functioning (Fingelkurts et al. 2010; 2013a) which suits ideally the purpose due its compatibility with both Western and Eastern traditions of consciousness. (shrink)

The paper discusses the possible implications of the relational framework of Pure Shape Dynamics for the metaphysics of time. The starting point of the analysis is an interpretation of shapes in ontic structural realist terms, which gives rise to the notion of self-subsisting structure. The relational version of a Newtonian-particle toy model is introduced and discussed as a concrete example.

“This commentary is a detailed and systematic examination of Kant’s Critique of Pure Reason designed for students of philosophy in their second and third year and anyone else similarly approaching Kant for the first time. Kant himself said of the first Critique, ‘It will be misjudged because it is misunderstood, and misunderstood because men choose to skim through the book and not to think through it – a disagreeable task, because the work is dry, obscure, opposed to all ordinary (...) notions, and moreover long-winded.’ It remains a work of the greatest interest and significance to modern analytical philosophers, and this commentary will help readers overcome the obstacles to ‘thinking through’ the book, as well it is hoped as making their task more agreeable.The author explains Kant’s elaborate technical terms and rhetorical idiosyncrasies. He relates Kant’s work to that of the great rationalist and empiricist philosophers. He shows how an understanding of the first Critique is relevant to modern epistemology, while distinguishing carefully between what Kant actually said and certain interesting views he inspired. Above all he sets out to stimulate his readers to a more profound examination of Kant and of Kantian problems.”- Publisher. (shrink)

A new puzzle of modal recombination is presented which relies purely on resources of first-order modal logic. It shows that naive recombinatorial reasoning, which has previously been shown to be inconsistent with various assumptions concerning propositions, sets and classes, leads to inconsistency by itself. The context sensitivity of modal expressions is suggested as the source of the puzzle, and it is argued that it gives us reason to reconsider the assumption that the notion of metaphysical necessity is in good (...) standing. (shrink)

It is well known to Sartre scholars that Sartre claimed his ethical theory follows from his ontology in his early philosophy. However, this claim had not been examined as closely as it deserved. Some scholars accepted it, but none of them has given a plausible explanation of how ethics is supposed to follow from ontology. Others rejected it, without taking trouble to explore the possible connections between ontology and ethics. ;I think this claim should be taken seriously. For Sartre himself (...) took it seriously; he spent much time and energy developing ethical views that can be based on his ontology. Through a detailed study of two critically important notions in Sartre's early philosophy, "bad faith" and "pure reflection," I give a close and in-depth examination of this claim. On the basis of the examination, I conclude that Sartre's early ethical theory is a "failure." ;The first two chapters are preparatory. In the first chapter I clarify some of Sartre's basic terminologies in his early philosophy. In the second chapter I explicate Sartre's basic ontological project in Being and Nothingness. ;In the third chapter, I study the ontological characters of "pure reflection" that Sartre presented in Being and Nothingness, which prepares the ground for a study of the ethical characters of "pure reflection" in the fifth chapter. ;In the fourth chapter, I study the ethical implication of the ontological characters of bad faith. Through a detailed examination of the notion of "bad faith" in Being and Nothingness, I show that bad faith as Sartre presented it in Being and Nothingness has only trivial and non-salient ethical implication. ;In the fifth and last chapter, I study the ethical characters of pure reflection that Sartre presented in Notebooks for an Ethics, on the basis of which I show that the ethical characters of pure reflection do not exactly follow from its ontological characters. As a result of these studies, I conclude that in Sartre's early philosophy his ethics does not really follow from his ontology. (shrink)

Spinoza devoted Chapter VI of the Tractatus Theologico-Politicus to the question of the miracle, which he considers illusory because it constitutes a purely natural phenomenon. However, he attributed to it a social and pedagogical function capable of preserving the power of the sovereign. I will analyze Spinoza’s theory of the miracle and then Hume’s theory, in order to compare them, and thus highlight the specific problems posed by their thesis. I will then analyze Hume’s probabilistic approach, by examining Bayses’ theorem. (...) I will then examine the epistemological status of testimonial knowledge. Finally, I will confront the theories of Spinoza and Hume with R. Sa‘adyah G’aon’s notion of certainty and Maimonides’ conception of miracle. (shrink)

This dissertation concerns Edmund Husserl's theory of meaning. It focuses on Husserl's position as it develops from the Logical Investigations, published in 1900-01, through the writing of the Ideas in 1913. ;I argue that there are two theories of meaning at operation in Husserl's thinking in the Logical Investigations. One which is based upon the theory of pure logical grammar, the other based upon the theory of intentional acts of consciousness. I also consider the way in which Husserl's employs (...) the first of these to account for the distinction between sense and nonsense. ;The second chapter concerns the development of Husserl's thought from 1900 to 1913. In particular, I trace the development of this theory of the pure transcendental ego and its relationship to the notions of the epoche and the reduction. In turn, I consider the phenomenological criticism of this position made by Heidegger and Merleau-Ponty. ;Chapter three is concerned with the way in which the development of Husserl's thinking on the ego impacts on the theory of meaning. In particular, I focus on the developments which appear in the Vorlesungen Uber Bedeutungslehre: Sommersemester 1908 and Ideas I. The most significant development being the introduction of the concept of the noema as the object of the intentional act of meaning. I also consider the recent debate concerning the proper understanding of the noema as well as the relationship between sense and linguistic expression. ;These concerns lead to a consideration of Derrida's influential reading of Husserl's theory of meaning in Speech and Phenomena. While arguing that there is much of value in Derrida's reading, I criticize his claim that Husserl's theory is committed to a theory of pure self presence and intuitive presence. ;Finally, following Derrida, I question Husserl's theory of pure logical grammar. Through a consideration of poetic expression, I consider why this theory is unable to account for the distinction between sense and nonsense. However, I do argue that the intentional act theory can offer a justification for this distinction. For this reason, I conclude that a revised understanding of Husserl's phenomenological approach to meaning is still viable. (shrink)

Starting from the familiar observation that no straightforward treatment of pure quotation can be compositional in the standard (homomorphism) sense, we introduce general compositionality, which can be described as compositionality that takes linguistic context into account. A formal notion of linguistic context type is developed, allowing the context type of a complex expression to be distinct from those of its constituents. We formulate natural conditions under which an ordinary meaning assignment can be non-trivially extended to one that is (...) sensitive to context types and satisfies general compositionality. As our main example we work out a Fregean treatment of pure quotation, but we also indicate that the method applies to other kinds of context, e.g. intensional contexts. (shrink)

Transcendental Meditation (TM) holds that the essence of reality is “pure consciousness.” This piece contrasts three interpretations of their meditative trance: (i) TM doctrine, and (ii) scientific physicalism, (iii) with my own meditative experience. Pure consciousness events, defined as wakeful contentless consciousness, are known to occur, but what ontological basis do they have? While cosmic consciousness may be the only ontological ultimate there is, my meditative introspection does not neatly align with TM dogma. In search of the right (...) metaphor, this piece journeys over mystical notions of divine darkness, contemplates evidence regimes, and proposes “mystic doubt” or ontological skepticism as an alternative to ontological relativism. (shrink)

In reworking his Logical Investigations Husserl adopts two positions that were not actually incorporated into later editions of the Investigations but do appear in other writings: a new distinction between signitive and significative intentions, and the claim that even naming and perceiving acts are categorially formed. This paper investigates Husserl's notion of noematic sense and the pure grammatical ' categories ' intimated therein in order to shed light on these new positions. The paper argues that the development of (...) the theories of the noema and of pure grammar allows us to recognize how even merely perceived or named things have a certain categoriality belonging to them, but that this development also requires us to distinguish between an anticipatory categoriality and an articulated categoriality. (shrink)

The Swiss linguist Ferdinand de Saussure (1857-1913) revolutionized the study of language, signs, and discourse in the twentieth century. He successfully reconstructed the proto-Indo-European vowel system, advanced a conception of language as a system of arbitrary signs made meaningful through kinetic interrelationships, and developed a theory of the anagram so profound it gave rise to poststructural literary criticism. The roots of these disparate, even contradictory achievements lie in the thought of Early German Romanticism, which Saussure consulted for its insight into (...) the nature of meaning and discourse. Conducting the first comprehensive analysis of Saussure's intellectual heritage, Boris Gasparov links Sassurean notions of cognition, language, and history to early Romantic theories of cognition and the transmission of cultural memory. In particular, several fundamental categories of Saussure's philosophy of language, such as the differential nature of language, the mutability and immutability of semiotic values, and the duality of the signifier and the signified, are rooted in early Romantic theories of "progressive" cognition and child cognitive development. Consulting a wealth of sources only recently made available, Gasparov casts the seeming contradictions and paradoxes of Saussure's work as a genuine tension between the desire to bring linguistics and semiotics in line with modernist epistemology on the one hand, and Jena Romantics' awareness of language's dynamism and its transcendence of the boundaries of categorical reasoning on the other. Advancing a radical new understanding of Saussure, Gasparov reveals aspects of the intellectual's work previously overlooked by both his followers and his postmodern critics. (shrink)

Karl Popper developed a theory of deductive logic in the late 1940s. In his approach, logic is a metalinguistic theory of deducibility relations that are based on certain purely structural rules. Logical constants are then characterized in terms of deducibility relations. Characterizations of this kind are also called inferential definitions by Popper. In this paper, we expound his theory and elaborate some of his ideas and results that in some cases were only sketched by him. Our focus is on Popper's (...) notion of duality, his theory of modalities, and his treatment of different kinds of negation. This allows us to show how his works on logic anticipate some later developments and discussions in philosophical logic, pertaining to trivializing connectives, the duality of logical constants, dual-intuitionistic logic, the conservativeness of language extensions, the existence of a bi-intuitionistic logic, the non-logicality of minimal negation, and to the problem of logicality in general. (shrink)

Justified belief is a core concept in epistemology and there has been an increasing interest in its logic over the last years. While many logical investigations consider justified belief as an operator, in this paper, we propose a logic for justified belief in which the relevant notion is treated as a predicate instead. Although this gives rise to the possibility of liar-like paradoxes, a predicate treatment allows for a rich and highly expressive framework, which lives up to the universal (...) ambitions of investigating epistemological concepts. We start with a base theory for justified belief, and then systematically present putative additional axioms for justified belief. We provide an overview of consistency results when the additional principles are added to the base theory, and discuss their philosophical plausibility. (shrink)

: This article analyzes German debates on the microbiology of infectious diseases from 1865 to 1875 and asks how and when organic pollution in tissues became noteworthy for aetiology and pathogenesis. It was with Ernst Hallier's pleomorphistic microbiology that the organic character of alien material in tissues came to be regarded as important for pathology. The process that followed saw both vigorous biological critique and a number of medical applications of Hallier's work. Around 1874 contemporaries reached the conclusion that pleomorphous (...) vegetation was most likely of little importance if not accidental in relation to the aetiology of infectious diseases whereas the idea of monomorphous micro-organisms facilitated a causal explanation. It was only then that notions such a pure cultures, bacterial specificity, etc. favored by Ferdinand Julius Cohn and his school became popular in medical circles. (shrink)

Abstract According to Russellianism, the content of a Russellian thought, in which a person ascribes a monadic property to an object, can be represented as an ordered couple of the object and the property. A consequence of this is that it is not possible for a person to believe that a is F and not to believe b is F, when a=b. Many critics of Russellianism suppose that this is possible and thus that Russellianism is false. Several arguments for this (...) claim are criticized and it is argued that Russellians need not appeal to representational notions in order to defeat them. Contrary to popular opinion, the prospects for a pure Russellianism, a Russellianism without representations, are in fact very good. (shrink)

I lay down a system of structural rules for various notions of ground and establish soundness and completeness.

Dzhaparidze, G., A generalized notion of weak interpretability and the corresponding modal logic, Annals of Pure and Applied Logic 61 113-160. A tree Tr of theories T1,...,Tn is called tolerant, if there are consistent extensions T+1,...,T+n of T1,...,Tn, where each T+i interprets its successors in the tree Tr. We consider a propositional language with the following modal formation rule: if Tr is a tree of formulas, then Tr is a formula, and axiomatically define in this language the decidable (...) logics TLR and TLRω. It is proved that TLR yields exactly the schemata of PA-provable sentences, if Tr is understood as “Tr is tolerant”. In fact, TLR axiomatizes a considerable fragment of provability logic with quantifiers over ∑1-sentences, and many relations that have been studied in the literature can be expressed in terms of tolerance. We introduce and study two more relations between theories: cointerpretability and cotolerance which are, in a sense, dual to interpretability and tolerance. Cointerpretability is a characterization of ∑1-conservativity for essentially reflexive theories in terms of translations. (shrink)

This is a comment on a translation of Franz von Kutschera's paper ‘Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle’, which was published in German in 1969. The paper is an important predecessor of what is nowadays called ‘proof-theoretic semantics’, which describes the view that the meaning of logical connectives is determined by the rules governing their use in a proof system. Von Kutschera adopts this view in this paper, and more specifically, a bilateralist view on this subject in that his aim is (...) to give a general framework that provides generalized rule schemata for arbitrary connectives both for proving and refuting and to use this as a reference to prove completeness of certain systems of operators purely proof-theoretically. The main logical system in focus here has been shown to be equivalent to N4, Nelson's constructive logic with strong negation. In order to understand the translated paper better, a contextualizing comment is offered referring and relating it to a preceding paper by von Kutschera. (shrink)

‘The Principles of the Pure Type Theory’ is a translation of Leon Chwistek's 1922 paper ‘Zasady czystej teorii typów’. It summarizes Chwistek's results from a series of studies of the logic of Whitehead and Russell's Principia Mathematica which were published between 1912 and 1924. Chwistek's main argument involves a criticism of the axiom of reducibility. Moreover, ‘The Principles of the Pure Type Theory’ is a source for Chwistek's views on an issue in Whitehead and Russell's ‘no-class theory of (...) classes’ involving the notion of ‘scope’. (shrink)

Hermann Cohen, as it is well known, criticised the Kantian notion of the thing-in-itself. And before him the Kantian thing-in-itself was criticised by Fichte and other German idealists. Probably for this reason, Hermann Cohen is sometimes regarded as a person who said things similar to Fichte. This gives a completely wrong perspective, making it impossible to understand the philosopher's ideas. The basis for his critique of the Kantian thing-in-itself is quite different from the motives, determining the criticism of Kant (...) in the classical German Idealism. Such interpretation does not allow to see close connection of Cohen's theoretical philosophy with revolution in physics which took place at the turn of the nineteenth and twentieth centuries. The article explains how Cohen's demand that pure thinking must form its own content is connected with transformations taking place in physics and mathematics, and the peculiarity of Cohen's understanding of idealism is demonstrated: for him, correct idealism must realize that autonomous, free thinking should work seriously with sense data. The closeness of Cohen's ideas to the postpositivist thesis of the theory-ladenness of observation is explained. For Cohen, serious work with sense data is opposite to uncritical acceptance of them as given. The origin of scientific thinking is thinking itself. It responds to the challenge of sensory material by creating its own constructs. Mathematized natural science becomes for Cohen both an example and a confirmation of this thesis. For him, what is real is what is described in the language of mathematical analysis, i.e. continuous processes, in spite of the fact that any data are discrete. It is shown that the source of Cohen's assertions on this issue is in Kant's Critique of Pure Reason, namely in the doctrine of the Principles of pure natural science and, more specifically, in the Anticipations of Perception. Cohen's conviction of the constructive character of the theories of mathematized natural science is confirmed in the article by references to the authority of A. Einstein. (shrink)

The objective of the present work is to understand and elucidate Kant’s notion of category and how he derived the categories from a single transcendental principle. Kant did not put forward any definition of categories. He believed that categories cannot be defined without perpetrating a circle. Thus, he began his discourse with certain features of categories in his work Critique of Pure Reason. We have discussed the characteristic features of Kantian categories. An important point to be noted here (...) is that the categories, in the fullest Kantian sense of the term, must have a distinct property, namely that it should necessarily be applicable to all objects of knowledge. However, we are not concerned with the necessary applicability of concept to all objects of knowledge here in this paper. The analysis about the Kantian notion of categories, more importantly, necessitates a discussion about how he derived them from a single transcendental principle. Kant referred to the single principle which guides the search for the categories as “the clue to the discovery of the categories.” The specific and clear formulation of the principle which served as the transcendental clue to the discovery of the categories for Kant is that to every form of judgment there corresponds a pure and basic concept of the understanding. The forms of judgments and the categories both originate from the same source, namely, the function of the understanding, i.e., thinking. It may be noted here that the understanding is the power or faculty of knowing and thinking or judging is the function of understanding. Kant argued that the twelve logical forms of judgments provided the clue to the origin of twelve corresponding a priori concepts or categories. Two arguments provided by Kant in support of the principle serving as a transcendental clue to the discovery of the categories are analysed. An orthodox view held by some philosophers that for Kant the forms of judgment are forms of analytic judgment has been critically analyzed and is interpreted as erroneous. Keywords: category, judgment, understanding, categorematic, syncategorematic. (shrink)

The purpose of this paper is to provide a unitary typology for the incompatibilities of meanings at stake on different levels of Husserlian pure logic—namely, between systems of axioms and pure morphology of meanings; I show that they perfectly match by converging on the notion of Widersinn.

The article offers a speculative comparison of two approaches to modern materialist science – that of Heidegger based on the understanding of ecstatic time and that of Bergson based on the notion of vital momentum, or pure duration. Bergson’s notion of vital momentum can be derived from the Heideggerian ecstasy of the future. The notion of fundamental material elements as well as the notion of their lawful movement can be derived from the Heideggerian ecstasies of (...) the past and the present. Bergson also sees modern science as based on the concept of what is finished (past) and of what is present (given). While Bergson opposes his vital momentum to the notion of matter which underlies modern materialist science, Heidegger shows the historical origin of these notions in the Greek understanding of Presence and also the ontological origin in Presence as ecstatic time. Bergson’s pure duration is a mode of the inauthentic understanding of temporality. The analysis and comparison draw on phenomenological-hermeneutical approach, fundamental ontology as well as ‘philosophy of life’. (shrink)

Hobbes refers to a state of "mere nature" to describe the condition of man without political organisation. The origin of this notion is identified in the theory of pure nature discussed by Suarez and its implications are shown.

This book elaborates on deontic logic and network theory to present a reductionist theory of the law, disclosing a simple understanding of legal norms based on minimum necessary and sufficient notions. The analysis explores the concept of a 'norm' as a claim-obligation relation that regulates conduct, that is, action and inaction, among subjects, in space and time. Based on these five minimum notions, the study illustrates legal systems as networks of substantive right-duty relations that are procedurally organised according to time. (...) The research relies on basic Kripke-style semantics as social matrixes to explain fundamental normative concepts and further on network science, social network theory and graph-theoretic notation, based on ties and nodes, to elaborate a formal representation of minimum necessary notions and of legal systems as deontic networks. The book will be of interest to academics, researchers and practitioners working in the areas of Legal Philosophy, Legal Theory and International Law. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Leibniz on Purely Extrinsic DenominationsGary L. CesarzDennis Plaisted. Leibniz on Purely Extrinsic Denominations. Rochester: University of Rochester Press, 2002. Pp. viii + 128 Cloth, $70.00.Interpreting Leibniz is like trying to flatten a balloon without deflating it; press it here and it bulges there. Press one of his controversial principles and problems result for another. Leibniz on contingent and necessary truths exemplifies this difficulty. So does Leibniz's denial that (...) there are "extrinsic denominations which have no foundationin the denominated thing" (NPE).Plaisted questions the meaning and challenges the current interpretations of this principle. Does "foundation" mean "included in a thing," or "reducible to an intrinsic denomination"? Furthermore, what is the thing denominated? Is it the individual concept of a substance, or an intrinsic denomination in the concept of the substance? Leibniz holds, "for all truths the predicate is contained in the subject" (PS) which, in some sense, includes both denominations (Leroy E. Loemker, ed., Gottfried Wilhelm Liebniz: Philosophical Papers and Letters [Dordrecht: Reidel, 1976], 268). This suggests that both denominations have the same status as predicates. However, such statements as, "there is no denomination so extrinsic that it does not have an intrinsic denomination as its basis" (Loemker, 527) and "all extrinsic denominations are founded in intrinsic denominations" (Benson Mates, The Philosophy of Leibniz: Metaphysics and Language [New York: Oxford University Press, 1989], 225) suggest that the former reduce to the latter. The last two quotes seem to trump all hands. But textual citations are seldom enough to settle disputes of this sort.This has inspired two approaches to the question, one reductionistic, the other non-reductionistic. Plaisted adopts a non-reductionistic approach but regards those prior to his as implausible and unsatisfactory (1, 113 n.34). As for reductionism, he claims to "stand [End Page 494] [it] on its head" (1) and denies its "textual merit" (14). Given Plaisted's broad grasp of Leibniz's writings, this is not an oversight of the passages quoted above. Rather, his case depends on reinterpreting the same passages in light of his version of NPE.A reduction, according to some, requires that a relational proposition be logically equivalent (or at least truth-functionallyequivalent) to a set of non-relational propositions. For others, implication is sufficient, i.e., for a given relational proposition z, and two non-relational propositions x and y, it is impossible that (x & y) is true but z false (Mates, 218). In response, Plaisted examines NPE from four angles, including Leibniz's predicate-in-subject notion of truth, the identity of indiscernibles, and two others. However, since all that follows rides on his understanding of PS, let us focus on it.Plaisted's interprets NPE to mean "There are no extrinsic denominations of an individual... that are not included in that individual's concept" (11). To support this, he observes that Leibniz applies PS to all truths and often derives NPE from PS. But to justify substituting "included in" for Leibniz's use of "foundation in," Plaisted elects to interpret PS in a troubling way. Now, Leibniz insists that necessary truths state an identity between a subject and predicate, either explicit or implicit, and that the latter are reducible to the former by an a priori proof of finite length. Leibniz further says that identity, as explained above, is the reason that PS holds for necessary truths. Thus, Plaisted infers that "identity" and "having a reason" are equivalent, that this sense of PS generalizes to all truths (24-25), and claims support for his version of NPE. This is a positive result for Plaisted, for from it he infers that extrinsic denominations are included in the individual's concept as directly as intrinsic denominations, hence the latter cannot serve as the foundation for the former (25ff.). But this is problematic.First, it leads him to affirm that some denominations are both extrinsic and intrinsic (75). This is a strange conclusion to consider positive, for it implies that there are two types of intrinsic plus extrinsic denominations. Surely this strains the boundaries of "textual merit" at least as much as Plaisted charges against reductionists. More importantly, even if the equivalence Plaisted presses holds for necessary... (shrink)

In this short paper, we investigate the problems with the employment of the notion of freedom and voluntariness in libertarianism. We pretend to demonstrate that these two, as conceived of by libertarians, figure in as the main issue when it comes to justifying its major institutions, say: bequeathing, gifts, transactions (or what they label as “voluntary transfer”). The difficulty here boils down to the fact that a purely rights-based idea of freedom and voluntariness, the pretentions of Nozick notwithstanding, cannot (...) do alone, since it is the consideration whether we do something (e.g. bequeath, donate etc.) voluntarily (or freely) (in a non-moralized sense) that could account for the rights redistribution. Therefore, it seems that – at least sometimes – the notion of voluntariness (or freedom) is prior to the notion of rights. (shrink)

We examine notions of genericity intermediate between 1-genericity and 2-genericity, especially in relation to the Δ20 degrees. We define a new kind of genericity, dynamic genericity, and prove that it is stronger than pb-genericity. Specifically, we show there is a Δ20 pb-generic degree below which the pb-generic degrees fail to be downward dense and that pb-generic degrees are downward dense below every dynamically generic degree. To do so, we examine the relation between genericity and array noncomputability, deriving some structural information (...) about the Δ20 degrees in the process. (shrink)

Hannah Arendt is associated with a strong distinction between guilt and responsibility: Whereas she insists that guilt is strictly personal, she advances a vicarious notion of collective political responsibility without guilt. Yet Arendt also proposes a political concept of forgiveness—which yields the critical question: Does a political concept of forgiveness not presuppose a political concept of guilt? Arendtian forgiveness addresses what Arendt terms trespassing. Scrutinizing her notion of trespassing and how it is situated within her theory of political (...) action, I ponder whether Arendt, in effect, offers a political concept of guilt. I argue that while trespassing is clearly a political notion, it cannot be labelled guilt. Rather, trespassing refers to a purely causal responsibility without blame, and to a social-ontological condition of non-sovereignty and fallibility inherent in political interaction. The non-blameworthiness of trespassing implies that Arendt’s oft-cited concept of forgiveness resembles what is usually categorized as excuse. (shrink)