Online research in philosophy

Locke, Berkeley, Gentzen gave dierent justi cations of universal generalization. In particular, Gentzen's justi cation is the one currently used in most logic textbooks. In this paper I argue that all such justi cations are problematic, and propose an alternative justi cation which is related to the approach to generality of Greek mathematics.

We argue that confusability between items should be distinguished from generalization between items. Shepard's data concern confusability, but the theories proposed by Shepard and by Tenenbaum & Griffiths concern generalization, indicating a gap between theory and data. We consider the empirical and theoretical work involved in bridging this gap. [Shepard; Tenenbaum & Griffiths].

What accounts for how we know that certain rules of reasoning, such as reasoning by Modus Ponens, are valid? If our knowledge of validity must be based on some reasoning, then we seem to be committed to the legitimacy of rule-circular arguments for validity. This paper raises a new difficulty for the rule-circular account of our knowledge of validity. The source of the problem is that, contrary to traditional wisdom, a universal generalization cannot be inferred just on the (...) basis of reasoning about an arbitrary object. I argue in favor of a more sophisticated constraint on reasoning by universal generalization, one which undermines a rule-circular account of our knowledge of validity. (shrink)

First order logic does not distinguish between different forms of universal generalization; in this paper I argue that lawlike and accidental generalizations (broadly construed) have a different logical form, and that this distinction is syntactically marked in English. I then consider the relevance of this broader conception of lawlikeness to the philosophy of science.

One of the hallmarks of human cognition is the capacity to generalize over arbitrary constituents. Recently, Marcus (1998, 1998a, b; Cognition 66, p. 153; Cognitive Psychology 37, p. 243) argued that this capacity, called universal generalization (universality), is not supported by Connectionist models. Instead, universality is best explained by Classical symbol systems, with Connectionism as its implementation. Here it is argued that universality is also a problem for Classicism in that the syntax-sensitive rules that are supposed to provide (...) causal explanations of mental processes are either too strict, precluding possible generalizations; or too lax, providing no information as to the appropriate alternative. Consequently, universality is not explained by a Classical theory. (shrink)

The purpose of this paper is to make a simple observation regarding the Johnson-Carnap continuum of inductive methods (see Johnson 1932, carnap 1952). From the outset, a common criticism of this continuum was its failure to permit the confirmation of universal generalizations: that is, if an event has unfailingly occurred in the past, the failure of the continuum to give some weight to the possibility that the event will continue to occur without fail in the future. The (...) Johnson-Carnap continuum is the mathematical consequence of an axiom termed Johnson's sufficientness postulate, the thesis of this paper is that, properly viewed, the failure of the Johnson-Carnap continuum to confirm universal generalizations is not a deep fact, but rather an immediate consequence of the sufficientness postulate; and that if this postulate is modified in the minimal manner necessary to eliminate such an entailment, then the result is a new continuum that differs from the old one in precisely one respect: it enjoys the desideratum of confirming universal generalizations. (shrink)

In this paper I present a game-theoretical approach to the problem of induction. I investigate the comparative success of prediction methods by mathematical analysis and computer programming. Hume's problem lies in the fact that although the success of object-inductive prediction strategies is quite robust, they cannot be universally optimal. My proposal towards a solution of the problem of induction is meta-induction. I show that there exist meta-inductive prediction strategies whose success is universally optimal, modulo short-run losses which are upper-bounded. I (...) then turn to the implications of my approach for the evolution of cognition. In the final section I suggest a revision of the paradigm of bounded rationality by introducing the distinction between local, general and universal prediction strategies. (shrink)

This paper makes a case for a refined look at the so- called ‘fallacy of hasty generalization’ by arguing that this expression is an umbrella term for two fallacies already distinguished by Aristotle. One is the fallacy of generalizing in an inappropriate way from a particular instance to a universal generalization containing a ‘for all x’ quantification. The other is the secundum quid (‘in a certain respect’) fallacy of moving to a conclusion that is supposed to be a (...) universal generalization containing a ‘for all x‘ quantification while overlooking qualifications that have to be added to the more limited kind of generalization expressed in the premise. It is shown that these two fallacies relate to two different kinds of generalization. (shrink)

Shepard has argued that a universal law should govern generalization across different domains of perception and cognition, as well as across organisms from different species or even different planets. Starting with some basic assumptions about natural kinds, he derived an exponential decay function as the form of the universal generalization gradient, which accords strikingly well with a wide range of empirical data. However, his original formulation applied only to the ideal case of generalization from a (...) single encountered stimulus to a single novel stimulus, and for stimuli that can be represented as points in a continuous metric psychological space. Here we recast Shepard's theory in a more general Bayesian framework and show how this naturally extends his approach to the more realistic situation of generalizing from multiple consequential stimuli with arbitrary representational structure. Our framework also subsumes a version of Tversky's set-theoretic model of similarity, which is conventionally thought of as the primary alternative to Shepard's continuous metric space model of similarity and generalization. This unification allows us not only to draw deep parallels between the set-theoretic and spatial approaches, but also to significantly advance the explanatory power of set-theoretic models. Key Words: additive clustering; Bayesian inference; categorization; concept learning; contrast model; features; generalization; psychological space; similarity. (shrink)

The number of studies related to natural and artificial mechanisms of learning rapidly increases. However, there is no general theory of learning that could provide a unifying basis for exploring different directions in this growing field. For a long time the development of such a theory has been hindered by nativists' belief that the development of a biological organism during ontogeny should be viewed as parameterization of an innate, encoded in the genome structure by an innate algorithm, and nothing essentially (...) new is created during this process. Noam Chomsky has claimed, therefore, that the creation of a non-trivial general mathematical theory of learning is not feasible, since any algorithm cannot produce a more complex algorithm. This study refutes the above argumentation by developing a counter-example based on the mathematical theory of algorithms and computable functions. It introduces a novel concept of a Universal Learning System (ULS) capable of learning to control in an optimal way any given constructive system from a certain class. The necessary conditions for the existence of a ULS and its main functional properties are investigated. The impossibility of building an algorithmic ULS for a sufficiently complex class of controlled objects is shown, and a proof of the existence of a non-algorithmic ULS based on the axioms of classical mathematics is presented. It is argued that a non-algorithmic ULS is a legitimate object of not only mathematics, but also the world of nature. These results indicate that an algorithmic description of the organization and adaptive development of biological systems in general is not sufficient. At the same time, it is possible to create a rigorous non-algorithmic general theory of learning as a theory of ULS. The utilization of this framework for integrating learning-related studies is discussed. (shrink)

In just a few years, children achieve a stable state of linguistic competence, making them effectively adults with respect to: understanding novel sentences, discerning relations of paraphrase and entailment, acceptability judgments, etc. One familiar account of the language acquisition process treats it as an induction problem of the sort that arises in any domain where the knowledge achieved is logically underdetermined by experience. This view highlights the cues that are available in the input to children, as well as childrens skills (...) in extracting relevant information and forming generalizations on the basis of the data they receive. Nativists, on the other hand, contend that language-learners project beyond their experience in ways that the input does not even suggest. Instead of viewing language acqusition as a special case of theory induction, nativists posit a Universal Grammar, with innately specified linguistic principles of grammar formation. The nature versus nurture debate continues, as various poverty of stimulus arguments are challenged or supported by developments in linguistic theory and by findings from psycholinguistic investigations of child language. In light of some recent challenges to nativism, we rehearse old poverty-of stimulus arguments, and supplement them by drawing on more recent work in linguistic theory and studies of child language. (shrink)

The formula of universal law (FUL) is a natural starting point for philosophers interested in a Kantian perspective on the morality of abortion. I argue, however, that FUL does not yield much in the way of promising or substantive conclusions regarding the morality of abortion. I first reveal how two philosophers' (Hare's and Gensler's) attempts to use Kantian considerations of universality and prescriptivity fail to provide analyses of abortion that are either compelling or true to Kant=s understanding of FUL. (...) I then turn to some recent interpretations of Kant=s FUL contradiction in conception (CC) and contradiction in will (CW) tests. I argue that none of the interpretations of the CC testBincluding the practical interpretation favored by KorsgaardBdoes much to reveal moral problems with maxims of abortion. The CW test (as developed by Herman) is more helpful. Nevertheless, I argue that neither by considering abortion maxims as a subset of maxims of convenience killing, nor by considering such maxims as maxims of refusing to aid, can the CW test generate a general prohibition of abortion. At best, the CW test illuminates the abortion issue because by forcing us to think about how killing a fetus differs from killing other human beings, what attitudes we may reasonably have toward a fetus, and whether Kant's moral theory must be amended to do justice to the problem of abortion. But to pursue these questions, we must look beyond FUL; Kant’s formula of humanity and doctrine of virtue may well have more to offer. (shrink)

The rule of universal instantiation appears to be subject to counterexamples, although the rule of existential generalization is not subject to the same doubts. This paper is a survey of ways of responding to this problem, both conservative and revisionist. The conclusion drawn is that logical validity should be defined in terms of assertibility in a context rather than in terms of truth on an interpretation. Contexts are here defined, not in terms of the attitudes of the interlocutors, (...) but in terms of the goals of conversation, and assertibility is explained in terms of cooperation. (shrink)

Tarski’s conceptual analysis of the notion of logical consequence is one of the pinnacles of the process of defining the metamathematical foundations of mathematics in the tradition of his predecessors Euclid, Frege, Russell and Hilbert, and his contemporaries Carnap, Gödel, Gentzen and Turing. However, he also notes that in defining the concept of consequence “efforts were made to adhere to the common usage of the language of every day life.” This paper addresses the issue of what relationship Tarski’s analysis, and (...) Béziau’s further generalization of it in universal logic , have to reasoning in the everyday lives of ordinary people from the cognitive processes of children through to those of specialists in the empirical and deductive sciences. It surveys a selection of relevant research in a range of disciplines providing theoretical and empirical studies of human reasoning, discusses the value of adopting a universal logic perspective, answers the questions posed in the call for this special issue, and suggests some specific research challenges. (shrink)

In this article, we develop a hierarchical Bayesian model of learning in a general type of artificial language-learning experiment in which learners are exposed to a mixture of grammars representing the variation present in real learners’ input, particularly at times of language change. The modeling goal is to formalize and quantify hypothesized learning biases. The test case is an experiment (Culbertson, Smolensky, & Legendre, 2012) targeting the learning of word-order patterns in the nominal domain. The model identifies internal biases of (...) the experimental participants, providing evidence that learners impose (possibly arbitrary) properties on the grammars they learn, potentially resulting in the cross-linguistic regularities known as typological universals. Learners exposed to mixtures of artificial grammars tended to shift those mixtures in certain ways rather than others; the model reveals how learners’ inferences are systematically affected by specific prior biases. These biases are in line with a typological generalization—Greenberg's Universal 18—which bans a particular word-order pattern relating nouns, adjectives, and numerals. (shrink)

An image of a face depends not only on its shape, but also on the viewpoint, illumination conditions, and facial expression. A face recognition system must overcome the changes in face appearance induced by these factors. This paper investigate two related questions: the capacity of the human visual system to generalize the recognition of faces to novel images, and the level at which this generalization occurs. We approach this problems by comparing the identi cation and generalization capacity for (...) upright and inverted faces. For upright faces, we found remarkably good generalization to novel conditions. For inverted faces, the generalization to novel views was signi cantly worse for both new illumination and viewpoint, although the performance on the training images was similar to the upright condition. Our results indicate that at least some of the processes that support generalization across viewpoint and illumination are neither universal (because subjects did not generalize as easily for inverted faces as for upright ones), nor strictly objectspeci c (because in upright faces nearly perfect generalization was possible from a single view, by itself insu cient for building a complete object-speci c model). We propose that generalization in face recognition occurs at an intermediate level that is applicable to a class of objects, and that at this level upright and inverted faces initially constitute distinct object classes. (shrink)

The former says to choose one’s basic guiding principles (or “maxims”) on the basis of their fitness to serve as universal laws, the latter to always treat the humanity in each person as an end, and never as a means only. Commentators and critics have been puzzled by Kant’s claims that these are two alternative statements of the same basic law, and have raised various objections to Kant’s suggestion that these are the most basic formulas of a fully justified (...) human morality. This dissertation offers new readings of these two formulas, shows how, on these readings, the formulas do indeed turn out being alternative statements of the same basic moral law, and in the process responds to many of the standard objections raised against Kant’s theory. Its first chapter briefly explores the ways in which Kant draws on his philosophical predecessors such as Plato (and especially Plato’s Republic) and Jean-Jacque Rousseau. The second chapter offers a new reading of the relation between the universal law and humanity formulas by relating both of these to a third formula of Kant’s, the “Law of Nature” formula, and also to Kant’s ideas about laws in general and human nature in particular. The third chapter considers and rejects some influential recent attempts to understand Kant’s argument for the humanity formula, and offers an alternative reconstruction instead. Chapter four considers what it is to flourish as a human being in line with Kant’s basic formulas of morality, and argues that the standard readings of the humanity formula cannot properly account for its relation to Kant’s views about the highest human good. (shrink)

According Leibniz's thesis of universal expression, each substance expresses the whole world, i.e. all other substances, or, as Leibniz frequently states, from any given complete individual notion (which includes, in internal terms, everything truly attributable to a substance) one can "deduce" or "infer" all truths about the whole world. On the other hand, in Leibniz's view each (created) substance is internally individuated, self-sufficient and independent of other (created) substances. What may be called Leibniz's expression problem is, how to reconcile (...) these views with each other, that is, how a substance that expresses the whole world, even in the sense that the whole world can be "inferred" from its complete individual notion, can be self-sufficient and internally individuated. The purpose of this paper is to give an exact account of this tricky problem of universal expression, an account that retains substances' self-sufficiency under the constraint that all truths about the whole world are to be obtained from complete individual notions. It will also be shown how the explication of universal expression to be given accounts for Leibniz's thesis of universal change, i.e. the view that any change in any substance is reflected as a real, internal change in each and every other substance. (shrink)

The mnemonic arts and the idea of a universal language that would capture the essence of all things were originally associated with cryptology, mysticism, and other occult practices. And it is commonly held that these enigmatic efforts were abandoned with the development of formal logic in the seventeenth century and the beginning of the modern era. In his distinguished book, Logic and the Art of Memory Italian philosopher and historian Paolo Rossi argues that this view is belied by an (...) examination of the history of the idea of a universal language. Based on comprehensive analyses of original texts, Rossi traces the development of this idea from late medieval thinkers such as Ramon Lull through Bruno, Bacon, Descartes, and finally Leibniz in the seventeenth century. The search for a symbolic mode of communication that would be intelligible to everyone was not a mere vestige of magical thinking and occult sciences, but a fundamental component of Renaissance and Enlightenment thought. Seen from this perspective, modern science and combinatorial logic represent not a break from the past but rather its full maturity. Available for the first time in English, this book (originally titled Clavis Universalis ) remains one of the most important contributions to the history of ideas ever written. In addition to his eagerly anticipated translation, Steven Clucas offers a substantial introduction that places this book in the context of other recent works on this fascinating subject. A rich history and valuable sourcebook, Logic and the Art of Memory documents an essential chapter in the development of human reason. (shrink)

This paper tries to show that Kims strategy of preventing the problem of generalization of mental causation is not successful and that his original supervenience argument can be applied to cases of nonmental macrolevel causation, with the effect that nonmental macroproperties which only supervene on, but are not identical with, configurations of microproperties turn out to be epiphenomenal after all.

Kant's formula of universal law appears to fail in some cases, producing false negatives and false positives. Adding further qualifications to one's maxims can fix the first problem, but not all of the latter. In particular, there are maxims which generate no contradiction in will when practiced universally, but which are irrational to will that some agent follow in contexts where it is known that other agents are not following it. This reveals that Kant's conception of "universalization" is too (...) narrow: we need to ask, not if we can will the universalization of a maxim's practice, but whether we can universally will, of each agent in every possible circumstance, that this agent follow the maxim. (shrink)

In his Groundwork of the Metaphysics of Morals, Kant’s desiderata for a supreme principle of practical reasoning and morality require that the subjective conditions under which some action is thought of as justified via some maxim be sufficient for judging the same action as justified by any agent in those conditions. This describes the kind of universalization conditions now known as moral supervenience. But when he specifies his “formula of universal law” (FUL) Kant replaces this condition with a quite (...) different kind of universality: the judgment that some agent could rationally (i.e., without willing the frustration of his own valued ends) will his adoption of some maxim under the condition that this would cause all agents in his world to adopt it as well. Our wills typically lack this efficacy, so requiring that our wills conform to what would be rational for a hypothetical agent in this situation to will is a heteronomous requirement. Several intuitively wrong maxims pass Kant’s test but fail the test of supervenience, because they generate no contradiction in a world of universal compliance but do so in non-ideal worlds, demonstrating the inadequacy of the FUL and the logical superiority of moral supervenience. (shrink)

There are plausible objections to substitutional construals of generalization. But these objections do not apply to a substitutional construal of generalization proposed by Peter Geach several years ago. This paper examines Geach’s conception.

Cognitive science depends on abstractions made from the complex reality of human behaviour. Cognitive scientists typically wish the abstractions in their theories to be universals, but seldom attend to the ontology of universals. Two sorts of universal, resulting from Galilean abstraction and materialist abstraction respectively, are available in the philosophical literature: the abstract universal—the one-over-many universal—is the universal conventionally employed by cognitive scientists; in contrast, a concrete universal is a material entity that can appear within (...) the set of entities it describes, of which it represents the essential, paradigmatic case. The potential role of concrete universals in cognitive science is discussed. (shrink)

This article discusses neoplatonic and aristotelian presence in Ibn Gabirol metaphysics. With this aim, Plotinus and Gabirol’s are confronted in some of the main points, where the resemblance had already been pointed: the First Principle, the intermediary between God and the world and the universal matter. Once the differences between the approaches of these authors regarding such questions have been identified, some contributions which may come from the works of Aristotle will be briefly presented, in order to clarify the (...) origin of Gabirol’s ideas. We believe that Gabirol´s metaphysics must be understood in its historical-philosophical context, characterized by a view of Plato and Aristotle´s doctrines not as conflicting but complementary, as well as in its effort of harmonize them with the abrahamic creationism which, in this case, obeys the Judaic primacy of radical separation between God and the creation. KEY WORDS – Ibn Gabirol. Universal Hylemorfism. Aristotle. Substance. Intelligible Matter. (shrink)

This article reflects upon what can go wrong when feminist philosophers begin with a universal identity, rather than with the needs of particular individuals, and argues that we can group individuals together without such a universal identity if we develop a practice of social generalization that places shared needs, rather than identities, at the center of attention.

Universals are a class of mind independent entities, usually contrasted with individuals, postulated to ground and explain relations of qualitative identity and resemblance among individuals. Individuals are said to be similar in virtue of sharing universals. An apple and a ruby are both red, and their common redness results from sharing a universal. If they are both red at the same time, the universal, red, must be in two places at once. This makes universals quite different from individuals, (...) and controversial. Whether universals are in fact required to explain relations of qualitative identity and resemblance among individuals has engaged metaphysicians for two thousand years. Disputants fall into one of three broad camps. Realists endorse universals. Conceptualists and Nominalists, on the other hand, refuse to accept universals and deny that they are needed. Conceptualists explain similarity among individuals by appealing to general concepts or ideas, things that exist only in minds. Nominalists, in contrast, are content to leave relations of qualitative resemblance brute and ungrounded. Numerous versions of Nominalism have been proposed, some with a great deal of sophistication. Contemporary philosophy has seen the rise of a new form of Nominalism, one that makes use of a special class of individuals, known as tropes. Familiar individuals have many properties, but tropes are single property instances. Whether Trope Nominalism improves on earlier Nominalist theories is the subject of much recent debate. In general, questions surrounding universals touch upon some of the oldest, deepest, and most abstract of philosophical issues. (shrink)

There cannot be a reductive theory of modality constructed from the concepts of sparse particular and sparse universal. These concepts are suffused with modal notions. I seek to establish this conclusion by tracing out the pattern of modal entanglements in which these concepts are involved. In order to appreciate the structure of these entanglements a distinction must be drawn between the lower-order necessary connections in which particulars and universals apparently figure, and higher-order necesary connections. The former type of (...) connection relates specific entities. By contrast, the latter type of connection is unspecific: it relates entities to some others. I argue that whilst there may be techniques that succeed in providing reductive truth conditions for sentences that say particulars and universals figure in lower-order necessary connections, such techniques cannot succeed in providing reductive truth conditions for sentences that say these entities figure in higher-order necessary connections. I conclude that this situation leaves reductionists with a dilemma. If they wish to affirm that there are particulars and universals then the project of reducing modality by positing these entities must be abandoned. Alternatively, they may continue to deploy their usual reductive techniques but then they must abandon the doctrine that there is more than one fundamental category of entity. (shrink)

God as the universal reflection of Human essence has discovered Materialistic monism with understanding of substance as the reality of all existed, including universal: qualities – continuity, interruptness, corpuscleness, reflection; characteristics – transition from quantity to quality and vice versa, unity and struggle of opposites, denial of denial, unity of substance; states – rest, development, form, motion; processes – physical, chemical, biological, mental, where Man and God are united. The Materialistic consists of the unity of methodological, theoretical, sociological, (...) statistical and practical levels of cognition, mastered by the Man through five known historical ways of the vital activity. Each successive historical period of life is characterized by more perfect forms of the Man bodiness, his common character and relationships, subject interaction, reflection and consciousness, and hence by it considerable broadening of the boarders of cognition and its set of instruments. Philosophical significance of the levels of cognition consists in their possibility to consider a phenomenon as universal, general, particular,separate and single; stratificated methods of cognition and technologies of penetration into different aspects of the phenomenon essence. The methodological cognition with its own distinctive methods contains all other methods, thus unity pretends to be the Modern Philosophy, including monistic, systemic, dialectial, metaphisical and empirical methods of cognition, where there is no contradiction of Science and Religion. (shrink)

This article analyses the general economy of Georges Bataille (1897–1962) in relation to political economy. In the first section I present a critical perspective on economy that is necessary in order to appreciate Bataille’s conception of general economy, which is presented in the second section. The general economy is first considered in a macro-perspective, which comprises the whole of the universe, second in a micro-perspective, where the subjective aspect of economy is maintained as non-objectified desire and inner experience. In the (...) third section I turn to the general economy as it was explicitly intended, namely as a political economy. First I argue that the suggestions that Bataille himself presents are apolitical in an ordinary sense of politics, and that this can be shown to be due to some conceptual slides between nature and society and between history and ontology. I then sketch some postmodern attempts to legitimize respectively capitalism and communism, which refer to the general economy, but argue finally that Bataille can escape both, since he maintains the important distinction between need and desire. Although Bataille’s conception of economy thus reminds us of aspects often overlooked by economy in an ordinary sense, it also contains some serious aporias, which means that it cannot constitute the theoretical basis of a new general political economy, as Bataille had hoped. (shrink)

Academic dishonesty is an insidious problem that besets most tertiary institutions, where considerable resources are expended to prevent and manage students' dishonest actions within academia. Using a mixed retrospective and prospective design this research investigated Gottfredson and Hirschi's self-control theory as a possible explanation for academic dishonesty in 264 university students. The relationship between academic dishonesty and general criminality was also examined. A significant but small to moderate relationship between academic dishonesty and general criminality was present, including correlations with general (...) dishonesty, violent crime and drug offending subcategories. These findings suggested that a general criminological theory may be of use in explaining academic dishonesty, but the overall ability of self-control variables to explain academic dishonesty was not strong. Controlled logistic regressions indicated that a significant positive association with academic dishonesty was only present for one of 6 self-control subscales (self-centeredness), and even this association was only present in the prospective study component. A strong relationship between past and future academic dishonesty was present. Implications of the study for institutions are discussed. (shrink)

Vera & Simon (1993a) have argued that the theories and methods known as situated action or situativity theory are compatible with the assumptions and methodology of the physical symbol systems hypothesis and do not require a new approach to the study of cognition. When the central criterion of computational universality is added to the loose definition of a symbol system which Vera and Simon provide, it becomes apparent that there are important incompatibilities between the two approaches such that situativity theory (...) cannot be subsumed within the symbol systems approach. Symbol systems and situativity theoretic approaches are, and should be seen to be, competing approaches to the study of cognition. (shrink)

Compare two conceptions of validity: under an example of a modal conception, an argument is valid just in case it is impossible for the premises to be true and the conclusion false; under an example of a topic-neutral conception, an argument is valid just in case there are no arguments of the same logical form with true premises and a false conclusion. This taxonomy of positions suggests a project in the philosophy of logic: the reductive analysis of the modal conception (...) of logical consequence to the topic-neutral conception. Such a project would dispel the alleged obscurity of the notion of necessity employed in the modal conception in favour of the clarity of an account of logical consequence given in terms of tractable notions of logical form, universal generalization and truth simpliciter. In a series of publications, John Etchemendy has characterized the model-theoretic definition of logical consequence as truth preservation in all models as intended to provide just such an analysis. In this paper, I will argue that Aristotle intends to provide an account of a modal conception of logical consequence in topic-neutral terms and so is engaged in a project comparable to the one described above. That Aristotle would be engaged in this sort of project is controversial. Under the standard reading of the Prior Analytics, Aristotle does not and cannot provide an account of logical consequence. Rather, he must take the validity of the first figure syllogisms (such as the syllogism known by its medieval mnemonic ‘Barbara’: A belongs to all B; B belongs to all C; so A belongs to all C) as obvious and not needing justification; he then establishes the validity of the other syllogisms by showing that they stand in a suitable relation to the first figure syllogisms. I will argue that Aristotle does attempt to provide an account of logical consequence—namely, by appeal to certain mereological theorems. For example, he defends the status of Barbara as a syllogism by appeal to the transitivity of mereological containment. There are, as I will discuss, reasons to doubt the success of this account. But the attempt is not implausible given certain theses Aristotle holds in semantics, mereology and the theory of relations. (shrink)

When faced with a rule that they take to be true, and a recalcitrant example, people are apt to say: “The exception proves the rule”. When pressed on what they mean by this though, things are often less than clear. A common response is to dredge up some once-heard etymology: ‘proves’ here, it is often said, means ‘tests’. But this response—its frequent appearance even in some reference works notwithstanding1—makes no sense of the way in which the expression is used. To (...) insist that the exception proves the rule is to insist that whilst this is an exception, the rule still stands; and furthermore, that, rather than undermining the rule, the exception serves to confirm it. This second claim may seem paradoxical, but it should not, once it is realized that what does the confirming is not the exception itself, but rather the fact that we judge it to be an exception; and that what is confirmed is not the rule itself, but rather the fact that we judge it to be a rule. To treat something as an exception is not to treat it as a counterexample that refutes the existence of the rule. Rather it is to treat it as special, and so to concede the rule from which it is excepted. The point comes clearly in the original (probably 17th Century) Latin form: Exceptio probat (figit2) regulam in casibus non exceptis. Exception (i.e. the act of excepting) proves (establishes) the rule in the cases not excepted. Clearly this form of reasoning cannot apply when the rule that we are considering has the form of a simple universal generalization. Here there can be no exceptions, only counterexamples. So what we need, and what will be developed.. (shrink)

This paper opposes universal mereological composition (UMC). Sider defends it: unless UMC were true, he says, it could be indeterminate how many objects there are in the world. I argue that there is no general connection between how widely composition occurs and how many objects there are in the world. Sider fails to support UMC. I further argue that we should disbelieve in UMC objects. Existing objections against them say that they are radically unlike Aristotelian substances. True, but there (...) is a stronger objection. This is that they are characterized by no properties, and so fail to be like anything – even themselves. (shrink)

Debates concerning the analysis of the concept of law of nature must address the following problem. On the one hand, our grasp of laws of nature is via our knowledge of their instances. And this seems not only an epistemological truth but also a semantic one. The concept of a law of nature must be explicated in terms of the things that instantiate the law. It is not simply that a piece of metal that conducts electricity is evidence for a (...) law that metals conduct electricity. It is also the case that to explicate what it is for there to be such a law requires, and requires little more than, alluding to the fact that the piece of metal conducting electricity is an instance of that law. This is the driving intuition behind regularity theories of laws — to understand the concept ‘law,’ as in ‘it is a law that metals conduct electricity’ one need only understand little more than what it is for something to be a metal and to conduct electricity and the concept of universal generalization. On this view a law just is a regularity (or some kind of regularity) among its instances. (shrink)

Truth’s universal knowability entails its discovery. This threatens antirealism, which is thought to require it. Fortunately, antirealism is not committed to it. Avoiding it requires adoption (and extension) of Dag Prawitz’s position in his long-term disagreement with Michael Dummett on the notion of provability involved in intuitionism’s identification of it with truth. Antirealism (intuitionism generalized) must accommodate a notion of lost-opportunity truth (a kind of recognition-transcendent truth), and even truth consisting in the presence of unperformable verifications. Dummett’s position cannot (...) abide this, while Prawitz’s can. Antirealism’s epistemic notion of truth derives from general features of its meaning theory, not from a universal knowability principle. (shrink)

In just a few years, children achieve a stable state of linguistic competence, making them effectively adults with respect to: understanding novel sentences, discerning relations of paraphrase and entailment, acceptability judgments, etc. One familiar account of the language acquisition process treats it as an induction problem of the sort that arises in any domain where the knowledge achieved is logically underdetermined by experience. This view highlights the 'cues' that are avaiable in the input to children, as well as children's skills (...) in extracting relevant information and forming generalizations on the basis of the data they receive. Nativists, on the other hand, contend that language-learners project beyond their experience in ways that the input does not even suggest. Instead of viewing language acqusition as a special case of theory induction, nativists posit a Universal Grammar, with innately specified linguistic principles of grammar formation. The "nurture versus nature" debate continues, as various "poverty of stimulus" arguments are challenged or supported by developments in linguistic theory and by findings from psycholinguistic investigations of child language. In light of some recent challenges to nativism, we rehearse old poverty-ofstimulus arguments, and supplement them by drawing on more recent work in linguistic theory and studies of child language. (shrink)

Abstract: On the Aristotelian picture of virtue, moral virtue has at its core intellectual virtue. An interesting challenge for this orthodoxy is provided by the case of universal love and its associated virtues, such as the dispositions to exhibit grace, or to forgive, where appropriate. It is difficult to find a property in the object of such love, in virtue of which grace, for example, ought to be bestowed. Perhaps, then, love in general, including universal (...) love, is not necessarily exhibited for reasons . This is the view that, with the help of Heidegger's notion of a fundamental emotional attunement ( Grundstimmung ), I defend. The problem is to show how universal love, and its manifestation in the virtues of universal love, can then be seen as rational. Showing this is the task of the essay. (shrink)

I consider the proper interpretation of the process of ecthesis which Aristotle uses several times in the Prior analytics for completing a syllogistic mood, i.e., showing how to produce a deduction of a conclusion of a certain form from premisses of certain forms. I consider two interpretations of the process which have been advocated by recent scholars and show that one seems better suited to most passages while the other best fits a single remaining passage. I also argue that ecthesis (...) for Aristotle really means ?setting out? the case to be proved using letters. Aristotle?s remarks about the use of letters in mathematical proofs suggest that he had some understanding of rules equivalent to universal generalization and existential instantiation; the ?proofs through ecthesis? are so called because they rest on the latter rule, with which use of letters is involved in a special way. (shrink)

A fundamental problem in artificial intelligence is that nobody really knows what intelligence is. The problem is especially acute when we need to consider artificial systems which are significantly different to humans. In this paper we approach this problem in the following way: we take a number of well known informal definitions of human intelligence that have been given by experts, and extract their essential features. These are then mathematically formalised to produce a general measure of intelligence for arbitrary machines. (...) We believe that this equation formally captures the concept of machine intelligence in the broadest reasonable sense. We then show how this formal definition is related to the theory of universal optimal learning agents. Finally, we survey the many other tests and definitions of intelligence that have been proposed for machines. (shrink)

Menzel and Light have argued that the conservative principle of self-sufficiency gives good reasons to strive for universal health coverage. This paper gives further reasons for connecting universal health care with self-sufficiency and continues Menzel’s and Light’s project in four more ways. First, a more extended analysis of a conservative conception of government shows how a general opposition to welfare programs is consistent with guaranteeing universal basic health care. Second, common fears about the abuse of health care (...) when universal access is guaranteed are unfounded. Third, worldwide experience shows that the most effective way to bring high quality health care to a population is through a government mandate, not the free market. Fourth, while socioeconomic status is an important determinant of health independent of the accessibility of health care itself, this does not undermine the case for universal health care based on a minimal, conservative conception of equality of opportunity. (shrink)

Rousseau's general will is mostly interpreted as promoting social unity at the expense of plurality. Conversely, this article argues that the general will depends on, and preserves, plurality for its formation and legitimacy. The general and the particular are not fixed opposites, for Rousseau, but are interdependent and contextually defined. The Rousseauian universal anticipates Laclau's notion of universality. The absence of any natural foundations for society deprives the universal of any pre-given identity. Likewise, the Laclauian universal names (...) the lack of ultimate ground for society. To prevent either sectarianism or despotism, the universal has to be constructed politically. Rousseau's contingent general will supplements the lack of universality, as diverse groups and individuals construct common values and political objectives that unify them across divisions without suppressing their difference. Due to its originary lack, the general will remains for ever incomplete. That incompleteness conditions the questioning, ambiguity and openness to change characterizing democracy. Key Words: democracy • equality • freedom • general will • Ernesto Laclau • particular • plurality • Jean-Jacques Rousseau • sovereignty • universal. (shrink)

Logic and Knowledge -/- Editor: Carlo Cellucci, Emily Grosholz and Emiliano Ippoliti Date Of Publication: Aug 2011 Isbn13: 978-1-4438-3008-9 Isbn: 1-4438-3008-9 -/- The problematic relation between logic and knowledge has given rise to some of the most important works in the history of philosophy, from Books VI–VII of Plato’s Republic and Aristotle’s Prior and Posterior Analytics, to Kant’s Critique of Pure Reason and Mill’s A System of Logic, Ratiocinative and Inductive. It provides the title of an important collection of papers (...) by Bertrand Russell (Logic and Knowledge. Essays, 1901–1950). However, it has remained an underdeveloped theme in the last century, because logic has been treated as separate from knowledge. -/- This book does not hope to make up for a century-long absence of discussion. Rather, its ambition is to call attention to the theme and stimulating renewed reflection upon it. The book collects essays of leading figures in the field and it addresses the theme as a topic of current debate, or as a historical case study, or when appropriate as both. Each essay is followed by the comments of a younger discussant, in an attempt to transform what might otherwise appear as a monologue into an ongoing dialogue; each section begins with an historical essay and ends with an essay by one of the editors. -/- Carlo Cellucci is Emeritus Professor of Philosophy at the University of Rome ‘La Sapienza,’ Italy. He is currently completing a book entitled, Remaking Logic: What is Logic Really? -/- Emily Grosholz is Professor of Philosophy at the Pennsylvania State University, USA. She is the author of Representation and Productive Ambiguity in Mathematics and the Sciences (Oxford University Press, 2007). -/- Emiliano Ippoliti is a Research Fellow at the University of Rome ‘La Sapienza,’ Italy. His main interests are heuristics, the logic of discovery, and problem-solving. He is currently working on a book, Ampliating Knowledge: Data, Hypotheses and Novelty. -/- TABLE OF CONTENTS -/- Foreword .................................................................................................... ix Acknowledgements ................................................................................. xxv -/- Section I: Logic and Knowledge -/- Chapter One................................................................................................. 3 The Cognitive Importance of Sight and Hearing in Seventeenthand Eighteenth-Century Logic (Mirella Capozzi) Discussion .............................................................................................. 26 (Chiara Fabbrizi) Chapter Two .............................................................................................. 33 Nominalistic Content (Jody Azzouni) Discussion ............................................................................................... 52 (Silvia De Bianchi) Chapter Three ............................................................................................ 57 A Garden of Grounding Trees (Göran Sundholm) Discussion.......................................................................................... .. 75 (Luca Incurvati) Chapter Four .............................................................................................. 81 Logics and Metalogics (Timothy Williamson) Discussion.......................................................................................... 101 (Cesare Cozzo) Chapter Five ............................................................................................ 109 Is Knowledge the Most General Factive Stative Attitude? (Cesare Cozzo) Discussion.......................................................................................... 117 (Timothy Williamson) Chapter Six .............................................................................................. 123 Classifying and Justifying Inference Rules (Carlo Cellucci) Discussion.......................................................................................... 143 (Norma B. Goethe) -/- Section II: Logic and Science -/- Chapter Seven.......................................................................................... 151 The Universal Generalization Problem and the Epistemic Status of Ancient Medicine: Aristotle and Galen (Riccardo Chiaradonna) Discussion.......................................................................................... 168 (Diana Quarantotto) Chapter Eight........................................................................................... 175 The Empiricist View of Logic (Donald Gillies) Discussion.......................................................................................... 191 (Paolo Pecere) Chapter Nine............................................................................................ 197 Artificial Intelligence and Evolutionary Theory: Herbert Simon’s Unifying Framework (Roberto Cordeschi) Discussion.......................................................................................... 216 (Francesca Ervas) Chapter Ten ............................................................................................. 221 Evolutionary Psychology and Morality: The Renaissance of Emotivism? (Mario De Caro) Discussion.......................................................................................... 232 (Annalisa Paese) Chapter Eleven ........................................................................................ 237 Between Data and Hypotheses (Emiliano Ippoliti) Discussion.......................................................................................... 262 (Fabio Sterpetti) -/- Section III: Logic and Mathematics -/- Chapter Twelve ....................................................................................... 273 Dedekind Against Intuition: Rigor, Scope and the Motives of his Logicism (Michael Detlefsen) Discussion.......................................................................................... 290 (Marianna Antonutti) Chapter Thirteen...................................................................................... 297 Mathematical Intuition: Poincaré, Polya, Dewey (Reuben Hersh) Discussion.......................................................................................... 324 (Claudio Bernardi) Chapter Fourteen ..................................................................................... 329 On the Finite: Kant and the Paradoxes of Knowledge (Carl Posy) Discussion.......................................................................................... 358 (Silvia Di Paolo) Chapter Fifteen ........................................................................................ 363 Assimilation: Not Only Indiscernibles are Identified (Robert Thomas) Discussion.......................................................................................... 380 (Diego De Simone) Chapter Sixteen ....................................................................................... 385 Proofs and Perfect Syllogisms (Dag Prawitz) Discussion.......................................................................................... 403 (Julien Murzi) Chapter Seventeen ................................................................................... 411 Logic, Mathematics, Heterogeneity (Emily Grosholz) Discussion.......................................................................................... 427 (Valeria Giardino) -/- Contributors........................................................................................ ..... 433 Index............................................................................................... ......... 437 -/- Price Uk Gbp: 49.99 Price Us Usd: 74.99 -/- Website: http://www.c-s-p.org/Flyers/Logic-and-Knowledge1-4438-3008-9.htm. (shrink)

In response to recent scholarship on the need for universal professional values, a call that has intensified in the post-9/11 world, this article reports how journalists in Asia and the Middle East conceptualize universal professional values and the possible impact of a universal ethics code. In general, the journalists interviewed for this study were suspicious of a Western-imposed set of values or a code. However, they agreed on a core set of values, ones that de-emphasized truth telling (...) in relation to respect and the need to maintain a community. They also emphasized that different political systems make the implementation of a universal code problematic. However, there was great agreement on the need for such discussion within the profession and on the commonalities such discussion reveals. (shrink)

This introduction to rigorous mathematical logic is simple enough in both presentation and context for students of a wide range of ages and abilities. Starting with symbolizing sentences and sentential connectives, it proceeds to the rules of logical inference and sentential derivation, examines the concepts of truth and validity, and presents a series of truth tables. Subsequent topics include terms, predicates, and universal quantifiers; universal specification and laws of identity; axioms for addition; and universal generalization. Throughout (...) the book, the authors emphasize the pervasive and important problem of translating English sentences into logical or mathematical symbolism. 1964 edition. Index. (shrink)

The notion of measurement plays a central role in human cognition. We measure people’s height, the weight of physical objects, the length of stretches of time, or the size of various collections of individuals. Measurements of height, weight, and the like are commonly thought of as mappings between objects and dense scales, while measurements of collections of individuals, as implemented for instance in counting, are assumed to involve discrete scales. It is also commonly assumed that natural language makes use of (...) both types of scales and subsequently distinguishes between two types of measurements. This paper argues against the latter assumption. It argues that natural language semantics treats all measurements uniformly as mappings from objects (individuals or collections of individuals) to dense scales, hence the Universal Density of Measurement (UDM). If the arguments are successful, there are a variety of consequences for semantics and pragmatics, and more generally for the place of the linguistic system within an overall architecture of cognition. (shrink)

Competent speakers of natural languages can borrow reference from one another. You can arrange for your utterances of ‘Kirksville’ to refer to the same thing as my utterances of ‘Kirksville’. We can then talk about the same thing when we discuss Kirksville. In cases like this, you borrow “aboutness” from me by borrowing reference. Now suppose I wish to initiate a line of reasoning applicable to any prime number. I might signal my intention by saying, “Let p be any (...) prime.” In this context, I will be using the term ‘p’ to reason about the primes. Although ‘p’ helps me secure the aboutness of my discourse, it may seem wrong to say that ‘p’ refers to anything. Be that as it may, this paper explores what mathematical discourse would be like if mathematicians were able to borrow freely from one another not just the reference of terms that clearly refer, but, more generally, the sort of aboutness present in a line of reasoning leading up to a universal generalization. The paper also gives reasons for believing that aboutness of this sort really is freely transferable. A key implication will be that the concept “set of natural numbers” suffers from no mathematically significant indeterminacy that can be coherently discussed. (shrink)

. How, why and what for we should combine logics is perfectly well explained in a number of works concerning this issue. But the interesting question seems to be the nature and the structure of the general universe of possible combinations of logical systems. Adopting the point of view of universal logic in the paper the categorical constructions are introduced which along with the coproducts underlying the fibring of logics describe the inner structure of the category of logical systems. (...) It is shown that categorically the universe of universal logic turns out to be a topos and a paraconsistent complement topos. (shrink)

Many things evolve: species, languages, sports, tools, biological niches, and theories. But are these real instances of natural selection? Current assessments of the proper scope of Darwinian theory focus on the broad similarity of cultural or non-organic processes to familiar central instances of natural selection. That similarity is analysed in terms of abstract functional descriptions of evolving entities (e.g. replicators, interactors, developmental systems etc). These strategies have produced a proliferation of competing evolutionary analyses. I argue that such reasoning ought not (...) to be employed in arbitrating debates about whether particular phenomena count as instances of natural selection. My argument is based on hierarchical functional descriptions of natural selection. I suggest that natural selection ought not to be thought of as a single process but rather as a series of processes which can be analysed in terms of a hierarchy of functional descriptions (in much the same way as many people think of cognition). This, in turn, casts doubt on the idea that it is possible in principle to settle debates about whether particular phenomena count as instances of natural selection. (shrink)

Sorites arguments employ an induction step such as ‘Small numbers have small successors’. People deduce that there must be an exception to the generalization but are reluctant to conclude that the generalization is false. My hypothesis is that the reluctance is due to the "Generic Overgeneralization Effect". Although the propounder of the sorites paradox intends the induction step to be a universal generalization, hearers assimilate universal generalizations to generic generalizations (for instance, ‘All birds fly’ tends (...) to be remembered as ‘Birds fly’). Most generic generalizations tolerate exceptions – especially when those exceptions are rare, abnormal, or difficult to imagine. Any counterexample to the induction step will have all of these features. (shrink)

The compelling ethical legacy of Clifford Christians's and his profound commitment to moral action is enriched by his engagement with universal proto-norms, values that order all human relationships and institutions and so bypass the divisiveness of appeals to individual rights, cultural practices, or national prerogatives. According to Christians, the primal sacredness of life establishes mutual respect as a basis for ethics and thus constitutes the premier proto-norm; our obligation to sustain one another defines human existence. Entailed by the sacredness (...) of life are other basic ethical values, such as truth, human dignity, and non-violence. This essay considers whether generating all ethics from such universals has downsides and whether the ethics derived from this “primordial generality” produces the maximal ethics required by a complex, modern world. (shrink)

Quantitative laws are more typical of science than are generalizations involving observational predicates, yet much discussion of scientific inference takes the confirmation of a universal generalization by its instances to be typical and paradigmatic. The important difference is that measurement necessarily involves error. It is argued that because of error laws can no more be refuted by observation than they can be verified by observation. Without much background knowledge, tests of a law mainly provide evidence for the distribution (...) of errors of measurement of the quantities involved. With more background knowledge, the data may contribute either to our knowledge of the error distributions, or to the grounds we have for accepting or rejecting the law. With enough background knowledge, data may verify as well as refute laws. (shrink)

EI desarrollo de su teoría de las leyes como relaciones entre universales condujo a Armstrong a establecer un marco metafísico general mas complejo que el que sus anteriores trabajos presentaban. En este artículo se exponen los aspectos principales de la metafísica de particulares y universales exigida por la identificación original de Armstrong de las leyes con estados de cosas universales. Además, se presentan diversas dificultades que pueden hallarse en su propuesta, y algunas soluciones para las mismas. Los temas principales que (...) se discuten son las leyes con excepciones, las leyes con restriccionesespacio-temporales, las leyes probabilísticas y las leyes no ejemplificadas.The development of his theory of laws as relations between universals led Armstrong to set up a more complex general metaphysical framework than that advanced in his previous works. In this paper I present the main traits of the metaphysics of properties and particulars required by Armstrongsoriginal identification of laws with universal states of affairs. Besides, I advance some serious drawbacks that can be found in his proposal and I also offer some solutions to them. The main subjects to be discussed here will be laws with exceptions, laws with spatio-temporal limitations, probabilistic laws and uninstantiated laws. (shrink)

There are several known Lindström-style characterization results for basic modal logic. This paper proves a generic Lindström theorem that covers any normal modal logic corresponding to a class of Kripke frames definable by a set of formulas called strict universal Horn formulas. The result is a generalization of a recent characterization of modal logic with the global modality. A negative result is also proved in an appendix showing that the result cannot be strengthened to cover every first-order elementary (...) class of frames. This is shown by constructing an explicit counterexample. (shrink)

Somewhat surprisingly, evolutionary economists are far from agreeing upon the economic concept of evolution. The debate revolves around the question whether the mechanisms of variation, selection and retention are general principles of evolutionary processes, also valid in economics, or if economic evolution can be described by self-organization. The paper argues that self-organization is a useful concept, but has not yet fulfilled the aspiration to describe economic evolution as an endogenous process. In self-organization models important aspects, like novelty generation or the (...) attribution of its economic quality, are introduced exogenously. In verbal descriptions however, even critics of general evolutionary principles sketch these processes in a way that is perfectly compatible with the universal principles. The paper thus argues that the controversy is mainly based on a misinterpretation of Universal Darwinism and tries to clarify the concept. It concludes that variation, selection and retention are in fact general evolutionary principles; as self-organization maybe is. (shrink)

The paper is concerned with the existence of a universal graph at the successor of a strong limit singular μ of cofinality ℵ0. Starting from the assumption of the existence of a supercompact cardinal, a model is built in which for some such μ there are $\mu^{++}$ graphs on μ+ that taken jointly are universal for the graphs on μ+, while $2^{\mu^+} \gg \mu^{++}$ . The paper also addresses the general problem of obtaining a framework for consistency results (...) at the successor of a singular strong limit starting from the assumption that a supercompact cardinal κ exists. The result on the existence of universal graphs is obtained as a specific application of a more general method. (shrink)

As a member of the UNESCO International Bioethics Committee (IBC) in 2005, I was privileged to serve on the small drafting group of the Universal Declaration on Bioethics and Human Rights, which was expertly chaired by the Australian Justice Michael Kirby. That draft matured over two years and was adopted by acclamation at the General Assembly of UNESCO in 2005. The project was conceived out of dissatisfaction with the generally perceived preoccupation of bioethics with the professional clinical encounter and (...) related matters that tended to ignore larger issues related to human rights. As the only global bioethics body representing 193 member states in the world, the IBC was well placed to attempt the achievement .. (shrink)

This paper seeks to reflect on the challenges of developing a new graduate program in philosophy at Addis Ababa University, Ethiopia. What does it mean to establish a program that both retain a commitment to the universal aspirations of a global discipline while being true to its Ethiopian and African roots. Various prominent philosophers who have addressed such issues on a general level are invoked in order to try and clarify this challenge such as Paulin Hountondji, Michel Foucault, Jurgen (...) Habermas, Henrique Dussel, and Jacques Derrida. In conclusion a general ethos is suggested for how such a philosophical projection into the future might be possible as an indication of the role of philosophy and philosophers in the 21st century. (shrink)

Universal Game Theory - The theory that all of life is a game played by consciousness’es, (Living Beings). The board is a dream like structure of the universe. The progression is through an active process of intent witnessing, and passive meditation. Which releases the tension in the nerves of the body and leads to selfless actions, moral goodness, and eventually the finish, Enlightenment. Just like a wounded creature only cares about it’s own self. Man in tensionthrough self-centered thought only (...) thinks about his own predicaments. Even if he is thinking about others it is only through his own objectionable view from his false-created center. The enemy or deterrents in the game is the conditioning created by society for ambition, greed, control and general brain washing to give theindividual a false sense of identity, the ego. This is achieved by Religion; tradition, culture, education, reasoning, linear thought, and the creation of time. Leaving him/her in constant anxiety about millions of future contingencies. Through witnessing one realizes the whole futility of one dimensional thought which only leads to more and more thought. Simple or constructed elaborately, thought being time, a human construction. The final step of the Universal Game Theory is understanding the whole process of thought and the eventual revelation of Enlightenment, Bliss, ecstasy. Which the person then understands that he/she is the creator of the life/dream with which they are in. That point being a sexual ecstasy similar to what happens in death to men. i.e. Human males release semenwhen they die, having a sexual ecstasy at their last breath. (shrink)

In this paper, through Hegel’s account of the predicative judgment in the Greater Logic, I develop an immanent, presuppositionless deduction ofgrammatical form from the very idea of language in general. In other words, I argue that Hegel’s account of the judgment can be read as a demonstrationof a truly universal (rather than empirically “common” or “general”) grammar through which any and all determinate thought must be expressed. In so doing, I seek to resolve the problem that linguistic contingency poses (...) for systematic philosophy by deducing a necessary linguistic form from a contingent linguistic content. (shrink)

The universality, invariance, and elegance of principles governing the universe may be reflected in principles of the minds that have evolved in that universe – provided that the mental principles are formulated with respect to the abstract spaces appropriate for the representation of biologically significant objects and their properties. (1) Positions and motions of objects conserve their shapes in the geometrically fullest and simplest way when represented as points and connecting geodesic paths in the six-dimensional manifold jointly determined by the (...) Euclidean group of three-dimensional space and the symmetry group of each object. (2) Colors of objects attain constancy when represented as points in a three-dimensional vector space in which each variation in natural illumination is canceled by application of its inverse from the three-dimensional linear group of terrestrial transformations of the invariant solar source. (3) Kinds of objects support optimal generalization and categorization when represented, in an evolutionarily-shaped space of possible objects, as connected regions with associated weights determined by Bayesian revision of maximum-entropy priors. Key Words: apparent motion; Bayesian inference; cognition; color constancy; generalization; mental rotation; perception; psychological laws; psychological space; universal laws. (shrink)

We study a generalization of the Muddy Children puzzle by allowing public announcements with arbitrary generalized quantifiers. We propose a new concise logical modeling of the puzzle based on the number triangle representation of quantifi ers. Our general aim is to discuss the possibility of epistemic modeling that is cut for specifi c informational dynamics. Moreover, we show that the puzzle is solvable for any number of agents if and only if the quanti fier in the announcement is positively (...) active (satis es a form of variety). (shrink)

Shi and Aharonov have shown that the Toffoli gate and the Hadamard gate give rise to an approximately universal set of quantum computational gates. The basic algebraic properties of this system have been studied in Dalla Chiara et al. (Foundations of Physics 39(6):559–572, 2009), where we have introduced the notion of Shi-Aharonov quantum computational structure. In this paper we propose an algebraic abstraction from the Hilbert-space quantum computational structures, by introducing the notion of Toffoli-Hadamard algebra. From an intuitive point (...) of view, such abstract algebras represent a natural quantum generalization of both classical and fuzzy-like structures. (shrink)

In this essay, I attempt to assess Henk de Regt and Dennis Dieks recent pragmatic and contextual account of scientific understanding on the basis of an important historical case-study: understanding in Newton’s theory of universal gravitation and Huygens’ reception of universal gravitation. It will be shown that de Regt and Dieks’ Criterion for the Intelligibility of a Theory (CIT), which stipulates that the appropriate combination of scientists’ skills and intelligibility-enhancing theoretical virtues is a condition for scientific understanding, is (...) too strong. On the basis of this case-study, it will be shown that scientists can understand each others’ positions qualitatively and quantitatively, despite their endorsement of different worldviews and despite their convictions as what counts as a proper explanation. (shrink)

In many domains of biology, explanation takes the form of characterizing the mechanism responsible for a particular phenomenon in a specific biological system. How are such explanations generalized? One important strategy assumes conservation of mechanisms through evolutionary descent. But conservation is seldom complete. In the case discussed, the central mechanism for circadian rhythms in animals was first identified in Drosophila and then extended to mammals. Scientists' working assumption that the clock mechanisms would be conserved both yielded important generalizations and served (...) as a heuristic for discovery, especially when significant differences between the insect and mammalian mechanism were identified. †To contact the author, please write to: Department of Philosophy and Interdisciplinary Programs in Science Studies and Cognitive Science, 0119, University of California, San Diego, La Jolla, CA 92093‐0119; e‐mail: bill@mechanism.ucsd.edu. (shrink)

For a canonical model of set theory whose projective theory of the real numbers is stable under set forcing extensions, a set of reals of minimal complexity is constructed which fails to be universally Baire. The construction uses a general method for generating non-universally Baire sets via the Levy collapse of a cardinal, as well as core model techniques. Along the way it is shown (extending previous results of Steel) how sufficiently iterable fine structure models recognize themselves as global core (...) models. (shrink)

We criticise Shepard's notions of “invariance” and “universality,” and the incorporation of Shepard's work on inference into the general framework of his paper. We then criticise Tenenbaum and Griffiths' account of Shepard (1987b), including the attributed likelihood function, and the assumption of “weak sampling.” Finally, we endorse Barlow's suggestion that minimum message length (MML) theory has useful things to say about the Bayesian inference problems discussed by Shepard and Tenenbaum and Griffiths. [Barlow; Shepard; Tenenbaum & Griffiths].

The basic concept of Bentham's moral and political philosophy was public utility. He linked it directly with the concept of the universal interest, which comprises a distinctive partnership of the interests of all members of the community. The ultimate end of government and aim of all of morality is ‘the advancement of the universal interest’. This essay articulates the structure of Bentham's notion of universal interest and locates it in his theory of value.

David Lewis famously argued against structural universals since they allegedly required what he called a composition “sui generis” that differed from standard mereological com¬position. In this paper it is shown that, although traditional Boolean mereology does not describe parthood and composition in its full generality, a better and more comprehensive theory is provided by the foundational theory of categories. In this category-theoretical framework a theory of structural universals can be formulated that overcomes the conceptual difficulties that Lewis and his followers (...) regarded as unsurmountable. As a concrete example of structural universals groups are considered in some detail. (shrink)

Is the assumption of a fundamental distinction between particulars and universals another unsupported dogma of metaphysics? F. P. Ramsey famously rejected the particular–universal distinction but neglected to consider the many different conceptions of the distinction that have been advanced. As a contribution to the (inevitably) piecemeal investigation of this issue three interrelated conceptions of the particular–universal distinction are examined: (i) universals, by contrast to particulars, are unigrade; (ii) particulars are related to universals by an asymmetric tie of exemplification; (...) (iii) universals are incomplete whereas particulars are complete. It is argued that these conceptions are wanting in several respects. Sometimes they fail to mark a significant division amongst entities. Sometimes they make substantial demands upon the shape of reality; once these demands are understood aright it is no longer obvious that the distinction merits our acceptance. The case is made via a discussion of the possibility of multigrade universals. (shrink)

How can one establish if a corporate code of ethics is ethical in terms of its content? One important first step might be the establishment of core universal moral values by which corporate codes of ethics can be ethically constructed and evaluated. Following a review of normative research on corporate codes of ethics, a set of universal moral values is generated by considering three sources: (1) corporate codes of ethics; (2) global codes of ethics; and (3) the business (...) ethics literature. Based on the convergence of the three sources of standards, six universal moral values for corporate codes of ethics are proposed including: (1) trustworthiness; (2) respect; (3) responsibility; (4) fairness; (5) caring; and (6) citizenship. Relying on the proposed set of universal moral values, implications are discussed as to what the content of corporate codes of ethics should consist of. The paper concludes with its limitations. (shrink)

Scientists from various disciplines have begun to focus attention on the psychology and biology of human morality. One research program that has recently gained attention is universal moral grammar (UMG). UMG seeks to describe the nature and origin of moral knowledge by using concepts and models similar to those used in Chomsky's program in linguistics. This approach is thought to provide a fruitful perspective from which to investigate moral competence from computational, ontogenetic, behavioral, physiological and phylogenetic perspectives. In this (...) article, I outline a framework for UMG and describe some of the evidence that supports it. I also propose a novel computational analysis of moral intuitions and argue that future research on this topic should draw more directly on legal theory. (shrink)

Lewis has objected to Armstrong's notion of a structural universal on the grounds that it violates the Principle of Uniqueness of Composition (PUC), which says that given some parts, there is only one whole that they compose. This paper reviews Armstrong's case for structural universals, and then attempts to reconcile structural universals with PUC by arguing for the existence of arrangement universals. The latter are not only a key to defending structural universals against Lewis' objection, but are in fact (...) essential to Armstrong's conception of structural universals in general. Three objections to my proposal are deflected, and two alternative proposals are shown to be inferior to it. (shrink)

This collection of articles and review essays, including many hard to find pieces, comprises the most important and fundamental studies of Indian logic and linguistics ever undertaken. Frits Staal is concerned with four basic questions: Are there universals of logic that transcend culture and time? Are there universals of language and linguistics? What is the nature of Indian logic? And what is the nature of Indian linguistics? By addressing these questions, Staal demonstrates that, contrary to the general assumption among Western (...) philosophers, the classical philosophers of India were rationalists, attentive to arguments. They were in this respect unlike contemporary Western thinkers inspired by existentialism or hermeneutics, and like the ancient Chinese, Greeks, and many medieval European schoolmen, only--as Staal says--more so. Universals establishes that Asia's contributions are not only compatible with what has been produced in the West, but a necessary ingredient and an essential component of any future human science. (shrink)

Since its formal definition over sixty years ago, category theory has been increasingly recognized as having a foundational role in mathematics. It provides the conceptual lens to isolate and characterize the structures with importance and universality in mathematics. The notion of an adjunction (a pair of adjoint functors) has moved to center-stage as the principal lens. The central feature of an adjunction is what might be called "internalization through a universal" based on universal mapping properties. A recently developed (...) "heteromorphic" theory of adjoint functors allows the concepts to be more easily applied empirically. This suggests a conceptual structure, albeit abstract, to model a range of selectionist mechanisms (e.g., in evolution and in the immune system). Closely related to adjoints is the notion of a "brain functor" which abstractly models structures of cognition and action (e.g., the generative grammar view of language). (shrink)

Apart from his Consolation of Philosophy, perhaps the most well known text of Boethius is his discussion of universals in the Second Commentary on Porphyry’s Isagoge.1 In that passage, he first reviews the arguments for and against the existence of universal entities, and then offers a theory he attributes to Alexander of Aphrodisias, a kind of theory called in recent times “moderate realism,” according to which there are no universal entities in the ontology of the world, but nevertheless (...) there is an objective, non-arbitrary basis for the formation of our universal or general concepts about that world. At the very end of the passage, Boethius adds the intriguing comment that he has presented this view not necessarily because it is his own, but because it is the one that fits Aristotle’s.. (shrink)

Then, adopting the view of Armstrong and others that causation is grounded in a second-order relation between universals, he explores a range of topics for ...

Conceptual primitives and semantic universals are the cornerstones of a semantic theory which Anna Wierzbicka has been developing for many years. Semantics: Primes and Universals is a major synthesis of her work, presenting a full and systematic exposition of that theory in a non-technical and readable way. It delineates a full set of universal concepts, as they have emerged from large-scale investigations across a wide range of languages undertaken by the author and her colleagues. On the basis of empirical (...) cross-linguistic studies it vindicates the old notion of the "psychic unity of mankind", while at the same time offering a framework for the rigorous description of different languages and cultures. (shrink)

The paper provides close commentary on an important but generally neglected passage in "Prior Analytics" B.21 where, in the course of solving a logical puzzle concerning our knowledge of universal statements, Aristotle offers his only explicit treatment of the Platonic doctrine of Recollection. I show how Aristotle defends his solution to the "Paradox of Knowing Universals", as we might call it, and why he introduces Recollection into his discussion of the puzzle. The reading I develop undermines the traditional view (...) of the passage and lends fresh insight into Aristotle's conception of Plato's particular version of innatism; more specifically, when understood as I recommend, the passage strongly suggests that, on Aristotle's view, Plato's theory of Recollection is specifically designed to explain our apprehension of universal truths. The reading I propose also enables us to see how the allegedly non-standard use of the technical term ἐπαγω³ή in B.21 can be understood in a perfectly straightforward fashion to refer to an inductive inference from singular statements to the universal truth they exemplify. Owing to this last point in particular, the paper carries serious consequences for our understanding of the purported doublet in the problematic opening chapter to the "Posterior Analytics" where Aristotle offers his only explicit attempt to solve Meno's Paradox. (shrink)

International human rights law that protects freedom of the press provides a cross-culturally reliable foundation from which to launch a consideration of universal principles in journalism ethics. After examining certain assumptions made by the international law about individuals and about the kind of journalism the law intends to protect, in this article I propose that truthtelling, independence, and freedom with responsibility are universal ethical principles international law envisions for journalists. These principles would undoubtedly be applied differentially in different (...) cultures, but I conclude that the culturally specific ways journalists analyze ethical dilemmas can arise from a common concern for the 3 principles. (shrink)

[INTRODUCTION] Like the terms 'dialectic', 'Aufhebung' (or 'sublation'), and 'Geist', the term 'concrete universal' has a distinctively Hegelian ring to it. But unlike these others, it is particularly associated with the British strand in Hegel's reception history, as having been brought to prominence by some of the central British Idealists. It is therefore perhaps inevitable that, as their star has waned, so too has any use of the term, while an appreciation of the problematic that lay behind it has (...) seemingly vanished: if the British Idealists get any sort of mention in a contemporary metaphysics book (which is rarely), it will be Bradley's view of relations or truth that is discussed, not their theory of universals, so that the term has a rather antique air, buried in the dusty volumes of Mind from the turn of the nineteenth century. This is not surprising: the episode known as British Idealism can appear to be a period that is lost to us, in its language, points of historical reference (Lotze, Sigwart, Jevons), and central preoccupations (the Absolute). Even while interest in Hegel continues to grow, interest in his Logic has grown more slowly than in the rest of his work, with Book III of the Logic remaining as the daunting peak of that challenging text - while it is here that the British Idealists focussed their attention and claimed to have uncovered that 'exotic' but 'vanished specimen', the concrete universal. Finally, as the trend of reading Hegel pushes ever further in a non-metaphysical direction, it might be thought that the future of the concrete universal is hardly likely to be brighter than its recent past - for it may seem hard to imagine how a conception championed by the British Idealists, who were apparently shameless in their metaphysical commitments, can find favour in these more austere and responsible times. In this paper, however, I want to make a case for holding that there is something enlightening to be found in how some of the British Idealists approached the 'concrete universal', both interpretatively and philosophically. At the interpretative level, I will argue that while not everything these Idealists are taken to mean by the term is properly to be found in Hegel, their work nonetheless relates to a crucial and genuine strand in Hegel's position, so that their discussion of this issue is an important moment in the reception history of his thought. At a philosophical level, I think that the question that concerned Hegel and these British Idealists retains much of its interest, as does their shared approach to it: namely, how far does our thought involve a mere abstraction from reality, and what are the metaphysical and epistemological implications if it turns out it does not? As such, I will suggest, taking seriously what these British Idealists have to say about the concrete universal can help us both in our understanding of Hegel, and in our appreciation of the contribution Hegel's position can make to our thinking on the issues that surround this topic. (shrink)

If a quest for universal ethical standards in journalism is to be productive, we should first be able to articulate an overarching set of universal ethical standards that can apply across cultures, across ethical schools of thought, across professions. In this article I offer 4 likely universal standards that have relevance to journalism, suggesting universal journalism standards can also be identified. Although these and other standards will not be panaceas for the ethical dilemmas journalists often face, (...) they provide needed anchors for decision making. (shrink)

Proponents of evolutionary psychology take the existence of humanuniversals to constitute decisive evidence in favor of their view. Ifthe same social norms are found in culture after culture, we have goodreason to believe that they are innate, they argue. In this paper Ipropose an alternative explanation for the existence of humanuniversals, which does not depend on them being the product of inbuiltpsychological adaptations. Following the work of Brian Skyrms, I suggestthat if a particular convention possesses even a very small advantageover (...) competitors, whatever the reason for that advantage, we shouldexpect it to become the norm almost everywhere. Tiny advantages aretranslated into very large basins of attraction, in the language of gametheory. If this is so, universal norms are not evidence for innatepsychological adaptations at all. Having shown that the existence ofuniversals is consistent with the so-called Standard Social ScienceModel, I turn to a consideration of the evidence, to show that thisstyle of explanation is preferable to the evolutionary explanation, atleast with regard to patterns of gender inequality. (shrink)

We clarify Bohr’s interpretation of quantum mechanics by demonstrating the central role played by his thesis that quantum theory is a rational generalization of classical mechanics. This thesis is essential for an adequate understanding of his insistence on the indispensability of classical concepts, his account of how the quantum formalism gets its meaning, and his belief that hidden variable interpretations are impossible.

As the worlds of economics, politics, culture, and communications face a growing wave of globalization that will likely continue, ethical challenges for journalists have also gone global. I propose a clear division between ethics codes for media owners, the public, and professional journalists and present a set of considerations and specific rules applicable only to the last group. In this article I advocate a universal code of journalistic ethics but point out problems and warn against dangers that have made (...) the application of such codes difficult in the past. A universal code should consider the voluntary nature of such an endeavor, the cultural and economic differences in various journalistic traditions, and the problem of producing solutions acceptable to all involved. (shrink)

This paper presents the main directions of a new research project that centres on the paradox of the enunciation of the universal. Historical experience and the history of philosophy have made us highly sceptical towards the very possibility of enunciating the universal, yet the universal can be said to have become a fact of contemporary life, and the attempt at enunciating the universal remains an inescapable demand, in politics and notably in practice. Not to enunciate the (...) universal is impossible, but to enunciate it is untenable. Three directions of questioning emerge from this paradox. First, a rereading of Hegel helps us to study the conflict of universalities. Second, with Marx, we can revisit the problem of ideology, the relation between the enunciation of the universal and the idea of domination. And thirdly, by rereading texts by Freud on identification and ideality, we can revisit the relation of the universal to the idea of community, and the aporia of its deconstruction. (shrink)

Introduction into the structure, contents and specifications (especially the Systematifier) of the Information Coding Classification, developed in the seventies and used in many ways by the author and a few others following its publication in 1982. Its theoretical basis is explained consisting in (1) the Integrative Level Theory, following an evolutionary approach of ontical areas, and integrating also on each level the aspects contained in the sequence of the levels, (2) the distinction between categories of form and categories (...) of being, (3) the application of a feature of Systems Theory (namely the element position plan) and (4) the inclusion of a concept theory, distinguishing four kinds of relationships, originated by the kinds of characteristics (which are the elements of concepts to be derived from the statements on the properties of referents of concepts). Its special Subject Groups on each of its nine levels are outlined and the combinatory facilities at certain positions of the Systematifier are shown. Further elaboration and use have been suggested, be it only as a switching language between the six existing universal classification systems at present in use internationally. (shrink)

One of the central, abiding, and unresolved questions in environmental ethics has focused on the criterion for moral considerability or practical respect. In this essay, I call that question itself into question and argue that the search for this criterion should be abandoned because (1) it presupposes the ethical legitimacy of the Western project of planetary domination, (2) the philosophical methods that are andshould be used to address the question properly involve giving consideration in a root sense to everything, (3) (...) the history of the question suggests that it must be kept open, and (4) our deontic experience, the original source of ethical obligations, requires approaching all others, of all sorts, with a mindfulness that is clean of any a priori criterion of respect and positive value. The good work that has been doneon the question should be reconceived as having established rules for the normal, daily consideration of various kinds of others. Giving consideration in the root sense should be separated from giving high regard or positive value to what is considered. Overall, in this essay I argue that universal consideration—giving attention to others of all sorts, with the goal of ascertaining what, if any, direct ethical obligations arise from relating with them—should be adopted as one of the central constitutive principles of practical reasonableness. (shrink)

“The problem of universals” in general is a historically variable bundle of several closely related, yet in different conceptual frameworks rather differently articulated metaphysical, logical, and epistemological questions, ultimately all connected to the issue of how universal cognition of singular things is possible. How do we know, for example, that the Pythagorean theorem holds universally, for all possible right triangles? Indeed, how can we have any awareness of a potential infinity of all possible right triangles, given that we could (...) only see a finite number of actual ones? How can we universally indicate all possible right triangles with the phrase ‘right triangle’? Is there something common to them all signified by this phrase? If so, what is it, and how is it related to the particular right triangles? The medieval problem of universals is a logical, and historical, continuation of the ancient problem generated by Plato's (428-348 B.C.) theory answering such a bundle of questions, namely, his theory of Ideas or Forms. (shrink)

This paper argues for an ontological distinction between two kinds of universals, 'kinds of tropes' such as 'wisdom' and properties such as 'the property of being wise'. It argues that the distinction is parallel to that between two kinds of collections, pluralities such as 'the students' and collective objects such as 'the class'. The paper argues for the priortity of distributive readings with pluralities on the basis of predicates of extent or shape, such 'large' or 'long'.

In the First Section of the Groundwork of the Metaphysics of Morals, Kant argues that a good-willed person “under subjective limitations and hindrances” (G 397) is required “never to act except in such a way that [she] could also will that [her] maxim should become a universal law” (G 402).2 This requirement has come to be known as the Formula of Universal Law (FUL) version of the Categorical Imperative, an “ought” statement expressing a command of reason that “represent[s] (...) an action as objectively necessary of itself, without reference to another end” (G 414). The question of how to understand and apply the FUL has received a great deal of attention in recent years. But Kant’s reasoning for the claim that a good-willed person (of a certain kind) acts in accordance with the FUL has not been investigated with the same degree of thoroughness. My purpose in this paper is to render the structure of Kant’s argument perspicuous, and thereby contribute to its proper evaluation by identifying its true strengths and weaknesses.3 Let us call Kant’s argument “K” and its conclusion “C”. The task at hand requires identification of K’s premises and of the reasoning by means of which C is derived. One of the advantages of clarifying K’s structure in this way is that doing so permits us to answer questions that continue to puzzle even the most sympathetic readers of the First Section. Some of these questions concern three “Propositions” to which Kant 1 draws our attention in the course of his presentation. The First Proposition (call it “P1”) is left unstated, but most commentators agree that it (or at least part of it) should be rendered as follows: (P1) A human action has moral worth only if it is done from duty.4 Kant states the other two propositions (call the Second “P2” and Third “P3”) explicitly: (P2) An action from duty has its moral worth not in the purpose to be attained by it but in the maxim in accordance with which it is decided upon. (G 399). (shrink)