We investigate epistemic independence for choice functions in a multivariate setting. This work is a continuation of earlier work of one of the authors [23], and our results build on the characterization of choice functions in terms of sets of binary preferences recently established by De Bock and De Cooman [7]. We obtain the independent natural extension in this framework. Given the generality of choice functions, our expression for the independent natural extension is the most general (...) one we are aware of, and we show how it implies the independent natural extension for sets of desirable gambles, and therefore also for less informative imprecise-probabilistic models. Once this is in place, we compare this concept of epistemic independence to another independence concept for choice functions proposed by Seidenfeld [22], which De Bock and De Cooman [1] have called S-independence. We show that neither is more general than the other. (shrink)

Research programs allow the development of more complex theories. The terms can be applied to both individual theories and programs. Unlike Kuhn's scientific revolutions, Lakatos assumed that the simultaneous existence of several research programs is the norm. Science is currently facing such an unusual situation: two incompatible theories, but both accepted by the scientific community describe the same reality in two different ways. Research programs may at one time compete with single theories, single theories between them, or research programs between (...) them. We can speak of a "research unit" as a singular theory or a research program. DOI: 10.13140/RG.2.2.31863.98729. (shrink)

This paper evaluates the Natural-Kinds Argument for cognitive extension, which purports to show that the kinds presupposed by our best cognitive science have instances external to human organism. Various interpretations of the argument are articulated and evaluated, using the overarching categories of memory and cognition as test cases. Particular emphasis is placed on criteria for the scientific legitimacy of generic kinds, that is, kinds characterized in very broad terms rather than in terms of their fine-grained causal roles. Given (...) the current state of cognitive science, I conclude that we have no reason to think memory or cognition are generic natural kinds that can ground an argument for cognitive extension. (shrink)

The Monist’s call for papers for this issue ended: “if formalism is true, then it must be possible in principle to mechanize meaning in a conscious thinking and language-using machine; if intentionalism is true, no such project is intelligible”. We use the Grelling-Nelson paradox to show that natural language is indefinitely extensible, which has two important consequences: it cannot be formalized and model theoretic semantics, standard for formal languages, is not suitable for it. We also point out that object-object (...) mapping theories of semantics, the usual account for the possibility of non intentional semantics, doesn’t seem able to account for the indefinitely extensible productivity of natural language. (shrink)

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

Darwin’s claim that Natural Selection, through optimization of fitness, explains complex biological design has not yet been properly formalized. Alan Grafen’s Formal Darwinism Project aims at providing such a formalization and at demonstrating that fitness maximization is coherent with results from Population Genetics, usually interpreted as denying it. We suggest that Grafen’s proposal suffers from some limitations linked to its concept of design as optimized fitness. In order to overcome these limitations, we propose a classification of evolutionary facts based (...) on a bi-dimensional complexity space, which adds robustness to fitness as measure of the quality of a design. In this space, each point represents an organismic architecture, and movement between two points would be an evolutionary fact. Natural Selection explains movement along the fitness axis, while non-selective mechanisms explain movement on the robustness axis. Moreover, we propose a thermodynamic metaphor to draw parallelisms between notions of fitness and entropy, robustness and energy, and movement in this space and reversible and irreversible cycles. We argue that this metaphor illustrates different evolutionary processes usually overlooked by proposals of formalization of Darwinian theory, such Grafen’s Formal Darwinism Project. (shrink)

An overview of the problem of constructing extension combinatorially from qualities cum dispositional powers. In the model recommended here, Grassmann's algebra provides the combinatorial structure while Machian elements give the content.

Extension is probably the most general natural property. Is it a fundamental property? Leibniz claimed the answer was no, and that the structureless intuition of extension concealed more fundamental properties and relations. This paper follows Leibniz's program through Herbart and Riemann to Grassmann and uses Grassmann's algebra of points to build up levels of extensions algebraically. Finally, the connection between extension and measurement is considered.

The quantified argument calculus (Quarc) is a novel logic that departs in several ways from mainstream first-order logic. In particular, its quantifiers are not sentential operators attached to variables, but attach to unary predicates to form arguments – quantified arguments – of other predicates. Furthermore, Quarc includes devices to account for anaphora, active-passive-voice distinctions, and sentence- versus predicate-negation. While this base system has already been shown to be sound and complete, modal extensions still lack such results. The present paper fills (...) this lacuna by developing a modal extension of Quarc, including identity. The semantics will invalidate the Quarc-analogues of the Barcan-formula and its converse, as well as treat identity as contingent by default. Furthermore, an unlabelled Gentzen-style natural deduction system will be presented, which includes the full expressive power of Quarc. It will be shown to be strongly sound and complete with respect to relational frames. The paper closes off with considerations on how to extend the system to cover other normal modal logics as well as extensions to suitable three-valued semantics that capture relevant types of presupposition-failure. (shrink)

In proof-theoretic semantics, meaning is based on inference. It may be seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems (...) K, KT , K4, and S4, with □ as the primary modal operator. We establish appropriate soundness and completeness theorems and establish the duality between □ and a natural presentation of ♢. We also show that our semantics is in its current form not complete with respect to euclidean modal logics. Our formulation makes essential use of relational structures on bases. (shrink)

ABSTRACT Joseph Halpern and Judea Pearl draw upon structural equation models to develop an attractive analysis of ‘actual cause’. Their analysis is designed for the case of deterministic causation. I show that their account can be naturally extended to provide an elegant treatment of probabilistic causation. 1Introduction 2Preemption 3Structural Equation Models 4The Halpern and Pearl Definition of ‘Actual Cause’ 5Preemption Again 6The Probabilistic Case 7Probabilistic Causal Models 8A Proposed Probabilistic Extension of Halpern and Pearl’s Definition 9Twardy and Korb’s Account (...) 10Probabilistic Fizzling 11Conclusion. (shrink)

Reichenbach’s early solution to the scientific problem of how abstract mathematical representations can successfully express real phenomena is rooted in his view of coordination. In this paper, I claim that a Reichenbach-inspired, ‘layered’ view of coordination provides us with an effective tool to systematically analyse some epistemic and conceptual intricacies resulting from a widespread theorising strategy in evolutionary biology, recently discussed by Okasha (2018) as ‘endogenization’. First, I argue that endogenization is a form of extension of natural selection (...) theory that comprises three stages: quasi-axiomatisation, functional extension, and semantic extension. Then, I argue that the functional extension of one core principle of natural selection theory, namely, the principle of heritability, requires the semantic extension of the concept of inheritance. This is because the semantic extension of ‘inheritance’ is necessary to establish a novel form of coordination between the principle of heritability and the extended domain of phenomena that it is supposed to represent. Finally, I suggest that – despite the current lack of consensus on the right semantic extension of ‘inheritance’ – we can fruitfully understand the reconceptualization of ‘inheritance’ provided by niche construction theorists as the result of a novel form of coordination. (shrink)

In Humanity’s End: Why We Should Reject Radical Enhancement, Nicholas Agar presents a novel argument against the prospect of radical life-extension. Agar’s argument hinges on the claim that extended lifespans will result in people’s lives being dominated by the fear of death. Here we examine this claim and the surrounding issues in Agar’s discussion. We argue, firstly, that Agar’s view rests on empirically dubious assumptions about human rationality and attitudes to risk, and secondly, that even if those assumptions are (...) granted, the fears that Agar adverts to are unlikely to dominate people’s lives if and when radical life-extension is made possible. Further, we claim that the structure of the decision-making process around life-extension is unlikely to be the way that it would have to be in order for Agar’s claims about fear of death to make sense. Finally, we argue that Agar is implicitly committed to a narrow conception of human value. In response, we suggest that the pursuit of life-extension can itself be seen as an expression of certain important aspects of our distinctively human nature. (shrink)

It is a received view that Kant’s formal logic (or what he calls “pure general logic”) is thoroughly intensional. On this view, even the notion of logical extension must be understood solely in terms of the concepts that are subordinate to a given concept. I grant that the subordination relation among concepts is an important theme in Kant’s logical doctrine of concepts. But I argue that it is both possible and important to ascribe to Kant an objectual notion of (...) logical extension according to which the extension of a concept is the multitude of objects falling under it. I begin by defending this ascription in response to three reasons that are commonly invoked against it. First, I explain that this ascription is compatible with Kant’s philosophical reflections on the nature and boundary of a formal logic. Second, I show that the objectual notion of extension I ascribe to Kant can be traced back to many of the early modern works of logic with which he was more or less familiar. Third, I argue that such a notion of extension makes perfect sense of a pivotal principle in Kant’s logic, namely the principle that the quantity of a concept’s extension is inversely proportional to that of its intension. In the process, I tease out two important features of the Kantian objectual notion of logical extension in terms of which it markedly differs from the modern one. First, on the modern notion the extension of a concept is the sum of the objects actually falling under it; on the Kantian notion, by contrast, the extension of a concept consists of the multitude of possible objects—not in the metaphysical sense of possibility, though—to which a concept applies in virtue of being a general representation. While the quantity of the former extension is finite, that of the latter is infinite—as is reflected in Kant’s use of a plane-geometrical figure (e.g., circle, square), which is continuum as opposed to discretum, to represent the extension in question. Second, on the modern notion of extension, a concept that signifies exactly one object has a one-member extension; on the Kantian notion, however, such a concept has no extension at all—for a concept is taken to have extension only if it signifies a multitude of things. This feature of logical extension is manifested in Kant’s claim that a singular concept (or a concept in its singular use) can, for lack of extension, be figuratively represented only by a point—as opposed to an extended figure like circle, which is reserved for a general concept (or a concept in its general use). Precisely on account of these two features, the Kantian objectual extension proves vital to Kant’s theory of logical quantification (in universal, particular and singular judgments, respectively) and to his view regarding the formal truth of analytic judgments. (shrink)

In this chapter I give an account of the epistemology underlying the concept of “extension” in the Mengzi, an early Confucian text written in the fourth century BCE. Mengzi suggests in a conversation with King Xuan of Qi that a solution to the King’s problem of how one comes to act in a kingly manner is that one engages in “extension”. I argue that a long-standing scholarly debate on the exact nature of Mengzian “extension” can be resolved (...) by closely investigating the epistemological assumptions that must be in place for “extension” to be a viable solution to King Xuan’s problem. More specifically, my argument is that knowledge of a certain kind, namely knowing-to, is both necessary and sufficient for extension to take place. In other words, for a person S to extend X, where X is a capacity for action, S at least needs to have knowing-to. (shrink)

Some environmental views characterise the human abuse of nature as an offence against nature itself. What conception of nature would best fit that characterisation? To focus upon such a conception, aesthetic offences against nature are examined and distinguished at the outset from moral offences. Aesthetic offences are divided into those internal to our cultural outlook and external to it. The external outlook, conceiving nature as a thing wholly apart from us, is shown to be necessary to any view of nature (...) being offended against. Central to the external outlook is a conception of nature as the victim of offence without ever being itself an offending agent. Best fitting this is the notion of nature as primordially innocent. Given this metaphorical extension, the awkward consequence arises that any human use of nature constitutes thereby an abuse of it from the external standpoint. (shrink)

Skipper and Millstein analyze natural selection and mechanism, concluding that natural selection is not a mechanism in the sense of the new mechanistic philosophy. Barros disagrees and provides his own account of natural selection as a mechanism. This discussion identifies a missing piece of Barros's account, attempts to fill in that piece, and reconsiders the revised account. Two principal objections are developed: one, the account does not characterize natural selection; two, the account is not mechanistic. Extensive (...) and persistent variability causes both of these difficulties, so further attempts to describe natural selection as a mechanism are also unlikely to succeed. (shrink)

We present a sound and complete Fitch-style natural deduction system for an S5 modal logic containing an actuality operator, a diagonal necessity operator, and a diagonal possibility operator. The logic is two-dimensional, where we evaluate sentences with respect to both an actual world (first dimension) and a world of evaluation (second dimension). The diagonal necessity operator behaves as a quantifier over every point on the diagonal between actual worlds and worlds of evaluation, while the diagonal possibility quantifies over some (...) point on the diagonal. Thus, they are just like the epistemic operators for apriority and its dual. We take this extension of Fitch’s familiar derivation system to be a very natural one, since the new rules and labeled lines hereby introduced preserve the structure of Fitch’s own rules for the modal case. (shrink)

Harold Hodes in [1] introduces an extension of first-order modal logic featuring a backtracking operator, and provides a possible worlds semantics, according to which the operator is a kind of device for ‘world travel’; he does not provide a proof theory. In this paper, I provide a natural deduction system for modal logic featuring this operator, and argue that the system can be motivated in terms of a reading of the backtracking operator whereby it serves to indicate modal (...) scope. I prove soundness and completeness theorems with respect to Hodes’ semantics, as well as semantics with fewer restrictions on the accessibility relation. (shrink)

The incompleteness of set theory ZF C leads one to look for natural nonconservative extensions of ZF C in which one can prove statements independent of ZF C which appear to be “true”. One approach has been to add large cardinal axioms.Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski-Grothendieck set theory T G or It is a nonconservative extension of ZF C and is obtained from other axiomatic set theories by the inclusion of (...) Tarski’s axiom which implies the existence of inaccessible cardinals. See also related set theory with a filter quantifier ZF (aa). In this paper we look at a set theory NC# ∞# , based on bivalent gyper infinitary logic with restricted Modus Ponens Rule In this paper we deal with set theory NC# ∞# based on bivalent gyper infinitary logic with Restricted Modus Ponens Rule. Nonconservative extensions of the canonical internal set theories IST and HST are proposed. (shrink)

In this chapter I give an account of the epistemology underlying the concept of “extension” in the Mengzi, an early Confucian text written in the fourth century BCE. Mengzi suggests in a conversation with King Xuan of Qi that a solution to the King’s problem of how one comes to act in a kingly manner is that one engages in “extension”. I argue that a long-standing scholarly debate on the exact nature of Mengzian “extension” can be resolved (...) by closely investigating the epistemological assumptions that must be in place for “extension” to be a viable solution to King Xuan’s problem. More specifically, my argument is that knowledge of a certain kind, namely knowing-to, is both necessary and sufficient for extension to take place. In other words, for a person S to extend X, where X is a capacity for action, S at least needs to have knowing-to. (shrink)

Practical knowledge is discussed in close relation to practical expertise. For both anti-intellectualists and intellectualists, the knowledge of how to φ is widely assumed to entail the practical expertise in φ-ing. This paper refutes this assumption. I argue that non-experts can know how to φ via other experts’ knowledge of φ-ing. Know-how can be ‘outsourced’. I defend the outsourceability of know-how, and I refute the objections that reduce outsourced know-how to the knowledge of how to ask for help, of how (...) to get things done, or of external contents. Interestingly, outsourcing differs from social cooperation, collective agency, testimonial transmission, and many other notions in social-epistemological debates. Thus, outsourcing provides not only a hitherto unconsidered form of know-how but also a novel way for knowledge to be social. Furthermore, outsourcing plausibly involves a ‘social’ cognitive extension that does not rest on EMT or HEC. Given the outsourceability of know-how, we must reconsider the nature of know-how and expertise, as well as the relation between non-experts and experts. (shrink)

The text addresses the question ¿Where do bodies moves according to Spinoza´s physical scheme, as presented in his Ethics? The question holds a strong connection to the classical questioning by Oldenberg, about the way in which sigular objects acquire their individuality and how deos nature operate as a unity, despite its complex constitution. The answer will refer not just to Spinoza´s critique to cartesian mechanics, as it is usually referred, but to Spinoza´s own interpretation of the constitution and dynamics of (...) the physical world in order to fulfill the tasks it was designed for. (shrink)

Etude de l'extension par la negation semi-intuitionniste de la logique positive des propositions appelee logique C, developpee par A. Urquhart afin de definir une semantique relationnelle valable pour la logique des valeurs infinies de Lukasiewicz (Lw). Evitant les axiomes de contraction et de reduction propres a la logique classique de Dummett, l'A. propose une semantique de type Routley-Meyer pour le systeme d'Urquhart (CI) en tant que celle-la ne fournit que des theories consistantes pour la completude de celui-ci.

Grice, Lewis, and Skyrms proposed similar distinctions between kinds of meaning. The meaning of terms in human language, as Lewis and Skyrms had it, is ‘conventional’. Skyrms presented models showing how it is possible for conventional meaning to evolve in a population without reliance on pre-existing meaning. But one might think of conventionality as coming in degrees, based on whether the evolutionary process begins with ‘natural saliences’. We propose a theory of natural salience and several extensions of Skyrms’s (...) models to capture this notion. These models reveal that natural saliences can hinder, as well as help, the evolution of language. (shrink)

"L'énigme majeure est la cause efficace" insiste Jean Largeault (1985). En effet, la physique contemporaine géométrise les phénomènes de la nature en transformant les causes efficientes en causalité formelle. Cependant elle nous invite aussi à accorder le structurel etle physique, le formel et le dynamique. Il convient donc de s'interroger sur le fondement du pouvoir créateur des mathématiques ou de leur caractère générateur en physique. Selon Charles de Koninck, la fécondité des mathématiques parait comme une intériorisation de la figure philosophique (...) de l'ange dans le cadre du projet d'une métamathématique comme angélologie thomiste. La raison poursuit un moyen de connaitre qui serait universel in repraesentando, par opposition à l'universel in praedicando. Cette tendance est essentielle à ce que l'on appelle le "mode platonicien". L'une des idées centrales de cet article consiste à établir une connexion profonde entre la notion de causalité en physique et cette manière platonicienne de connaitre. Plus précisément, l'idéalisation de la causalité efficace en physique mathématique est-il autre chose que ce mode dialectique de connaître abusivement porté à sa limite ? (shrink)

My aim in this chapter is to take the complexity of our histories of rights as seriously as the nature of rights themselves. Let me say immediately that the point is not to satisfy our sense of moral superiority by smugly pointing out the prejudices found in arguments made over three hundred years ago. We have more than our own share of problems and prejudices to deal with. Rather, in coming to grips with this history, and especially how early-modern political (...) theorists struggled with the extension and application of natural rights to the ‘New World’, we may learn something about our own struggles to extend human rights beyond the boundaries of the state system of which Grotius, Hobbes, Locke and Vattel were among the key intellectual architects. For Richard Tuck, the autonomous rights-bearing agent at the heart of liberal individualism is a product of seventeenth-century theorizing about the nature of the autonomous state acting in the international sphere. The sovereign individual is the ‘traditional cousin of the sovereign state’, argues Tuck, and especially the aggressive, violent, and minimally constrained relative described by Hugo Grotius, Thomas Hobbes, John Locke and Emer de Vattel. Thus the connection between liberalism and imperialism, on this reading, is not merely chronological or historical but metaphysical. The analogy between the sovereign state and the sovereign individual acting on the basis of their natural rights, constrained by the recognition of the basic rights of others (but not much more than that) represents an influential vision of liberal freedom. This minimalist account of freedom represents only one vision, however, and Tuck’s account of the pre-history of liberal rights has to be balanced against other conceptions, including more emancipatory ones. (shrink)

The idea that thought and language can be clarified through logical methods seems problematic because, while thought and language are not always exact, logic (by its very nature) must be. According to Kuusela, ideal (ILP, represented by Frege and Russell) and ordinary language philosophy (OLP, represented by Strawson) offer opposed solutions to this problem, and Wittgenstein combines the advantages of both. I argue that, given Kuusela’s characterisation of OLP, Strawson was not an OLP’er. I suggest that, instead of seeing ILP (...) and OLP as opposed to one another, it is better to regard OLP as an extension of ILP. (shrink)

The main task of this paper is to understand if and how static images like photographs can represent and/or depict temporal extension (duration). In order to do this, a detour will be necessary to understand some features of the nature of photographic representation and depiction in general. This important detour will enable us to see that photographs (can) have a narrative content, and that the skilled photographer can 'tell a story' in a very clear sense, as well as control (...) and guide the attention of the spectator of the photograph. The understanding and defence of this claim is a secondary aim of this paper, and it will then allow us to provide a good treatment of the particular case of photographic representation and depiction of temporal extension. (shrink)

This essay comprises two chapters from the first part of Bollnow’s book on moods, namely the second chapter on the concept of Stimmung and the third chapter on Stimmungen as the sustaining foundation of the soul. It argues that moods constitute the simplest and most original form in which human life comes to know itself. Moods are understood as a specific harmony between, first, the inner and outer world; second, the states of the body and the soul; and, third, the (...) individual faculties of the soul. Moods differ from emotions in the narrow sense, which are always intentionally directed towards a specific object, whereas moods do not have any specific object; they are states of being, structuring and coloring human existence as a whole. Hence, no system of moods is provided, but their extensive diversity is indicated. Furthermore, transient, unsteady, or “moody” moods are distinguished from persistent or basic moods. (shrink)

When we talk of African philosophy as a different philosophical tradition we do not wish to suggest that it studies different range of realities from those that concern the other philosophical traditions. What we demonstrate is the difference that arises in approach or method naturally informed by the resident logic. Thus in African philosophy we study ultimate reality of which being is at the center. What being and even nothingness mean for us is not the same with what they mean (...) in other traditions. Unity: we sometimes say that being is one single whole without wishing to say that this view is monistic. In this light we hold that being is complete with both physical and spiritual aspects. Duality: we also share the view on the duality in nature without insisting that this is strict and permanent. Duality for Africans is essentially a point of inferential departure not a terminal point. The dual arrangement of things in nature is to necessarily lead to a tripartite conception. Triadic conception: this is the terminal point of all inferences in African thought. Yes, there is duality in nature but they exist as fragments and contraries i.e. incomplete in themselves but capable of coming together to form a whole. Obtaining this fusion of contrary fragments represents an inference from duality to triadic conception of reality. What this African conception is all about is not that being is tripartite or dual but that the coming together of two aspects of being is necessary for the formation of being. (shrink)

This chapter defends a pluralist understanding of species on which a normative species concept is viable and can support natural goodness evaluations. The central question here is thus: Since organisms are to be evaluated as members of their species, how does a proper understanding of species affect the feasibility of natural goodness evaluations? Philippa Foot has argued for a form of natural goodness evaluation in which living things are evaluated by how well fitted they are for flourishing (...) as members of their species, in ways characteristic of their species. She has further argued that assessments of moral goodness in humans are of the same evaluative form. However, natural goodness evaluations and, by extension, the natural goodness approach, do not garner justification in virtue of employing a scientifically privileged conception of species. The natural goodness approach is only justified given particular metaethical and normative commitments that are independent of naturalism, since the approach does not depend upon naturalism alone. (shrink)

The usual way of discussing normativity and naturalism is by running through a standard range of issues: the relations of fact and value, objectivity, reason and emotion, is and ought, and the so-called ‘naturalistic fallacy’. This is a naturalism that is virtually silent on nature. I outline an alternative approach that relates normativity to our nature as living beings, for whom specific things are good or bad for us. Our nature as evaluative beings is shown to be rooted in and (...) emergent from this biological normativity. There is also significant downward causation, such that our brain-bodies are continually modified by our experience and thoughts. Cultures, as emergent from the affordances of our brain-bodies, create further extensive, irreducible sources of normativity, albeit ones which do not wholly escape biological normativity and can impact back on it. (shrink)

1. The Situation in Cognition 2. Situated Cognition: A Potted Recent History 3. Extensions in Biology, Computation, and Cognition 4. Articulating the Idea of Cognitive Extension 5. Are Some Resources Intrinsically Non-Cognitive? 6. Is Cognition Extended or Only Embedded? 7. Letting Nature Take Its Course.

Normativity of naturalized epistemology is one of the most extensively and hotly debated topics in contemporary epistemology. In order to reveal the relationship between normativity and naturalized epistemology, we firstly conduct an analysis of “Epistemology Naturalized,” the article on which the naturalized epistemology was founded. Then we compare the views which argue that normativity goes by the board with those which defend that normativity is conserved if epistemology is naturalized. Finally, based especially on Quine’s own views, we argue that naturalized (...) epistemology is hypothetically normative. -/- Doğallaştırılmış epistemolojinin normatifliği çağdaş epistemolojide çok tartışılan konulardan birisidir. Biz bu çalışmada önce doğallaştırılmış epistemoloji yaklaşımının normatiflikle ilişkisini ortaya çıkarmak amacıyla doğallaştırılmış epistemolojinin temelinin atıldığı “Epistemology Naturalized” makalesinin bir çözümlemesini yapıyoruz. Daha sonra doğallaştırma ile epistemolojinin normatifliğinin ortadan kalktığını ya da tam tersine korunduğunu savunan kimi bilgi kuramcılarının argümanlarını karşılaştırıyor ve Quine’ın yapıtlarında yer alan görüşleri esas alarak doğallaştırılmış epistemolojinin koşullu ya da hipotetik olarak normatif olduğunu savunuyoruz. (shrink)

African jurisprudence, like African philosophy, continues to be hotly debated. This article contends that the debate straddles the uniqueness claim which either emphasises the existence or possibility of a peculiar legal framework on the continent, and a historical co-extensional position reiterating that African jurisprudence is a continuum of other legal traditions. The article argues that there is no uniquely African jurisprudence, and that what obtains within the structures of jurisprudence on the continent also exists within various legal traditions elsewhere, and (...) as such can at best be described as ‘jurisprudence in Africa’ rather than ‘African jurisprudence’. It defends this thesis through analytic and comparative explications of the content of natural law theory and legal positivism as experienced on the continent. It concedes that relics of the colonial legal experience create contestations that inform scholars’ calls for a return to traditional legal systems. It concludes that a reconstructive jurisprudence in Africa must take cognisance of the continent’s historical and evolutionary legal experiences, but that a unified or monolithic theory may not be sufficient to address the choice of functional jurisprudence. Keywords African jurisprudence, jurisprudence in Africa, African legal evolution, diffused legal theories. (shrink)

We study the representation of sets of desirable gambles by sets of probability mass functions. Sets of desirable gambles are a very general uncertainty model, that may be non-Archimedean, and therefore not representable by a set of probability mass functions. Recently, Cozman (2018) has shown that imposing the additional requirement of even convexity on sets of desirable gambles guarantees that they are representable by a set of probability mass functions. Already more that 20 years earlier, Seidenfeld et al. (1995) gave (...) an axiomatisation of binary preferences—on horse lotteries, rather than on gambles—that also leads to a unique representation in terms of sets of probability mass functions. To reach this goal, they use two devices, which we will call ‘SSK–Archimedeanity’ and ‘SSK–extension’. In this paper, we will make the arguments of Seidenfeld et al. (1995) explicit in the language of gambles, and show how their ideas imply even convexity and allow for conservative reasoning with evenly convex sets of desirable gambles, by deriving an equivalence between the SSK–Archimedean natural extension, the SSK–extension, and the evenly convex natural extension. (shrink)

By creating certain marks on paper, or by making certain sounds-breathing past a moving tongue-or by articulation of hands and bodies, language users can give expression to their mental lives. With language we command, assert, query, emote, insult, and inspire. Language has meaning. This fact can be quite mystifying, yet a science of linguistic meaning-semantics-has emerged at the intersection of a variety of disciplines: philosophy, linguistics, computer science, and psychology. Semantics is the study of meaning. But what exactly is "meaning"? (...) What is the exact target of semantic theory? Much of the early work in natural language semantics was accompanied by extensive reflection on the aims of semantic theory, and the form a theory must take to meet those aims. But this meta-theoretical reflection has not kept pace with recent theoretical innovations. This volume re-addresses these questions concerning the foundations of natural language semantics in light of the current state-of-the-art in semantic theorising. (shrink)

Compelling research in international relations and international political economy on global warming suggests that one part of any meaningful effort to radically reverse current trends of increasing green house gas (GHG) emissions is shared policies among states that generate costs for such emissions in many if not most of the world’s regions. Effectively employing such policies involves gaining much more extensive global commitments and developing much stronger compliance mechanism than those currently found in the Kyoto Protocol. In other words, global (...) warming raises the prospect that we need a global form of political authority that could coordinate the actions of states in order to address this environmental threat. This in turn suggests that any serious effort to mitigate climate change will entail new limits on the sovereignty of states. In this book I focus on the normative question of whether or not we have clear moral reasons to bind ourselves together in such a supranational form of political association. I argue that one can employ familiar liberal arguments for the moral legitimacy of political order at the state level to show that we do have a duty to support such a global political project. Even if one adopts the premises employed by the most influential forms of liberal scepticism to the ideas of global political and distributive justice, such as those advanced by John Rawls and Thomas Nagel, it is clear that the threat of global warming has expanded the scope of justice. We now have a global and demanding duty of justice to create the political conditions that would allow us to collectively address our impact on the Earth’s atmosphere. (shrink)

Environmental historian Kevin Armitage’s new book offers welcome relief to readers grown weary of anthropocentrism versus nonanthropecentrism debates and Muir-Pinchot-Leopold “third way” arguments. It will also find a receptive audience among those who have maintained all along that education is the key to addressing our environmental woes. In the United States, environmental education has a vibrant history. During the late nineteenth and early twentieth century, a critical mass of policy makers, educators, scientists, and philosophers shared the belief that a curriculum (...) based on the careful observation and study of nature should be taught in primary and secondary school classrooms. The “nature study movement,” as it was called, advanced an ambitious agenda for education reform based on a simple theory: children who develop a deep and abiding interest in the natural world mature into environmentally conscious adults and good citizens. Organized thematically, Armitage’s book lays out the meaning of nature study as well as its scientific and sentimental interpretations (introduction and chap. 1), the influence of progressive education on nature study (chap. 2), the connection between recapitulation theory and nature study (chap. 3), nature study and bird conservation (chap. 4), school gardening as an extension of nature study (chap. 5), the growth of nature photography in tandem with nature study (chap. 6), and finally nature study’s role in promoting agricultural reform (chap. 7). In case the significance of this progressive-era movement is still in doubt, the movement’s legacy can still be felt, Armitage contends, in the ideas of perhaps two of the most influential environmental thinkers of the past century: Aldo Leopold and Rachel Carson (conclusion). (shrink)

En este ensayo intento mostrar el estrecho vínculo entre el asunto de la fijación de la extensión de los términos de clase natural y el problema de la proyectabilidad puesto de relieve por Goodman con su nuevo enigma de la inducción. Por un lado argumento que el nuevo enigma de la inducción pone de manifiesto la presencia de un elemento fregeano en la teoría de la referencia directa de Putnam y, por el otro, señalo la necesidad de que una (...) respuesta realista a dicho enigma se articule con una tesis epistemológica de cómo conocemos las presuntas propiedades intrínsecas de los objetos. (shrink)

Philosophers of different cultural traditions have written extensively on the nature of the human being. In the ancient times, Aristotle contended that human beings are not naturally good but are led to be good in the society through education. He also expounded a doctrine of the golden mean, a kind of middle-way philosophy, as a theory on how human beings learn to be good, achieve happiness and live the good life. In the modern times, Hobbes, Locke and Rousseau also provided (...) some political reflections on these topics. Other cultures apart from the West have developed explanations on the nature of human beings. For instance, Confucianism in the East talks about the nature of human beings in their natural conditions and prescribes a middle-way doctrine for the ultimate happiness of human beings in the society. This paper takes a comparative approach to understand the areas of convergence and divergence in the thoughts of Aristotle, Confucius and Rousseau on the middle-way philosophy and the natural goodness of man. This is necessary in order to know the points at which various cultures and philosophical traditions or thought systems in the world can connect and overlap or differ on certain philosophical matters. -/- . (shrink)

Foundations of Relational Realism presents an intuitive interpretation of quantum mechanics, based on a revised decoherent histories interpretation, structured within a category theoretic topological formalism. -/- If there is a central conceptual framework that has reliably borne the weight of modern physics as it ascends into the twenty-first century, it is the framework of quantum mechanics. Because of its enduring stability in experimental application, physics has today reached heights that not only inspire wonder, but arguably exceed the limits of intuitive (...) vision, if not intuitive comprehension. For many physicists and philosophers, however, the currently fashionable tendency toward exotic interpretation of the theoretical formalism is recognized not as a mark of ascent for the tower of physics, but rather an indicator of sway—one that must be dampened rather than encouraged if practical progress is to continue. -/- In this unique two-part volume, designed to be comprehensible to both specialists and non-specialists, the authors chart out a pathway forward by identifying the central deficiency in most interpretations of quantum mechanics: That in its conventional, metrical depiction of extension, inherited from the Enlightenment, objects are characterized as fundamental to relations—i.e., such that relations presuppose objects but objects do not presuppose relations. The authors, by contrast, argue that quantum mechanics exemplifies the fact that physical extensiveness is fundamentally topological rather than metrical, with its proper logico-mathematical framework being category theoretic rather than set theoretic. -/- By this thesis, extensiveness fundamentally entails not only relations of objects, but also relations of relations. Thus, the fundamental quanta of quantum physics are properly defined as units of logico-physical relation rather than merely units of physical relata as is the current convention. Objects are always understood as relata, and likewise relations are always understood objectively. In this way, objects and relations are coherently defined as mutually implicative. The conventional notion of a history as “a story about fundamental objects” is thereby reversed, such that the classical “objects” become the story by which we understand physical systems that are fundamentally histories of quantum events. -/- These are just a few of the novel critical claims explored in this volume—claims whose exemplification in quantum mechanics will, the authors argue, serve more broadly as foundational principles for the philosophy of nature as it evolves through the twenty-first century and beyond. (shrink)

An extensive review of Michael Friedman's recent book.

In “Is semantics possible?” Putnam connected two themes: the very possibility of semantics (as opposed to formal model theory) for natural languages and the proper semantic treatment of common nouns. Putnam observed that abstract semantic accounts are modeled on formal languages model theory: the substantial contribution is rules for logical connectives (given outside the models), whereas the lexicon (individual constants and predicates) is treated merely schematically by the models. This schematic treatment may be all that is needed for an (...) account of validity in a formal setting, but it does not help to understand how proper and common nouns function in reality (not in models). Putnam then initiated the empirical study of such nouns to indicate, (i), that the popular Frege-Carnap account of them as (“disguised” compound) predicates is empirically incorrect, and, (ii), that they offer a new paradigm for a naturalistic semantics of natural languages. We take Putnam’s program a couple of steps further. First, we investigate the semantics of common nouns and argue that they refer (to kinds), rather than apply by satisfaction/truth to a designation/denotation. Second, we point to general results about semantics as a theory whose fulcrum is the reference relation rather than satisfaction in models and validity across them. (shrink)

For millennia people have speculated about the nature of time—without success. Time plays a role with all processes and events studied by all the disciplines. It is reported here that the existence of time is a direct consequence of the existence of space. Space exists, and it continues to exist. Space is there, and it continues to be there. Space exists as place, the three-dimensional place that matter can occupy. The three-dimensional extension of spatial-place is measured with a ruler (...) of some kind. Place, three-dimensionality, and extension are intrinsic-qualities of space itself. The continuing-existence of space is a direct consequence of the existence of space. The continuing-existence of space is measured with a clock. Spatial continuing-existence also has intrinsic-qualities. A list of the qualities of the continuing-existence of space appears to be the same as a list of the qualities of time. Seventeen qualities of the continuing-existence of space are compared to the equivalent qualities of time. There is an exact match between the qualities of time and the qualities of spatial continuing-existence. The qualities and roles of the continuing-existence of space fulfill all the known qualities and roles of time. Realizing that spatial continuing-existence is time makes time understandable, and clarifies the relations of time to matter, change, and process. (shrink)

In the present paper, we prove the normalization theorem and the consistency of the first-order classical logic with disjunctive syllogism. First, we propose the natural deduction system SCD for classical propositional logic having rules for conjunction, implication, negation, and disjunction. The rules for disjunctive syllogism are regarded as the rules for disjunction. After we prove the normalization theorem and the consistency of SCD, we extend SCD to the system SPCD for the first-order classical logic with disjunctive syllogism. It can (...) be shown that SPCD is conservative extension to SCD. Then, the normalization theorem and the consistency of SPCD are given. (shrink)

This paper explores the anatomical foundations of Aristotle's natural philosophy. Rather than simply looking at the body, he contrives specific procedures for revealing unmanifest phenomena. In some cases, these interventions seem extensive enough to qualify as experiments. At the work bench, one can observe the parts of animals in the manner Aristotle describes, even if his descriptions seem at odds with 20th century textbooks. Manipulating animals allows us to recover his teleological thought more fully. This consideration of Aristotle as (...) a sophisticated biologist helps our reading of his writings in other areas of philosophy. (shrink)

In this paper, I want to claim that there is an opportunity for redemption in the extended mind thesis’ core tenants. The aim of this writing is to revamp Chalmers and Clark’s (1998) thesis by demonstrating that it marries well with some of the contemporary literature found in cognitive science. The extended mind thesis is salvageable because its foundations are drawn from the folk-psychology used to describe the mental life in everyday human activity. I surmise that said phenomenon can be (...) explained by considering the available literature on the nature of cognitive structures, their controversial evolutionary history and their relation to tool-use in early hominid life. The overarching theme of this work is that it is possible to place the extended mind thesis into a naturalized theoretical framework. (shrink)

Some of the most threatening perspectives of our time are related to climate changes with Global Warming, caused by the emission of greenhouse gasses , and the severe pollution of the environment causing destruction of ecosystems and the extension of species. Recent scientific research points to an unusual increase in temperatures on earth seen in Al Gore’s film “An Inconvenient Truth ”. The climate changes are both natural and man-made; the topics here are the man-made problems among which (...) consumer mentality and overpopulation can be mentioned. Why are so many individuals ignoring the consequences of such selfish behavior? In spite of the warnings from scientists and ecological movements, the problems seem to be increasing. The domestication of nature in an artificial reality of modern times reduces humans to numbers and robots. Even though many of these conditions can be described as the consequences of the technological development, they also point to a sick society in which the connection between man and Nature has been lost. To a certain extend we are all responsible for what happens to the earth and ourselves because we are part of Nature. In order to find some answers man should look deeper into himself and his own passions. Such analysis is the task of this paper based on self-realization in subject-object relations with the appearance of self-consciousness and a third factor defined as God or Nature. The questions are: How can the link between man and Nature be re-established? How can each individual participate in changing the negative pattern? (shrink)