The five classical elements of creation are also known as Panch Tattva or the basic elements of life. Within these, and through these, life has prevailed and evolved. Although various religious philosophies differ in many details, they emphasize the fundamental unity of the universe through recognizing these elements as the basis of creation. Thus, Panch Tattva's knowledge helps us transcend the notion of an isolated individual self and identify ourselves with the ultimate reality.

The five classical elements of creation are also known as Panch Tattva or the basic elements of life. Within these, and through these, life has prevailed and evolved. Although various religious philosophies differ in many details, they emphasize the fundamental unity of the universe through recognizing these elements as the basis of creation. Thus, Panch Tattva's knowledge helps us transcend the notion of an isolated individual self and identify ourselves with the ultimate reality.

Air is one of the five classical elements, which make all the creation. We can perceive air in the things it moves, be it leaves or hair. It is an invisible mixture of nitrogen, oxygen, and minute amounts of other gases surrounding the Earth. It is all around us. Yet, we cannot see it. Pure air has no odour. It has many uses. It provides a breath of life to all living beings. As, atmosphere, it prevents the excessive heat (...) of the Sun from reaching us. Oxygen, one of its constituents, supports combustion. Thereby it helps us to cook food, generate heat and electricity, run industries and drive vehicles. Its other two components, nitrogen and carbon dioxide, are essential for the growth of plants. Another beneficial constituent of air is Ozone, which in the form of the Ozone layer around our planet protects us from the adverse effects of the Sun's UV rays. Compressed air is used to fill tyres. Many machines and drills work on compressed air. Wind enables the movement of sailboats and gliders. It runs windmills to generate electricity and helps in the dispersal of seeds. Guru Arjan appreciating the priceless importance of air to all of us articulates [1-2]; He (Creator) gave you the invaluable air. (Mehl 5, SGGS, p 913). (shrink)

Air is one of the five classical elements, which make all the creation. We can perceive air in the things it moves, be it leaves or hair. It is an invisible mixture of nitrogen, oxygen, and minute amounts of other gases surrounding the Earth. It is all around us. Yet, we cannot see it. Pure air has no odour. It has many uses. It provides a breath of life to all living beings. As, atmosphere, it prevents the excessive heat (...) of the Sun from reaching us. Oxygen, one of its constituents, supports combustion. Thereby it helps us to cook food, generate heat and electricity, run industries and drive vehicles. Its other two components, nitrogen and carbon dioxide, are essential for the growth of plants. Another beneficial constituent of air is Ozone, which in the form of the Ozone layer around our planet protects us from the adverse effects of the Sun's UV rays. Compressed air is used to fill tyres. Many machines and drills work on compressed air. Wind enables the movement of sailboats and gliders. It runs windmills to generate electricity and helps in the dispersal of seeds. Guru Arjan appreciating the priceless importance of air to all of us articulates [1-2]; He (Creator) gave you the invaluable air. (Mehl 5, SGGS, p 913). (shrink)

Various religious philosophies the world over, although differ in many details, yet they all emphasize the basic unity of the universe, through the recognition of panch tattva as the basis of creation. Most of these philosophies agree that a continuous exchange between these basic elements life and the creation, helps to balance the ever ongoing cycles of creation and destruction. The existence of panch tattva, with their extraordinary qualities, makes us aware of the unity and mutual interrelation of all things. (...) They help us to transcend the notion of an isolated individual self and to identify ourselves with the ultimate reality. In this article on panch tattva, a perspective from Sri Guru Granth Sahib is outlined. (shrink)

In this paper, I present a new framework supporting the claim that some elements in science play a constitutive function, with the aim of overcoming some limitations of Friedman's (2001) account. More precisely, I focus on what I consider to be the gradualism implicit in Friedman's interpretation of the constitutive a priori, that is, the fact that it seems to allow for degrees of 'constitutivity'. I tease out such gradualism by showing that the constitutive character Friedman aims to track can (...) be captured by three features - namely, quasi-axiomaticity (QA), generative potential (GP), and empirical shielding (ES) - which are exhibited to a maximal degree by the examples Friedman deploys, particularly in his analysis of Newtonian mechanics. I argue that not all varieties of 'constitutivity' can be captured by the kind of gradualism implicit in Friedman's view, although developing the gradualism itself might provide useful insights. To show this, I analyse the function of the Hardy-Weinberg principle (HWP) in population genetics in terms of its QA, GP, and ES. Whereas the HWP does not count as constitutive in classical philosophical interpretations (Sober 1984), nor does it within Friedman's framework, it does nonetheless perform a minimally constitutive function. By means of historical details and considerations on the prospects of replacing the HWP, I show that the HWP is minimally constitutive by being a counterfactual instantiation of a paradigmatically constitutive stability principle, where the latter might itself be regarded as an enabling condition for a variety of modelling practices across the sciences. (shrink)

Arthur Pap worked in analytic philosophy while maintaining a strong Kantian or neo-Kantian element throughout his career, stemming from his studying with Ernst Cassirer. I present these elements in the different periods of Pap’s works, showing him to be a consistent critic of logical empiricism, which Pap shows to be incapable of superseding the Kantian framework. Nevertheless, Pap’s work is definitely analytic philosophy, both in terms of the content and the style. According to Pap, the central topics of analytic (...) philosophy concern meaning, modality, and analysis. Pap was also influenced by pragmatism, especially in his dissertation, although he does not fully embrace it in either its classical or its Quinean form. (shrink)

We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this logic. The semantics is (...) defined in terms of a \-matrix built on top of a 5-valued extension of the 3-element weak Kleene algebra, whereas the calculus is defined in terms of a Gentzen-style sequent system where the left and right negation rules are subject to linguistic constraints. (shrink)

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

In this paper, I generalise the logical concept of compatibility into a broader set-theoretical one. The basic idea is that two sets are incompatible if they produce at least one pair of opposite objects under some operation. I formalise opposition as an operation ′ ∶ E → E, where E is the set of opposable elements of our universe U, and I propose some models. From this, I define a relation ℘U × ℘U × ℘U^℘U, which has (mutual) logical compatibility (...) as its more natural interpretation. (shrink)

This paper deals with Austinian ifs of every stripe within classical logic. It is argued that they are truth-functional and the theory of conditional elements is used. Ellipsis is key. Corrects an error in Fulda (2010) in translation and therefore scope. -/- The PDF is made available gratis by the Publisher.

This article aims to provide a metaphysical elucidation of the notion of Theism and a coherent theological synthesis of two extensions of this notion: Classical Theism and Neo-Classical Theism. A model of this notion and its extensions is formulated within the ontological pluralism framework of Kris McDaniel and Jason Turner, and the (modified) modal realism framework of David Lewis, which enables it to be explicated clearly and consistently, and two often raised objections against the elements of this notion (...) can be successfully answered. (shrink)

I identify two mutually exclusive notions of formalism in Kant’s Critique of Aesthetic Judgement: a thin concept of aesthetic formalism and a thick concept of aesthetic formalism. Arguably there is textual support for both concepts in Kant’s third critique. I offer interpretations of three key elements in the Critique of Aesthetic Judgement which support a thick formalism. The three key elements are: Harmony of the Faculties, Aesthetic Ideas and Sensus Communis. I interpret these concepts in relation to the conditions for (...) theoretical Reason, the conditions for moral motivation and the conditions for intersubjectivity, respectively. I conclude that there is no support for a thin concept of aesthetic formalism when the key elements of Kant’s Critique of Aesthetic Judgement are understood in the context of his broader critical aims. (shrink)

Chapter 1 constitutes an introduction to Gentzen calculi from two perspectives, logical and philosophical. It introduces the notion of generalisations of Gentzen sequent calculus and the discussion on properties that characterize good inferential systems. Among the variety of Gentzen-style sequent calculi, I divide them in two groups: syntactic and semantic generalisations. In the context of such a discussion, the inferentialist philosophy of the meaning of logical constants is introduced, and some potential objections – mainly concerning the choice of working with (...) semantic generalizations – are addressed. Finally, I’ll introduce the case studies that I’ll be dealing with in part II. Chapter 2 is concerned with the origins and development of Jaśkowski’s discussive logic. The main idea of this chapter is to systematize the various stages of the development of discussive logic related researches from two different angles, i.e., its connections to modal logics and its proof theory, by highlighting virtues and vices. Chapter 3 focuses on the Gentzen-style proof theory of discussive logic, by providing a characterization of it in terms of labelled sequent calculi. Chapter 4 deals with the Gentzen-style proof theory of relevant logics, again by employing the methodology of labelled sequent calculi. This time, instead of working with a single logic, I’ll deal with a whole family of them. More precisely, I’ll study in terms of proof systems those relevant logics that can be characterised, at the semantic level, by reduced Routley-Meyer models, i.e., relational structures with a ternary relation between states and a unique base element. Chapter 5 investigates the proof theory of a modal expansion of intuitionistic propositional logic obtained by adding an ‘actuality’ operator to the connectives. This logic was introduced also using Gentzen sequents. Unfortunately, the original proof system is not cut-free. This chapter shows how to solve this problem by moving to hypersequents. Chapter 6 concludes the investigations and discusses the future of the research presented throughout the dissertation. (shrink)

As the word demos denotes, the democracy is generally considered as the rule or governance based on the general base of people in which monarchy or oligarchy form is excluded. We have a classical view about the four forms of government, which was proposed by Platonic concepts. Most idealistic form of government, in his prongs, could be found in Crete and Sparta, which was nevertheless not a democratic form. His accolade of these two nations, which, of course, would be (...) a kind of God’s product so to be most benevolent, humanly appealing, efficient and philanthropic. This means the democratic form of government is not best, but most favored alternative to police the society. The political terms, henceforth, would supervene the concept of democracy, and, for many reasons and on historical wake, democracy is generally accepted as practically most desired form of rule or governance. While some modern scholar revealed, a mini-republic can be a niche to contest the merits of various forms of governance. We can gauge a scope of elements we value through the governance process, human intrinsic, efficiency, equality, welfare and even individual happiness. As the time is a small city community, called a polis, in Plato and Socrates, a mini republic can be well envisaged in understanding the Platonic Republic. In that case, most benevolent ruler may be superior to any other form of governance, which can be a philosopher’s Republic. The ideal ruler would behave and govern with mighty intelligence and concomitant power to rule. It is idealistic to produce maximum happiness of polis constituents. The worst contras, however, a tyranny, comes that the constituents legitimately expel their ruler by a collective vote. This extreme contrast and the way of process also could be ascertained in the ancient form of oriental monarchy. The dynasty could be legitimately revoked to restore new heritage of emperor or Kings where a kind of rebellion, as elucidated by Locke, is well justified in the name of heaven’s command. Given the size of polis or governed territory, there are separate ways to redress the evils of tyranny while the Oriental culture has not recognized the kind of formal vote methods. Any means to expel the tyranny could be embraced to rebel. For our purpose of grasp through this working paper, I would theorize on the traditional elements of public policy and democratic form of government. (shrink)

This essay aims to provide an account of the differences between what I call the “Classical Marxist” conception of science which was adhered to by Marx and Engels and further developed by Boris Hessen and others on the one hand, and the conception of science which characterizes “Western Marxism” as it developed through the work of the theorists of the Frankfurt School on the other hand. I argue that Western Marxists such as Herbert Marcuse and Max Horkheimer did not (...) in fact successfully criticize the logical positivist account of the modern natural sciences. Instead I argue that they implicitly accepted the positivists’ characterization of the modern natural sciences (as they interpreted it) and then proceeded to devalue the modern natural sciences on this basis. I also show that Marcuse and Horkheimer, even though they presented themselves as revolting against the alleged “economism” of Classical Marxism, ended up endorsing a view of science which is functionally equivalent to a reductive economistic conception of science. I argue that the Classical Marxists’ conception of science is far richer and far more interesting than either a stereotyped “economistic” conception of science or the Western Marxist conception of modern science as merely an element in a historical process centered on the oppressive universalization of instrumental reasoning. (shrink)

In this paper I contend that the 'superfluity' of triangles is only apparent; all those specified are indeed required for the smallest sub-units, so long as the symmetry of the final body to be constructed is taken into account at earlier stages.

We present a new metaphysical framework for physics that is conceptually clear, ontologically parsimonious, and empirically adequate. This framework relies on the notion of self-subsisting structure, that is, a set of fundamental physical elements whose individuation and behavior are described in purely relational terms, without any need for a background spacetime. Although the specification of the fundamental elements of the ontology depends on the particular physical domain considered---and is thus susceptible to scientific progress---, the empirically successful structural features of the (...) framework are preserved through theory change. The kinematics and dynamics of these self-subsisting structures are technically implemented using the theoretical framework of Pure Shape Dynamics, which provides a completely relational physical description of a system in terms of the intrinsic geometry of a suitably defined space called shape space. (shrink)

In this dissertation, I present a novel account of the components that have a peculiar epistemic role in our scientific inquiries, since they contribute to establishing a form of coordination. The issue of coordination is a classic epistemic problem concerning how we justify our use of abstract conceptual tools to represent concrete phenomena. For instance, how could we get to represent universal gravitation as a mathematical formula or temperature by means of a numerical scale? This problem is particularly pressing when (...) justification for using these abstract tools comes, in part or entirely, from knowledge which is not independent from them, thus leading to threats of circularity. Achieving coordination between some abstract conceptual tools and the concrete phenomena that they are supposed to represent is usually a complex process, which involves several epistemic components. Some of these components eventually provide stable conditions for applying those abstract representations to concrete phenomena. It is in this sense of providing certain conditions of applicability that different philosophical traditions, as well as some contemporary reappraisals, view these components as constitutive or a priori. In this work, I present a new gradualist, contextualist, and relational approach to understand these constitutive components of scientific inquiry. It is gradualist inasmuch as the degree to which some component is constitutive depends on three quantifiable features: quasi-axiomaticity, generative potential, and empirical shielding. Since the quantification of these three features impinges on the history and practice of using these components in a scientific context, my approach is a contextualist one. Finally, my approach is relational in a double sense: first, it identifies ordinal relationships among epistemic components with respect to their constitutive character; second, these relationships are relative to a scientific framework of inquiry. After introducing my account and a classic example of constitutively a priori principles, i.e., Friedman’s (2001) analysis of Newtonian mechanics, I turn to my own case studies to demonstrate the advantages of my approach. Firstly, I discuss Okasha’s (2018) view of endogenization as a pervasive theoretical strategy in evolutionary biology and suggest that the constitutive character of the core Darwinian principles progressively increases with endogenization. Secondly, I apply a conceptual distinction between two varieties or scopes of coordination – general coordination and coordination in measurement – to Ohm’s work on electrical conductivity. This distinction allows me to pinpoint to what extent components along different dimensions (e.g., instrumentation, measurement, theorising, etc.) were constitutive of the forms of coordination which Ohm relied on. Thirdly, I discuss the epistemic function of the Hardy-Weinberg principle in the history and practice of population genetics. I assess this principle in terms of my account and identify approximation and stability as two components that are highly constitutive, in that they contribute to justifying its use in population genetics. Finally, applying my account to these case studies enables me to identify at least three qualitatively different types of constitutive components: domain-specific theoretical principles, material components, and domain-independent assumptions underlying reasoning abilities. In the light of my results, I draw some general conclusions on epistemic justification and scientific knowledge. (shrink)

In the world of Avatar: The Last Airbender (ATLA) and The Legend of Korra (LOK) —let’s call it the Bending World—some people (“benders”) are endowed with telekinetic superpowers to maneuver surrounding objects without physical interaction, by mentally steering (“bending”) one of the four classical “elements of nature” composing the objects: air, fire, water, and earth. Perhaps, in a world where the fundamental laws of nature are radically different from those of our world, the fundamental conditions and manifestations of politics (...) should be radically different too. That, of course, is not to deny that political bodies familiar to us are depicted in ATLA and LOK: tribes, monarchies, autonomous townships, city-states, loose federations, colonial empires, and democracies. Despite those familiar depictions, however, it’s worth contemplating how the existence of supernatural power might fundamentally alter the norms and rationales of politics—and how it might in turn help us better understand our own political reality. (shrink)

This paper presents Duns Scotus’s theory of mixture in the context of medieval discussions over Aristotle’s theory of mixed bodies. It revisits the accounts of mixture given by Avicenna, Averroes, and Thomas Aquinas, before presenting Scotus’s account as a reaction to Averroes. It argues that Duns Scotus rejected the Aristotelian theory of mixture altogether and that his account went contrary to the entire Latin tradition. Scotus denies that mixts arise out of the four classical elements and he maintains that (...) both the elemental forms and the elemental qualities are lost in the mixture. Consequently, he denies the distinction between the process of mixture and that of substantial change through generation and corruption. The reassessment of Scotus’s account modifies the current historical representation of this discussion, inherited from Anneliese Maier. (shrink)

Nature, a treasure trove of wisdom, is a great teacher of amazingly priceless life lessons to live a happy and worthwhile life. It speaks to us through its various phenomena. Gurbani helps up to decode Nature's invaluable lessons. Gurbani enunciates that Nature helps us to develop compassion and inner balance. It also guides us to help others to lead better lives. The interplay of five classical elements-air, water, fire, earth and akasha is the fundamental cause of all-natural phenomena. Let (...) us reflect on some of the social, ethical and spiritual lessons being provided by these. (shrink)

Nature, a treasure trove of wisdom, is a great teacher of amazingly priceless life lessons to live a happy and worthwhile life. It speaks to us through its various phenomena. Gurbani helps us to decode Nature's invaluable lessons. Gurbani enunciates that Nature helps us to develop compassion and inner balance. It also guides us to help others to lead better lives. The interplay of five classical elements - air, water, fire, earth, and akasha is the fundamental cause of all-natural (...) phenomena. Let us reflect on some of the social, ethical and spiritual lessons being provided by these. Nature comprises the totality of material reality that does not result from human will. It is also defined as the whole universe as a place, source, and result of material phenomena, including humans. Sikhs commonly use the term Gurbani to refer to the hymns in the holy Sikh scripture, Sri Guru Granth Sahib. Nature and Gurbani both provide very crucial lessons in the social, ethical, and spiritual spheres. Some of these lessons are outlined hereafter. (shrink)

Toleration classically denotes a relation between two agents that is characterised by three components: objection, power, and acceptance overriding the objection. Against recent claims that classical toleration is not applicable in liberal democracies and that toleration must therefore either be understood purely attitudinally or purely politically, we argue that the components of classical toleration are crucial elements of contemporary cases of minority accommodation. The concept of toleration is applicable to, and is an important element of descriptions of (...) such cases, provided that one views them as wholes, rather than as sets of isolated relations. We explain this by showing how certain cases of toleration are multi-dimensional and how the descriptive concept of toleration might be understood intersectionally. We exemplify this by drawing on case studies of mosque controversies in Germany and Denmark. Finally, we propose that intersectionality is not only relevant to the descriptive concept of toleration but also captures an important aspect of normative theories of toleration. We illustrate this by discussing ideals of respect-based toleration, which we also apply to the case studies. (shrink)

In recent decades, plural logic has established itself as a well-respected member of the extensions of first-order classical logic. In the present paper, I draw attention to the fact that among the examples that are commonly given in order to motivate the need for this new logical system, there are some in which the elements of the plurality in question are internally singularized (e.g. ‘Whitehead and Russell wrote Principia Mathematica’), while in others they are not (e.g. ‘Some philosophers wrote (...) Principia Mathematica’). Then, building on previous work, I point to a subsystem of plural logic in which inferences concerning examples of the first type can be adequately dealt with. I notice that such a subsystem (here called ‘discrete plural logic’) is in reality a mere variant of first-order logic as standardly formulated, and highlight the fact that it is axiomatizable while full plural logic is not. Finally, I urge that greater attention be paid to discrete plural logic and that discrete plurals are not used in order to motivate the introduction of full-fledged plural logic—or, at least, not without remarking that they can also be adequately dealt with in a considerably simpler system. (shrink)

This paper elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the distance (...) relations instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)

I propose an approach to liar and Curry paradoxes inspired by the work of Roger Swyneshed in his treatise on insolubles (1330-1335). The keystone of the account is the idea that liar sentences and their ilk are false (and only false) and that the so-called ''capture'' direction of the T-schema should be restricted. The proposed account retains what I take to be the attractive features of Swyneshed's approach without leading to some worrying consequences Swyneshed accepts. The approach and the resulting (...) logic (called ''Swynish Logic'') are non-classical, but are consistent and compatible with many elements of the classical picture including modus ponens, modus tollens, and double-negation elimination and introduction. It is also compatible with bivalence and contravalence. My approach to these paradoxes is also immune to an important kind of revenge challenge that plagues some of its rivals. (shrink)

The classical Confucian philosopher Xunzi proposed a naturalistic virtue ethics account of ritual: rituals are practices that channel human emotion and desire so that one develops virtues. In this paper I show that William of Auxerre’s Summa de Officiis Ecclesiasticis can be understood as presenting a similar account of ritual. William places great emphasis on the emotional power of the liturgy, which makes participants like the blessed in heaven by developing virtue. In other words, he has a virtue ethics (...) of ritual closely aligned with that of Xunzi. Xunzi’s writings on ritual illuminate and enrich one’s reading of the Summa de Officiis. But unlike Xunzi, William is not a naturalist with regard to ritual: although much of William’s language about the causal power of liturgy can be explained in Xunzian terms, Christian liturgy has an irreducible supernatural element. (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences (...) of a flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

According to some currents of modern historiography, Galilei's propensity for circular motion would have led him to consider this and not rectilinear motion as “natural motion”; therefore the principle of inertia could not be fully attributed to Galileo, which he would never have formulated. The question of the authorship of the principle of inertia certainly weighs on both nationalistic elements and returns of antigaleleism, while the question of its not explicit formulation as a principle is due to ignorance of the (...) type of organization that Galileo intended to give to the exposition of his physics. The author, after having hinted at possible prodromes of the principle of inertia and having reported the adverse opinions of illustrious historians of science (A. Koyré, I. B. Cohen, P. M. Duhem, P. Rossi, G. Holton), through a careful analysis of the Galilean writings, conducted on the digital versions with the help of text analysis programs, firmly reaffirms Galileo's authorship of the principle of inertia and the consequent principle of classical relativity. (shrink)

According to some currents of modern historiography, Galilei's propensity for circular motion would have led him to consider this and not rectilinear motion as “natural motion”; therefore the principle of inertia could not be fully attributed to Galileo, which he would never have formulated. The question of the authorship of the principle of inertia certainly weighs on both nationalistic elements and returns of antigaleleism, while the question of its not explicit formulation as a principle is due to ignorance of the (...) type of organization that Galileo intended to give to the exposition of his physics. The author, after having hinted at possible prodromes of the principle of inertia and having reported the adverse opinions of illustrious historians of science (A. Koyré, I. B. Cohen, P. M. Duhem, P. Rossi, G. Holton), through a careful analysis of the Galilean writings, conducted on the digital versions with the help of text analysis programs, firmly reaffirms Galileo's authorship of the principle of inertia and the consequent principle of classical relativity. (shrink)

The epistemic status of Natural Selection has intrigued to biologists and philosophers since the very beginning of the theory to our present times. One prominent contemporary example is Elliott Sober, who claims that Natural Selection, and some other theories in biology, and maybe in economics, are peculiar in including explanatory models/conditionals that are a priori in a sense in which explanatory models/conditionals in Classical Mechanics and most other standard theories are not. In this paper, by analyzing what we take (...) to be the four possible interpretations of Sober’s claim, we argue that, terminological preferences aside, the possible senses in which explanatory models in Natural Selection can qualify, or include elements that can qualify, as a priori, also apply to Classical Mechanics and other standard, highly unified theories. (shrink)

In any science, a classical Theorem, defined on a given space, is a statement that is 100% true (i.e. true for all elements of the space). To prove that a classical theorem is false, it is sufficient to get a single counter-example where the statement is false.

Coherence and correspondence are classical contenders as theories of truth. In this paper we examine them instead as interacting factors in the dynamics of belief across epistemic networks. We construct an agent-based model of network contact in which agents are characterized not in terms of single beliefs but in terms of internal belief suites. Individuals update elements of their belief suites on input from other agents in order both to maximize internal belief coherence and to incorporate ‘trickled in’ elements (...) of truth as correspondence. Results, though often intuitive, prove more complex than in simpler models (Hegselmann & Krause 2002, 2006; Grim, Singer, Reade & Fisher 2015). The optimistic finding is that pressures toward internal coherence can exploit and expand on small elements of truth as correspondence is introduced into epistemic networks. Less optimistic results show that pressures for coherence can also work directly against the incorporation of truth, particularly when coherence is established first and new data is introduced later. (shrink)

This essay critically examines some classic philosophical and legal theories of privacy, organized into four categories: the nonintrusion, seclusion, limitation, and control theories of privacy. Although each theory includes one or more important insights regarding the concept of privacy, I argue that each falls short of providing an adequate account of privacy. I then examine and defend a theory of privacy that incorporates elements of the classic theories into one unified theory: the Restricted Access/Limited Control (RALC) theory of privacy. Using (...) an example involving data-mining technology on the Internet, I show how RALC can help us to frame an online privacy policy that is sufficiently comprehensive in scope to address a wide range of privacy concerns that arise in connection with computers and information technology. (shrink)

This paper takes up Huw Price׳s challenge to develop a retrocausal toy model of the Bell-EPR experiment. I develop three such models which show that a consistent, local, hidden-variables interpretation of the EPR experiment is indeed possible, and which give a feel for the kind of retrocausation involved. The first of the models also makes clear a problematic feature of retrocausation: it seems that we cannot interpret the hidden elements of reality in a retrocausal model as possessing determinate dispositions to (...) affect the outcome of experiments. This is a feature which Price has embraced, but Gordon Belot has argued that this feature renders retrocausal interpretations “unsuitable for formal development”, and the lack of such determinate dispositions threatens to undermine the motivation for hidden-variables interpretations in the first place. But Price and Belot are both too quick in their assessment. I show that determinate dispositions are indeed consistent with retrocausation. What is more, I show that the ontological economy allowed by retrocausation holds out the promise of a classical understanding of spin and polarization. (shrink)

In this article, some classical paradoxes of infinity such as Galileo’s paradox, Hilbert’s paradox of the Grand Hotel, Thomson’s lamp paradox, and the rectangle paradox of Torricelli are considered. In addition, three paradoxes regarding divergent series and a new paradox dealing with multiplication of elements of an infinite set are also described. It is shown that the surprising counting system of an Amazonian tribe, Pirah ̃a, working with only three numerals (one, two, many) can help us to change our (...) perception of these paradoxes. A recently introduced methodology allowing one to work with finite, infinite, and infinitesimal numbers in a unique computational framework not only theoretically but also numerically is briefly described. This methodology is actively used nowadays in numerous applications in pure and applied mathematics and computer science as well as in teaching. It is shown in the article that this methodology also allows one to consider the paradoxes listed above in a new constructive light. (shrink)

In his classic Film as Art, Rudolf Arnheim sets out to refute the claim that “Film cannot be art, for it does nothing but reproduce reality mechanically”.1 The usual argument in favor of that claim, he explains, contrasts film with realist painting, and goes something like this: There’s no doubt that what appears on the canvas depends on the way the painter sees the world, on her particular technique, on the colors she’s using, and so on. It is elements like (...) these that justify aesthetic appreciation. What appears on celluloid, on the other hand, is the result of a purely mechanical process of light rays collecting and transforming into an image. In other words, a camera is merely a mechanical recording device, and for this very reason film cannot be art. (shrink)

The COVID-19 pandemic has been overwhelming public health-care systems around the world. With demand exceeding the availability of medical resources in several regions, hospitals have been forced to invoke triage. To ensure that this difficult task proceeds in a fair and organised manner, governments scrambled experts to draft triage guidelines under enormous time pressure. Although there are similarities between the documents, they vary considerably in how much weight their respective authors place on the different criteria that they propose. Since most (...) of the recommendations do not come with ethical justifications, analysing them requires that one traces back these criteria to their underlying theories of distributive justice. In the literature, COVID-19 triage has been portrayed as a value conflict solely between utilitarian and egalitarian elements. While these two accounts are indeed the main antipodes, I shall show that in fact all four classic theories of distributive justice are involved: utilitarianism, egalitarianism, libertarianism, and communitarianism. Detecting these in the documents and classifying the suggested criteria accordingly enables one to understand the balancing between the different approaches to distributive justice—which is crucial for both managing the current pandemic and in preparation for the next global health crisis. (shrink)

In this paper we recall, improve, and extend several definitions, properties and applications of our previous 2019 research referred to NeutroAlgebras and AntiAlgebras (also called NeutroAlgebraic Structures and respectively AntiAlgebraic Structures). Let <A> be an item (concept, attribute, idea, proposition, theory, etc.). Through the process of neutrosphication, we split the nonempty space we work on into three regions {two opposite ones corresponding to <A> and <antiA>, and one corresponding to neutral (indeterminate) <neutA> (also denoted <neutroA>) between the opposites}, which may (...) or may not be disjoint – depending on the application, but they are exhaustive (their union equals the whole space). A NeutroAlgebra is an algebra which has at least one NeutroOperation or one NeutroAxiom (axiom that is true for some elements, indeterminate for other elements, and false for the other elements). A Partial Algebra is an algebra that has at least one Partial Operation, and all its Axioms are classical (i.e. axioms true for all elements). Through a theorem we prove that NeutroAlgebra is a generalization of Partial Algebra, and we give examples of NeutroAlgebras that are not Partial Algebras. We also introduce the NeutroFunction (and NeutroOperation). (shrink)

Recent work in contemporary compatibilist theory displays considerable sophistication and subtlety when compared with the earlier theories of classical compatibilism. Two distinct lines of thought have proved especially influential and illuminating. The first developed around the general hypothesis that moral sentiments or reactive attitudes are fundamental for understanding the nature and conditions of moral responsibility. The other important development is found in recent compatibilist accounts of rational self-control or reason responsiveness. Strictly speaking, these two lines of thought have developed (...) independent of each other. However, in the past decade or so they have been fused together in several prominent statements of compatibilist theory. I will refer to theories that combine these two elements in this way as RS theories. RS theories face a number of familiar difficulties that relate to each of their two components. Beyond this, they also face a distinct set of problems concerning how these two main components relate or should be integrated. My concerns in this paper focus primarily on this set of problems. According to one version of RS compatibilism, the role of moral sentiments is limited to explaining what is required for holding an agent responsible. In contrast with this, the role of reason responsiveness is to explain what moral capacities are required for an agent to be responsible, one who is a legitimate or fair target of our moral sentiments. More specifically, according to this view, moral sense is not required for rational selfcontrol or reason responsiveness. There is, therefore, no requirement that the responsible agent has some capacity to feel moral sentiment. Contrary to this view, I argue that a responsible agent must be capable of holding herself and others responsible. Failing this, an agent’s powers of rational self-control will be both limited and impaired. In so far as holding responsible requires moral sense, it follows that being responsible also requires moral sense. (shrink)

Abstract. The aim of this paper is to present a topological method for constructing discretizations (tessellations) of conceptual spaces. The method works for a class of topological spaces that the Russian mathematician Pavel Alexandroff defined more than 80 years ago. Alexandroff spaces, as they are called today, have many interesting properties that distinguish them from other topological spaces. In particular, they exhibit a 1-1 correspondence between their specialization orders and their topological structures. Recently, a special type of Alexandroff spaces was (...) used by Ian Rumfitt to elucidate the logic of vague concepts in a new way. According to his approach, conceptual spaces such as the color spectrum give rise to classical systems of concepts that have the structure of atomic Boolean algebras. More precisely, concepts are represented as regular open regions of an underlying conceptual space endowed with a topological structure. Something is subsumed under a concept iff it is represented by an element of the conceptual space that is maximally close to the prototypical element p that defines that concept. This topological representation of concepts comes along with a representation of the familiar logical connectives of Aristotelian syllogistics in terms of natural settheoretical operations that characterize regular open interpretations of classical Boolean propositional logic. In the last 20 years, conceptual spaces have become a popular tool of dealing with a variety of problems in the fields of cognitive psychology, artificial intelligence, linguistics and philosophy, mainly due to the work of Peter Gärdenfors and his collaborators. By using prototypes and metrics of similarity spaces, one obtains geometrical discretizations of conceptual spaces by so-called Voronoi tessellations. These tessellations are extensionally equivalent to topological tessellations that can be constructed for Alexandroff spaces. Thereby, Rumfitt’s and Gärdenfors’s constructions turn out to be special cases of an approach that works for a more general class of spaces, namely, for weakly scattered Alexandroff spaces. This class of spaces provides a convenient framework for conceptual spaces as used in epistemology and related disciplines in general. Alexandroff spaces are useful for elucidating problems related to the logic of vague concepts, in particular they offer a solution of the Sorites paradox (Rumfitt). Further, they provide a semantics for the logic of clearness (Bobzien) that overcomes certain problems of the concept of higher2 order vagueness. Moreover, these spaces help find a natural place for classical syllogistics in the framework of conceptual spaces. The crucial role of order theory for Alexandroff spaces can be used to refine the all-or-nothing distinction between prototypical and nonprototypical stimuli in favor of a more fine-grained gradual distinction between more-orless prototypical elements of conceptual spaces. The greater conceptual flexibility of the topological approach helps avoid some inherent inadequacies of the geometrical approach, for instance, the so-called “thickness problem” (Douven et al.) and problems of selecting a unique metric for similarity spaces. Finally, it is shown that only the Alexandroff account can deal with an issue that is gaining more and more importance for the theory of conceptual spaces, namely, the role that digital conceptual spaces play in the area of artificial intelligence, computer science and related disciplines. Keywords: Conceptual Spaces, Polar Spaces, Alexandroff Spaces, Prototypes, Topological Tessellations, Voronoi Tessellations, Digital Topology. (shrink)

This is a brief review of the Rasa theory of Indian aesthetics and the works I have done on the same. A major source of the Indian system of classification of emotional states comes from the ‘Natyasastra’, the ancient Indian treatise on the performing arts, which dates back to the 2nd Century AD (or much earlier, pg. LXXXVI: Natyasastra, Ghosh, 1951). The ‘Natyasastra’ speaks about ‘sentiments’ or ‘Rasas’ (pg.102: Natyasastra, Ghosh, 1951) which are produced when certain ‘dominant states’ (sthayi Bhava), (...) ‘transitory states’ (vyabhicari Bhava) and ‘temperamental states’ (sattvika Bhava) of emotions come together (pgs.102, 105: Natyasastra, Ghosh, 1951). This Rasa theory, which is still widely followed in classical Indian performing arts, classifies eight Rasas or sentiments which are: Sringara (erotic), Hasya (comic), Karuna (pathetic), Raudra (furious), Vira (heroic), Bhayanaka (terrible), Bibhatsa (odious) and Adbhuta (marvellous). There was a later addition of the ninth sentiment or Rasa called Santa (peace) in later Sanskrit poetics (pg.102: Natyasastra, Ghosh, 1951). According to ancient Indian aesthetics (especially in the context of Bharatas’ ‘Natyasastra’, Anandavardhana’s ‘Dhvanyaloka’ and Abhinavagupta’s ‘Abhinavabharati’), ‘Rasa’ is the relishable state of elemental human emotions called ‘Bhavas’. Bharata’s ‘Natyasastra’ originally spoke of eight Rasas. The concept of the 9th Rasa was a later interpolation by the Kashmiri Shaivist Abhinavagupta (10th Century AD) and also his predecessor Anandavardhana (9th Century AD). Abhinavagupta extends the eight Rasas by adding the concept of the Santa Rasa which he regards as the essence of all Rasas. It is this 9th Rasa which according to Abhinavagupta lets the Rasika attain the aesthetic detachment and savour the essences of all other Rasas and therefore the true aesthetic delight. The introduction of 9th Rasa integrates the concepts of Bharata’s Rasasutra and Patanjali’s Yoga theory – the detachment necessary to introspect inwards into the inherent state of freedom and bliss (aesthetic consciousness). (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, (...) it is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case of the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the linearized Hilbert space version of the mathematics of partitions. Or, putting (...) it the other way around, the math of partitions is a skeletal version of the math of QM. The key concepts throughout this progression from logic, to logical information, to quantum theory are distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. The distinctions of a partition are the ordered pairs of elements from the underlying set that are in different blocks of the partition and logical entropy is defined (initially) as the normalized number of distinctions. The cognate notions of definiteness and distinguishability run throughout the math of QM, e.g., in the key non-classical notion of superposition (= ontic indefiniteness) and in the Feynman rules for adding amplitudes (indistinguishable alternatives) versus adding probabilities (distinguishable alternatives). (shrink)

In some recent papers (G. ‘t Hooft and others), it has been argued that quantum mechanics can arise from classical cellular automata. Nonetheless, G. Shpenkov has proved that the classical wave equation makes it possible to derive a periodic table of elements, which is very close to Mendeleyev’s one, and describe also other phenomena related to the structure of molecules. Hence the classical wave equation complements Schrödinger’s equation, which implies the appearance of a cellular automaton molecular model (...) starting from classical wave equation. The other studies show that the microworld is constituted as a tessellation of primary topological balls. The tessellattice becomes the origin of a submicrospic mechanics in which a quantum system is subdivided to two subsystems: the particle and its inerton cloud, which appears due to the interaction of the moving particle with oncoming cells of the tessellattice. The particle and its inerton cloud periodically change the momentum and hence move like a wave. The new approach allows us to correlate the Klein-Gordon equation with the deformation coat that is formed in the tessellatice around the particle. The submicroscopic approach shows that the source of any type of wave movements including the Klein-Gordon, Schrödinger, and classical wave equations is hidden in the tessellattice and its basic exciations – inertons, carriers of mass and inert properies of matter. We also discuss possible correspondence with Konrad Zuse’s calculating space. (shrink)

I show that the Lottery Paradox is just a version of the Sorites, and argue that this should modify our way of looking at the Paradox itself. In particular, I focus on what I call “the Cut-off Point Problem” and contend that this problem, well known by Sorites scholars, ought to play a key role in the debate on Kyburg’s puzzle. Very briefly, I show that, in the Lottery Paradox, the premises “ticket n°1 will lose”, “ticket n°2 will lose”… “ticket (...) n°1000 will lose” are equivalent to soritical premises of the form “~(the winning ticket is in {…, (tn)}) ⊃ ~(the winning ticket is in {…, tn, (tn + 1)})” (where “⊃” is the material conditional, “~” is the negation symbol, “tn” and “tn + 1” are “ticket n°n” and “ticket n°n + 1” respectively, and “{}” identify the elements of the lottery tickets’ set. The brackets in “(tn)” and “(tn + 1)” are meant to point out that in the antecedent of the conditional we do not always have a “tn” (and, as a result, a “tn + 1” in the consequent): consider the conditional “~(the winning ticket is in {}) ⊃ ~(the winning ticket is in {t1})”). As a result, failing to believe, for some ticket, that it will lose comes down to introducing a cut-off point in a chain of soritical premises. In this paper I explore the consequences of the different ways of blocking the Lottery Paradox with respect to the Cut-off Point Problem. A heap variant of the Lottery Paradox is especially relevant for evaluating the different solutions. One important result is that the most popular way out of the puzzle, i.e., denying the Lockean Thesis, becomes less attractive. Moreover, I show that, along with the debate on whether rational belief is closed under classical logic, the debate on the validity of modus ponens should play an important role in discussions on the Lottery Paradox. -/- . (shrink)

ABSTRACT The philosophical tradition approaches to morals have their grounds predominantly on metaphysical and theological concepts and theories. Among the traditional ethics concepts, the most prominent is the Divine Command Theory (DCT). As per the DCT, God gives moral foundations to the humankind by its creation and through Revelation. Morality and Divinity are inseparable since the most remote civilization. These concepts submerge in a theological framework and are largely accepted by most followers of the three Abrahamic traditions: Judaism, Christianity, and (...) Islam: the greatest part of the human population. Holding faith and Revelation for its grounds, the Divine Command Theories are not strictly subject to the demonstration. The opponents to the Divine Command conception of morals, grounded in the impossibility of demonstration of its metaphysical and religious assumptions, have tried for many centuries (albeit unsuccessfully) to devalue its importance. They held the argument that it does not show material evidence and logical coherence and, for this reason, cannot be taken into account for scientific nor philosophical purposes. It is just a belief and, as so, should be understood. Besides these extreme oppositions, many other concepts contravene the Divine Command theories, in one or another way, in part or in full. Many philosophers and social scientists, from the classic Greek philosophy up to the present date, for instance, sustain that morality is only a construct, and thus culturally relative and culturally determined. However, this brings many other discussions and imposes the challenge to determine what is the meaning of culture, which elements of culture are morally determinant, and finally, what are the boundaries of such relativity. Moral determinists claim that everything related to human behavior, including morality, is determined, once free will does not exist. More recently, modern thinkers argued that there is a strict science of morality. However, the scientific method alone, despite explaining several facts and evidence, cannot enlighten the entire content and full meaning of ethics. Morals’ understanding requires a broader perception, and an agreement among philosophers, which they have never achieved. All of these questions have many different configurations depending on each philosophical strand, and start complex analysis and endless debates, as long as many of them are reciprocally conflictive. The universe and the atmosphere involving this thesis are the dominions of all these conceptual conflicts, observed from an objective and evolutionary standpoint. Irrespective of this circumstance and its intrinsic importance, however, these questions are far distant from the methodological approach of an analytical discussion on objective morals, what is, indeed, the aim and scope of this work. We should briefly revisit these prominent traditional theories because this thesis shelters a comparative study, and its assumptions at least differ profoundly from all traditional theories. Therefore, it becomes necessary offering direct and specific elements of comparison to the reader, for the right criticism, dispensing interruptive researches. However, even revisiting the traditional theories, for this comparative and critical exposure purpose, they will be kept by the side of our main concerns, as “aliena materia.” Irrespective of the validity of any or all of the elements of this discussion, and their meaning as the philosophical universe of this thesis, the purpose of this work is demonstrating and justifying the existence and meaning of prehistoric moral archetypes arisen directly from the very first social needs and efforts for survival. These archetypes are the definition of the essential foundation of ethics, its aggregation to the collective unconscious and corresponding logic organization and transmission to evolutionary stages of the human genome and different relations space-time, irrespective of any contemporary experience of the individuals. The system defined by these archetypes composes an evolutionary human social model. Is this a metaethical position? Yes, it is. Moreover, as in any metaethical reasoning, we should look carefully for the best and coherent routes, as the Analytical Philosophy offers them. Thus, this work should reasonably demonstrate that morals are not a cultural product of the civilized men or modern societies and that despite being subject to several cultural relative aggregations and subtractions, its essential foundations are archetypal and have never structurally changed. This reasoning induces that morality is an original attribute of the “homo sapiens”; it is not a property and nor an accident: it integrates the human essence and belongs to the realm of the ontological human identity. The human phenomena is a continuing process, playing its role between random determination and free will, and we need to question how morality began and how did it come to us in the present. (shrink)

This essay will examine scholarly attempts at distilling a proto-ethical philosophy from the Daoist classic known as the Zhuangzi. In opposition to interpretations of the text which characterize it as amoralistic, I will identify elements of a natural normativity in the Zhuangzi. My examination features passages from the Zhuangzi – commonly known as the “knack” passages – which are often interpreted through some sort of linguistic, skeptical, or relativistic lens. Contra such readings, I believe the Zhuangzi prescribes an art of (...) living – or shù [術] – which incorporates a few motifs familiar to certain threads of philosophical naturalism. Building on existing scholarship which treats of the praxeology of the text, I argue that the naturalist themes present in the Zhuangzi support an unusual, but robust, view of moral expertise. (shrink)