We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known properties, valid in the case of unconditional events, still hold in our approach to logical operations among conditional events. In particular we prove a decomposition formula and a related additive property. Then, we introduce the set of conditional constituents generated by $n$ conditional (...) events and we show that they satisfy the basic properties valid in the case of unconditional events. We obtain a generalized inclusion-exclusion formula, which can be interpreted by introducing a suitable distributive property. Moreover, under logical independence of basic unconditional events, we give two necessary and sufficient coherence conditions. The first condition gives a geometrical characterization for the coherence of prevision assessments on a family F constituted by n conditional events and all possible conjunctions among them. The second condition characterizes the coherence of prevision assessments defined on $F\cup K$, where $K$ is the set of conditional constituents associated with the conditional events in $F$. Then, we give some further theoretical results and we examine some examples and counterexamples. Finally, we make a comparison with other approaches and we illustrate some theoretical aspects and applications. (shrink)

This paper defends an interpretation of Gottlob Frege’s views on the structure of thought. I argue that Frege did not think that a thought has a unique decomposition into its component senses, but rather the same thought can be decomposed into senses in multiple, distinct ways. These multiple decompositions will often have distinct logical forms. I also argue against Michael Dummett and others that Frege was committed to the sense of a predicate being a function from the sense of (...) a name (or names) to a complete thought. I defend my Frege interpretation against a puzzle often discussed in the Frege literature; namely, that the Multiple Decompositions Thesis is incompatible with Frege’s stated view that a thought is built up out of its component senses as parts. I provide textual evidence and argument that Frege thought of the part/whole relation in such a way that a whole can be analyzed into (or built up out of) parts in multiple, distinct ways, thus dissolving the puzzle. I conclude with discussion of every sort of example of multiple decompositions that can be found in Frege's work. (shrink)

Functional decomposition is an important goal in the life sciences, and is central to mechanistic explanation and explanatory reduction. A growing literature in philosophy of science, however, has challenged decomposition-based notions of explanation. ‘Holists’ posit that complex systems exhibit context-sensitivity, dynamic interaction, and network dependence, and that these properties undermine decomposition. They then infer from the failure of decomposition to the failure of mechanistic explanation and reduction. I argue that complexity, so construed, is only incompatible with (...) one notion of decomposition, which I call ‘atomism’, and not with decomposition writ large. Atomism posits that function ascriptions must be made to parts with minimal reference to the surrounding system. Complexity does indeed falsify atomism, but I contend that there is a weaker, ‘contextualist’ notion of decomposition that is fully compatible with the properties that holists cite. Contextualism suggests that the function of parts can shift with external context, and that interactions with other parts might help determine their context-appropriate functions. This still admits of functional decomposition within a given context. I will give examples based on the notion of oscillatory multiplexing in systems neuroscience. If contextualism is feasible, then holist inferences are faulty—one cannot infer from the presence of complexity to the failure of decomposition, mechanism, and reductionism. (shrink)

Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus describe functional relations. Concepts can be classified into four groups: sortal, individual, relational and functional concepts. The classification is reflected by different grammatical roles of the corresponding nouns. The paper aims at a cognitively adequate decomposition, particularly, of sortal concepts by means of frames. Using typed feature structures, an explicit formalism for the characterization of cognitive (...) frames is developed. The frame model can be extended to account for typicality effects. Applying the paradigm of object-related neural synchronization, furthermore, a biologically motivated model for the cortical implementation of frames is developed. Cortically distributed synchronization patterns may be regarded as the fingerprints of concepts. (shrink)

I argue, through appeal to the distinction between analysis and decomposition described by Dummett, that Wittgenstein employs both of those notions in the Tractatus. I then bring this interpretation to bear upon the issue of propositional unity, where I formulate an objection to the views of both Leonard Linksy and José Zalabardo. I show that both Linsky and Zalabardo fail to acknowledge the distinction between analysis and decomposition present in the Tractatus, and that they consequently mischaracterise Wittgenstein’s position (...) with respect to propositional unity. (shrink)

In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called elementary. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called canonical. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. We summarize main ideas (...) and results, and outline further research perspectives. (shrink)

Kant’s most prominent formulation of the Categorical Imperative, known as the Formula of Universal Law (FUL), is generally thought to demand that one act only on maxims that one can will as universal laws without this generating a contradiction. Kant's view is standardly summarized as requiring the 'universalizability' of one's maxims and described in terms of the distinction between 'contradictions in conception' and 'contradictions in the will'. Focusing on the underappreciated significance of the simultaneity condition included in the FUL, (...) I argue, by contrast, that the principle is better read as requiring that one be able to will two things simultaneously without self-contradiction, namely, that a maxim be one's own and that it be a universal law. This amounts to a new interpretation of the FUL with significant interpretive and philosophical advantages. (shrink)

Attempts to introduce Gestalt theory into the realm of visual neuroscience are discussed on both theoretical and experimental grounds. To define the framework in which these proposals can be defended, this paper outlines the characteristics of a standard model, which qualifies as a received view in the visual neurosciences, and of the research into natural images statistics. The objections to the standard model and the main questions of the natural images research are presented. On these grounds, this paper defends the (...) view that Gestalt psychology and experimental phenomenology provide a contribution to the research into perception by the construction of phenomenological models for an ecologically meaningful interpretation of the empirical evidence and the hypothetical constructs of the natural image research within the visual neuroscience. A formal framework for the phenomenological models is proposed, wherein Gestalt theoretical principles and empirical evidence are represented in terms of topological properties and relationships, which account for the order and structures that make the environment accessible to observers at a relevant behavioural level. It is finally argued that these models allow us to evaluate the principles and the empirical evidence of various natures which are integrated from different fields into the research into perception, and in particular into visual neurosciences. (shrink)

In this paper, we provide a detailed review of previous classifications of 2 × 2 games and suggest a mathematically simple way to classify the symmetric 2 × 2 games based on a decomposition of the payoff matrix into a cooperative and a zero-sum part. We argue that differences in the interaction between the parts is what makes games interesting in different ways. Our claim is supported by evolutionary computer experiments and findings in previous literature. In addition, we provide (...) a method for using a stereographic projection to create a compact 2-d representation of the game space. (shrink)

Kant’s formula of universal law (FUL) is standardly understood as a test of the moral permissibility of an agent’s maxim: maxims which pass the test are morally neutral, and so permissible, while those which do not are morally impermissible. In contrast, I argue that the FUL tests whether a maxim is the cause or determining ground of an action at all. According to Kant’s general account of causality, nothing can be a cause of some effect unless there is a (...) law-like relation between the putative cause and effect. Applied to the case of action, no maxim can be the cause of an agent’s action unless there is a law-like relation between maxims of that kind and actions of that kind. The special capacity to act according to maxims as law-like causes is what Kant calls a will; the basic constitutive principle of the will is a non-normative principle I call the categorical declarative. While the actions of a perfectly good will would be described by the categorical declarative alone, human action is determined not only by the causality of the will, but also by competing causes, namely those stemming from inclination. There is thus need for a causal test for putative maxims. The test contained in the FUL is meant to determine whether an action could be grounded solely on the agent’s maxim, or whether it requires a cause external to the will. This account permits one to build eventual distinctions concerning the morality of actions on prior and independent distinctions concerning their causality. (shrink)

In this article, we provide three generators of propositional formulae for arbitrary languages, which uniformly sample three different formulae spaces. They take the same three parameters as input, namely, a desired depth, a set of atomics and a set of logical constants (with specified arities). The first generator returns formulae of exactly the given depth, using all or some of the propositional letters. The second does the same but samples up-to the given depth. The third generator outputs formulae with exactly (...) the desired depth and all the atomics in the set. To make the generators uniform (i.e. to make them return every formula in their space with the same probability), we will prove various cardinality results about those spaces. (shrink)

Formula thinking is a kind of thinking strictly by route in which the thinker never deviates from a set course. Craft thinking involves a rough approximation to a set course but allows for deviation. The arts involve craft thinking. Repairing a machine involves formula thinking. America has become almost completely dominated by formula thinking.

The Barcan formula (BF) is commonly paraphrased as the schematic conditional that if it is possible that there be a phi then something or other is possibly a phi. It is validated by the most straightforward systems of quantified modal logic. It is also widely considered to pose a threat to the commonsensical metaphysical view that there are no non-actual (or ‘merely possible’) things. I show how BF can be cleared of such a charge by construing it as a (...) bridge principle connecting modality de dicto and modality de re while retaining a Russellian robust sense of reality in modal matters. (shrink)

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...) are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

In two recent articles I have argued that Kant’s legal and political philosophy can shed new light on his much-contested account of moral autonomy and that important changes in his political theory help to explain why in his later work the Formula of Autonomy disappears. In the present essay, I respond to comments by Sorin Baiasu and Marie Newhouse, who argue that the changes in Kant’s political theory fail to explain the disappearance of the Formula of Autonomy, since (...) in both phases Kant held that laws are given by the people’s representatives. I offer additional support for my original argument by developing a more detailed account of Kant’s conception of the relation between the legislating representatives and the people they are taken to represent. I argue that Kant’s conception of the proper representation relation changed, and that it changed so fundamentally that the analogy at the basis of the Formula of Autonomy was no longer apt, thus providing a plausible explanation for its disappearance. I also address several related comments and propose an explanation for why Kant dropped the very idea of autonomy as a property of the will. (shrink)

In this paper, we present a way to translate the metainferences of a mixed metainferential system into formulae of an extended-language system, called its associated σ-system. To do this, the σ-system will contain new operators (one for each standard), called the σ operators, which represent the notions of "belonging to a (given) standard". We first prove, in a model-theoretic way, that these translations preserve (in)validity. That is, that a metainference is valid in the base system if and only if its (...) translation is a tautology of its corresponding σ-system. We then use these results to obtain other key advantages. Most interestingly, we provide a recipe for building unlabeled sequent calculi for σ-systems. We then exemplify this with a σ-system useful for logics of the ST family, and prove soundness and completeness for it, which indirectly gives us a calculus for the metainferences of all those mixed systems. Finally, we respond to some possible objections and show how our σ-framework can shed light on the “obeying” discussion within mixed metainferential contexts. (shrink)

Este artigo empreende uma discussão acerca da noção de fórmula discursiva nos trabalhos de Krieg-Planque e de um possível diálogo com o trabalho desenvolvido por Foucault, sobretudo, a partir do modo como o filósofo percebe o discurso, uma vez que ambos pertencem a uma tradição epistemológica francesa. Dessa forma, vamos adentrar pelo percurso de lapidação da noção de fórmula, tomando, para isso, a entrevista que Krieg-Planque concedeu a Philippe Schepens do Laboratoire de Sémio-linguistique, didatique e informatique (LASELDI) e do livro (...) A noção de fórmula em análise do discurso: quadro teórico e metodológico, trabalhos que representam para nós brasileiros uma espécie de introdução à discussão sobre a noção de fórmula proposta por Krieg-Planque no campo da Escola Francesa de Análise do Discurso (AD). Nessa discussão, vamos perceber que toda fórmula discursiva traz consigo uma densidade histórica apoiada em pré-construídos que estão voltados para as novas construções, tal qual propunha Foucault acerca das práticas e das materialidades discursivas em sua arqueologia do saber e em sua genealogia do poder. (shrink)

In the first ever commentary on the Groundwork, one of Kant’s earliest critics, Gottlob August Tittel, argues that the categorical imperative is not a new principle of morality, but merely a new formula. This objection has been unjustly neglected in the secondary literature, despite the fact that Kant explicitly responds to it in a footnote in the second Critique. In this paper I seek to offer a thorough explanation of both Tittel’s ‘new formula’ objection and Kant’s response to (...) it, as well as illustrate its significance. I argue that the objection is in fact the third step in a line of argument that Tittel presents in his commentary, and that the objection is best understood within this context. I analyze Kant’s response in the second Critique footnote line-by-line so as to show that Kant both clarifies that it was never his aim to offer a new principle, but only ‘establish’ the principle that common human reason already implicitly employs. Furthermore, I show that Kant uses the opportunity to clarify the sense in which the categorical imperative is a ‘formula [Formel]’, namely as a representation of a complicated and abstract principle, like the moral law, in a way that is easier to understand and apply. I conclude by illustrating the fourth step in Tittel’s line of argument, which makes the overall significance of the ‘new formula’ objection clear: for Tittel, the problem is not that Kant seems to be offering merely a new formula, but that the categorical imperative lacks a foundation. (shrink)

Dialectica: Mathematica and Physica, Truth and Justice, Trick and Life. Mathematica as the Constructive Metaphysica and Ontology. Mathematica as the constructive existential method. Сonsciousness and Mathematica: Dialectica of "eidos" and "logos". Mathematica is the Total Dialectica. The basic maternal Structure - "La Structure mère". Mathematica and Physica: loss of existential certainty. Is effectiveness of Mathematica "unreasonable"? The ontological structure of space. Axiomatization of the ontological basis of knowledge: one axiom, one principle and one mathematical object. The main ideas and concepts (...) of the ontological construction/ "Point with a vector germ" and "heavenly triangle". "Ordo geometricus" and "Ordo onto-topological". Architecture of the onto-topological basis of knowledge: general framework structure, carcass and foundation. The absolute space and the absolute field. The absolute (natural) system of coordinates of Universum. Eidos of "idea of ideas", the symbol and the "formula of Justice". (shrink)

According to the objection from positive duties, Kant's Formula of Universal Law is flawed because it cannot be used to derive any affirmative moral requirements. This paper offers a response to that objection and proposes a novel way to derive positive duties from Kant's formula. The Formula of Universal Law yields positive duties to adopt our own perfection and others’ happiness as ends because we could not rationally fail to will those ends as universal ends.

Kant’s Formula of Humanity (FH) is considered by many, Kant included, to be the most intuitively appealing formulation of the categorical imperative. FH tells us that to treat persons with dignity and respect we must always treat them as ends in themselves and never as mere means. One set of issues raised by FH revolves around how FH is to be justified or grounded and how it relates to the other formulations of the categorical imperative. This set of issues, (...) though important, is not our focus here. Instead, we shall focus on a different set of issues: how do we apply or use this formula in practice, that is, how does this principle work as a moral guide to what duties and obligations we have in particular cases? This paper will seek to answer that question by defending an interpretation and rational reconstruction of FH in terms of two subsidiary principles, the Mere Means Principle (MMP), which grounds perfect duties, and the Ends in Themselves Principle (ETP), which grounds imperfect duties. These two principles will then be applied to a number of examples to illustrate how they work. (shrink)

In this paper I defend the traditional interpretations of Kant’s Formula of a Law of Nature from recent attacks leveled by Faviola Rivera-Castro, James Furner, Ido Geiger, Pauline Kleingeld and Sven Nyholm. After a short introduction, the paper is divided into four main sections. In the first, I set out the basics of the three traditional interpretations, the Logical Contradiction Interpretation, the Practical Contradiction Interpretation and the Teleological Contradiction Interpretation. In the second, I examine the work of Geiger, Kleingeld (...) and Nyholm: these three commentators reject the traditional interpretations entirely, but I argue that this rejection is ill-founded. In the third and fourth, I take a detailed look at Furner’s work, work in which he seeks to revise (rather than reject) the traditional interpretations. I argue that, despite his more modest aims, Furner’s revision is also ill-founded. (shrink)

Since the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of (closed) subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The notion of a partition (or quotient set or equivalence relation) is dual (in a category-theoretic sense) to (...) the notion of a subset. Hence the Boolean logic of subsets has a dual logic of partitions. Then the dual progression is from that logic of partitions to the quantum logic of direct-sum decompositions (i.e., the vector space version of a set partition) of a general vector space--which can then be specialized to the direct-sum decompositions of a Hilbert space. This allows the logic to express measurement by any self-adjoint operators rather than just the projection operators associated with subspaces. In this introductory paper, the focus is on the quantum logic of direct-sum decompositions of a finite-dimensional vector space (including such a Hilbert space). The primary special case examined is finite vector spaces over ℤ₂ where the pedagogical model of quantum mechanics over sets (QM/Sets) is formulated. In the Appendix, the combinatorics of direct-sum decompositions of finite vector spaces over GF(q) is analyzed with computations for the case of QM/Sets where q=2. (shrink)

One of the most important difficulties facing Kant’s Formula of Universal Law (FUL) is its apparent inability to show that it is always impermissible to kill others for the sake of convenience. This difficulty has led current Kantian ethicists to de-emphasize the FUL or at least complement it with other Kantian principles when dealing with murder. The difficulty stems from the fact that the maxim of convenience killing fails to generate a ‘contradiction in conception’, producing only a ‘contradiction in (...) the will’ when subjected to the two-fold test associated with the FUL. This result is thought to imply that the FUL allows us sometimes to kill for the sake of convenience. In this essay, I argue that the very diagnosis of the problem rests on a mistake, and that if the maxim of convenience killing generates a contradiction in the will, then acting on it is never permissible. (shrink)

Do multi-level selection explanations of the evolution of social traits deepen the understanding provided by single-level explanations? Central to the former is a mathematical theorem, the multi-level Price decomposition. I build a framework through which to understand the explanatory role of such non-empirical decompositions in scientific practice. Applying this general framework to the present case places two tasks on the agenda. The first task is to distinguish the various ways of suppressing within-collective variation in fitness, and moreover to evaluate (...) their biological interest. I distinguish four such ways: increasing retaliatory capacity, homogenising assortment, and collapsing either fitness structure or character distribution to a mean value. The second task is to discover whether the third term of the Price decomposition measures the effect of any of these hypothetical interventions. On this basis I argue that the multi-level Price decomposition has explanatory value primarily when the sharing-out of collective resources is `subtractable'. Thus its value is more circumscribed than its champions Sober and Wilson (1998) suppose. (shrink)

Semantic Information conveyed by daily language has been researched for many years; yet, we still need a practical formula to measure information of a simple sentence or prediction, such as “There will be heavy rain tomorrow”. For practical purpose, this paper introduces a new formula, Semantic Information Formula (SIF), which is based on L. A. Zadeh’s fuzzy set theory and P. Z. Wang’s random set falling shadow theory. It carries forward C. E. Shannon and K. Popper’s thought. (...) The fuzzy set’s probability defined by Zadeh is treated as the logical probability sought by Popper, and the membership grade is treated as the truth-value of a proposition and also as the posterior logical probability. The classical relative information formula (Information=log(Posterior probability / Prior probability) is revised into SIF by replacing the posterior probability with the membership grade and the prior probability with the fuzzy set’s probability. The SIF can be explained as “Information=Testing severity – Relative square deviation” and hence can be used as Popper's information criterion to test scientific theories or propositions. The information measure defined by the SIF also means the spared codeword length as the classical information measure. This paper introduces the set-Bayes’ formula which establishes the relationship between statistical probability and logical probability, derives Fuzzy Information Criterion (FIC) for the optimization of semantic channel, and discusses applications of SIF and FIC in areas such as linguistic communication, prediction, estimation, test, GPS, translation, and fuzzy reasoning. Particularly, through a detailed example of reasoning, it is proved that we can improve semantic channel with proper fuzziness to increase average semantic information to reach its upper limit: Shannon mutual information. (shrink)

According to the standard reading of Kant's formula of universal law (FUL), positive duties can be derived from FUL. In this article, I argue that the standard reading does not work. In the first section, I articulate FUL and what I mean by a positive duty. In the second section, I set out an intuitive version of the standard reading of FUL and argue that it does not work. In the third section, I set out a more rigorous version (...) of the standard reading of FUL and argue that even this more rigorous version does not work. (shrink)

My main reaction to MCGivern’s paper was one of dialectical puzzlement. Block argues that, Macro Non-Reduction: [all] macro properties are irreducible to the micro properties on which they supervene..

Many Kantian scholars have debated what normative guidance the formula of the law of nature provides. There are three ways of understanding the role of FLN in Kant’s ethics. The first line of interpretation claims that FLN and FLU are logically equivalent. The second line claims that there are only subjective differences, meaning that FLN is easier to apply than the abstrct method of FUL. The third line of interpretation claims that there are objective differences between FLN and FUL (...) in the sense that each formula has an irreducible role in Kant’s ethics. In this article I will show that the first and second lines of interpretation cannot fully explain Kant’s account of FLN and I will propose a new interpretation which pertains to the third type. I will explore the schematism model to understand the role of FLN and argue that it is an intermediary principle that fills in a practical gap between the moral law and action. In the end, I will consider a possible objection against this understanding which claims that the schematism model is not applicable to practical judgment since nothing is given in experience. (shrink)

O presente artigo busca analisar, no aspecto da imagem fílmica, os documentários de arquivo sobre a Fórmula 1 em seus primórdios garagistas (pré-1950 ao fim da década de 1970). Para isso, serão analisados três documentários recentes sobre grandes pilotos da categoria, a saber: Jack Brabham, Graham Hill e Juan Manuel Fangio. Utilizando a teorização de Gilles Deleuze acerca da imagem-movimento e seus aspectos semióticos, o objetivo aqui é ver que a cadeia de significação provocada pela reedição de imagens de arquivo (...) provoca a construção de um argumento que ressalta mais o lado humano dos pilotos do que os seus feitos enquanto esportistas consagrados. (shrink)

In recent decades, the use of electrochemistry has increased exponentially. Electrochemistry has demonstrated their effectiveness in the cleaning of manufactured effluents and the decomposition of complex hydrological compounds for water treatment. Looking at the efficiency of the technology in the decomposition of organic matter, one wonders if it is not capable of doing more than just the de-pollution and treatment of water. Of course, there are other uses of electrochemistry, but in the literature, it is understood that it (...) is used more for water treatment and de-pollution. This work is a review of the literature to identify the major works in electrochemical decomposition of organic matter to see to what extent this technology can be used for methane production (cooking gas) using pasty organic matter. The list of works appearing in this review is not exhaustive, but it is sufficient to give a clear idea of the technology, its progress and, above all, the challenges it faces. This review opens the way to other applications of electrochemical decomposition to meet today's energy challenges. (shrink)

Ever since Hegel famously objected to Kant’s universalization formulations of the Categorical Imperative on the grounds that they are nothing but an empty formalism, there has been continual debate about whether he was right. In this paper I argue that Hegel got things at least half-right: I argue that even if negative duties (duties to omit actions or not to adopt maxims) can be derived from the universalization formulations, positive duties (duties to commit actions or to adopt maxims) cannot. The (...) paper is divided into three main sections. In the first, I set out the procedures generally accepted among Kantians for deriving positive duties from the universalization formulations. In the second, I set out the arguments from section 1 in more detail and explain why they do not work. In the third, I examine a strategy that might be used to supplement the arguments from section 2 and I argue that it also does not work. (shrink)

My aim in this paper is to explore different ways of understanding Kant’s Formula of Humanity as a formal principle. I believe that a formal principle for Kant is a principle that is constitutive of some domain of cognition or rational activity. It is a principle that both constitutively guides that activity and serves as its internal regulative norm. In the first section of this essay, I explain why it is desirable to find a way to understand the (...) class='Hi'>Formula of Humanity as a formal principle in this sense. In sections II and III I discuss two interpretive approaches to Kant’s idea that rational nature or humanity is an end in itself, both of which may be construed as treating the Formula of Humanity as a formal principle. By focusing on the notion of formal principle, I hope to raise a set of issues about how to understand the idea of rational nature or humanity as an end in itself, and about the relation of the Formula of Humanity [FH] to the Formula of Universal Law [FUL]. I do not resolve the issues in this paper, though I briefly sketch some resolution at the end. (shrink)

This paper explores the charge by Bruce Aune and Allen Wood that a gap exists in Kant's derivation of the Categorical Imperative. I show that properly understood, no such gap exists, and that the deduction of the Categorical Imperative is successful as it stands.

Kant's formulae ought to effectively produce the same result when applied to the moral validity of any particular maxim; further, no valid maxim produces contradictory results when applied against Kant's Universal Law and Humanity formulae. Where one uses all formulae in the assessment of a maxim, one gains a more complete understanding of the moral law, thereby bridging principles of reason with intuition within the agent who has undertaken to evaluate the morality of a particular action. These formulae command without (...) regard to any particular interests, but are instead unconditional; further, these formulae effectively limit choice of action and therefore give rise to duty. Kant implies that the structure of all maxims requires different formulae of the same moral law, i.e., all maxims have a ‘form’ and a ‘matter’, which prompt reconfiguring of the categorical imperative into different formulae in order to test the morality of a maxim. (shrink)

This article investigates the original meaning of dependent arising in the Buddha’s teaching, by focussing on the imasmi" sati formula. Modern scholars such as the Rhys Davidses, K.N. Jayatilleke and Paul Williams have interpreted it as a princi- ple of causation, comparable to a scientific conception of causation. I argue instead that this formula implies that the Buddha held that causation is nothing more than the correlation of causes and effects, and that it commits the Buddha to a (...) Humean regularity thesis about causation. I draw a distinction between the Buddhist and scientific concepts of causation, and then summarise an alternative approach made by more recent scholars such as Sue Hamilton, Noa Ronkin and Eviatar Shulman, who present dependent arising in terms of conditionality in the causal structure of subjective experience. I conclude by presenting the argument that the imasmi" sati formula does not express a principle of causation but is rather a formula for the method of discovering and presenting causation as conditionality in experience. (shrink)

A scheme to help merge the ideas of quantum gravity.

A natural extension of Heron's 2000 year old formula for the area of a triangle to the volume of a tetrahedron is presented. This gives the fourth power of the volume as a polynomial in six simple rational functions of the areas of its four faces and three medial parallelograms, which will be referred to herein as "interior faces." Geometrically, these rational functions are the areas of the triangles into which the exterior faces are divided by the points at (...) which the tetrahedron's in-sphere touches those faces. Part I presents an overview of these results and some necessary but little-known background in areal geometry. Part II derives the promised extension, and ends with a conjecture as to how the formula extends to n-dimensional simplices for all n>3. Part III explains how, for n=3, the zeros of the polynomial constitute a five-dimensional semi-algebraic variety consisting almost entirely of collinear tetrahedra with vertices separated by infinite distances, but with generically well-defined distance ratios; it further proves that these unconventional Euclidean configurations can be identified with a quotient of the Klein quadric by an action of a group of reflections isomorphic to ℤ42, wherein four-point configurations in the affine plane constitute a distinguished three-dimensional subvariety. Part IV consists of five appendices which show, among other things, that the algebraic structure of the zeros in the affine plane naturally defines the associated four-element, rank 3 chirotope, aka affine oriented matroid. (shrink)

The article reviews the category of ‘happiness’ along three lines: etymological discourse, ‘objective’ indicators and elements of happiness as a social/cultural phenomenon, as well as the author's proposed formula for happiness. The relevance of this study is determined by the fact that human resource is the main resource of the State, and the future of the country depends on the well-being of each individual. As a result of the etymological discourse, the following conclusions have been drawn: 1, the category (...) of ‘happiness’ is a more recent entity; 2, the ancient Greek categories of ‘good’ and ‘the highest good’ are its progenitors; 3, in the West European philosophy, good is understood inconsistently and includes the range from its utilitarian meaning to its connection with the notion of ‘value’; 4, the category of ‘happiness’ includes two aspects: one under the control of a man and another determined by external factors. Thus, in understanding happiness, most studies focus on either social/biological or social/economic components. The author proposes an integrative formula for happiness, which has the following elements: 1, ‘why’/belief system: life according to one’s own convictions; 2, ‘what’/abilities: their fulfilment in a professional/cognitive activity, i.e. the implementation of cognitive interest; 3, ‘where’/the place for fulfilling one’s life, understood as a geographical and climatic space; 4, ‘with whom’/ communication with people the person truly likes and who like him/her, while keeping a socially acceptable distance of a detached polite interaction with the rest of the social space. Therefore, happiness is the harmony of triune: the person with the Self, the Self with the world and the world with the Self. (shrink)

Book review of 'Means, Ends, and Persons: The Meaning and Psychological Dimensions of Kant's Humanity Formula, by Robert Audi, OUP'.

We analyze the properties of optimum portfolios, the price of which is considered a new quantum variable and derive a quantum analog of the Black-Scholes formula for the price of financial variables in assumption that the market dynamics can by considered as its continuous weak measurement at no-arbitrage condition.

O presente artigo deseja estudar a questão da música enquanto linguagem e como seria a sua ação linguística dentro do campo da comunicabilidade e das mediações. Para isso, utilizando as ideias da Filosofia Analítica da Linguagem (especialmente Ludwig Wittgenstein, J. L. Austin e John Searle), serão analisados dois elementos da linguagem musical de épocas distintas e antagônicas: o leitmotiv (com enfoque em O Anel do Nibelungo, de Richard Wagner) e a fórmula (com enfoque em Licht, de Karlheinz Stockhausen). A ideia (...) aqui é verificar a autonomia da linguagem musical bem como as suas possibilidades de lógica ilocucionária. Palavras-chaves: Linguagem musical; Pragmática; Ação linguística. (shrink)

This is a two page handout, briefly summarizing late nineteenth and early twentieth century philosopher Henry Sidgwick's objections to giving all citizens a right to as much equal freedom as possible. H.L.A. Hart, who uses the material in a notable paper, also figures.

In this article, network science is discussed from a methodological perspective, and two central theses are defended. The first is that network science exploits the very properties that make a system complex. Rather than using idealization techniques to strip those properties away, as is standard practice in other areas of science, network science brings them to the fore, and uses them to furnish new forms of explanation. The second thesis is that network representations are particularly helpful in explaining the properties (...) of non-decomposable systems. Where part-whole decomposition is not possible, network science provides a much-needed alternative method of compressing information about the behavior of complex systems, and does so without succumbing to problems associated with combinatorial explosion. The article concludes with a comparison between the uses of network representation analyzed in the main discussion, and an entirely distinct use of network representation that has recently been discussed in connection with mechanistic modeling. (shrink)

In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ontological implications of Barcan formula and its converse is a condition of a possibility of the imperative mood. The paper is divided into four sections. In the first section a systematization of semantical systems of quantified modal logic is introduced (...) for the purpose of making explicit their ontological presuppositions. In this context Jadacki's ontological difference between being and existence is discussed and analyzed within the framework of hereby proposed system of quantified modal logic. The second section discusses ontological implications of the Barcan formula and its converse within the system accommodating the difference between being and existence. The third section presents a proof of incompatibility of the Barcan formula and its converse with the use of imperatives. In the concluding section, a thesis on logical pragmatics foreclosing the dilemma between necessitism and contingentism is put forward and defended against some objections. (shrink)

The idea that thoughts are structured is essential to Frege's understanding of thoughts. A basic tenet of his thinking was that the structure of a sentence can serve as a model for the structure of a thought. Recent commentators have, however, identified tensions between that principle and certain other doctrines Frege held about thoughts. This paper suggests that the tensions identified by Dummett and Bell are not really tensions at all. In establishing the case against Dummett and Bell the paper (...) argues (a) that Frege was committed, in virtue of his doctrine of decomposition, to the thesis that a single sentence can express a range of thoughts, and (b) that Frege was committed, in virtue of his views about truth, to the thesis that a single thought can be expressed by structurally different sentences. But neither of these theses comes into conflict with the basic principle. (shrink)

In the contemporary life sciences more and more researchers emphasize the “limits of reductionism” (e.g. Ahn et al. 2006a, 709; Mazzocchi 2008, 10) or they call for a move “beyond reductionism” (Gallagher/Appenzeller 1999, 79). However, it is far from clear what exactly they argue for and what the envisioned limits of reductionism are. In this paper I claim that the current discussions about reductionism in the life sciences, which focus on methodological and explanatory issues, leave the concepts of a reductive (...) method and a reductive explanation too unspecified. In order to fill this gap and to clarify what the limits of reductionism are I identify three reductive methods that are crucial in the current practice of the life sciences: decomposition, focusing on internal factors, and studying parts in isolation. Furthermore, I argue that reductive explanations in the life sciences exhibit three characteristics: first, they refer only to factors at a lower level than the phenomenon at issue, second, they focus on internal factors and thus ignore or simplify the environment of a system, and, third, they cite only the parts of a system in isolation. (shrink)

I review recent empirical findings on knowledge attributions in lottery cases and report a new experiment that advances our understanding of the topic. The main novel finding is that people deny knowledge in lottery cases because of an underlying qualitative difference in how they process probabilistic information. “Outside” information is generic and pertains to a base rate within a population. “Inside” information is specific and pertains to a particular item’s propensity. When an agent receives information that 99% of all lottery (...) tickets lose (outside information), people judge that she does not know that her ticket will lose. By contrast, when an agent receives information that her specific ticket is 99% likely to lose (inside information), people judge that she knows that her ticket will lose. Despite this difference in knowledge judgments, people rate the likelihood of her ticket losing the exact same in both cases (i.e. 99%). The results shed light on other factors affecting knowledge judgments in lottery cases, including formulaic expression and participants’ own estimation of whether it is true that the ticket will lose. The results also undermine previous hypotheses offered for knowledge denial in lottery cases, including the hypotheses that people deny knowledge because they either deny justification or acknowledge a chance for error. (shrink)

Kant’s Formula of Universal Law (FUL) is generally believed to require you to act only on the basis of maxims that you can will without contradiction to become universal laws. In “Contradiction and Kant’s Formula of Universal Law” (2017), I have proposed to read the FUL instead as requiring that, for any maxim on which you act, you can will two things simultaneously, without volitional self-contradiction: (1) willing the maxim as your own action principle and (2) willing that (...) it become a universal law. In the present essay, I reply to comments by Mark Timmons, Michael Walschots, Paola Romero, and Stefano Lo Re. In response to their comments concerning the application of the FUL, I expand the interpretive framework of the Volitional Self-Contradiction Interpretation. I argue that Kant also constructs the diagnostic volitional self-contradiction as a contradiction between (1) willing a tested maxim to become a universal law and (2) willing what humans, qua finite rational beings, necessarily will, namely the means to their actual and possible future ends. I also clarify how the two ways in which Kant specifies the test are related. Furthermore, I clarify the relation between the Volitional Self-Contradiction interpretation and other interpretations of the FUL, in particular the ‘Practical Contradiction’ and ‘Logical Contradiction’ interpretations, as well as its difference from the Golden Rule. I also address the objection that the volitional self-contradiction is superfluous, clarify the relation between the Formula of Universal Law and the Formula of the Law of Nature, and explain why the will of an immoral agent does not contain a volitional self-contradiction of the type at issue. (shrink)