It is widely presumed that intuitions about thought experiments can help overturn philosophical theories. It is also widely presumed, albeit implicitly, that if thought experiments play any epistemic role in overturning philosophical theories, it is via intuition. In this paper, I argue for a different, neglected epistemic role of philosophical thought experiments, that of improving some reasoner’s appreciation both of what a theory’s predictions consist in and of how those predictions tie to elements of the theory. I call (...) this role theory clarification. I show that theory clarification does not proceed via intuition, and I argue that it is only in conjunction with theory clarification that intuitions about thought experiments can help overturn philosophical theories. I close by sketching how a more radical view might be true, on which thought experiments help justify the rejection of philosophical theories exclusively by clarifying theories, not by any intuitions those thought experiments might generate. (shrink)

At the social turn in education, Vygotsky's cultural-historical/sociocultural theory (VST) has become particularly influential. There are other cultural-historical traditions associated with VST, including Leontiev's and Engeström's versions of cultural-historical activity theory (CHAT). These approaches are frequently conflated, resulting in confusion that can be consequential in interpreting educational research findings. Unravelling these frameworks is thus an important and urgent task. In addressing this gap, the paper first provides an overview of the origins and fundamental tenets of these cultural-historical perspectives, (...) followed by a critical evaluation of and comparison among them. Implications for utilising these cultural-historical traditions are discussed. (shrink)

This book attempts to contribute a historical and interpretive study of Descartes' epistemology. It provides a systematic and exhaustive clarification of the mysterious and puzzling doctrine of "clear and distinct perception" and illuminates the relationships between this doctrine and four other central notions: "truth," "metaphysical doubt," "(metaphysical) certainty," and "knowledge." -/- Roughly speaking, a clear and distinct perception is a pure understanding, an intellectual perception, or a mental intuition in which a purified and attending mind has a simple mental (...) intuition of a simple proposition or a necessary deduction (i.e., a complex mental intuition) from such simple propositions to a complex proposition. A simple proposition can be regarded as a necessary conjunction of simple ideas. Descartes' composition theory of ideas, which supposes that all ideas are composed of simple ideas, provides a crucial basis for clear and distinct perception. -/- Descartes' doctrine of clear and distinct perception is an attempt at mathematizing epistemology and is the main content of his new "method" (for truth and knowledge), which he sought throughout his life. -/- This book attempts to shape a new image of Descartes' epistemology. (shrink)

The relationship between attention and consciousness is one that is crucial for understanding perception and different types of conscious experience, and we commend this analysis of the topic by Pitts, Lutsyshyna, and Hillyard (2018). We have also examined this relationship closely (e.g., Montemayor & Haladjian, 2015) and would like to point out a few potential contradictions in the Pitts et al. paper that require clarification, particularly in the attempt to reconcile aspects of recurrent processing theory (RPT) with global (...) neuronal workspace theory (GNWT). This commentary addresses these points and introduces other considerations important for this topic. (shrink)

A philosophical study of the nature, types and conditions of knowledge, namely belief, truth, and justification. It discusses the most prominent theories presented by contemporary philosophers in the analysis of these conditions. It answers questions related to understanding, interpretation and scientific knowledge. The most important branches of contemporary epistemology are deepened, such as naturalistic epistemology and social epistemology. Moreover, the author addresses the concepts of knowledge through linguistic and logical analysis. He defends a vision of philosophy as a conceptual (...) class='Hi'>clarification as well as a natural tendency. It offers an epistemological doctrine called moderate naturalism, which comes in the form of a moderate form of scientism. دراسة فلسفية لطبيعة المعرفة، وأنواعها، وشروطها وهي الاعتقاد، والصدق، والتسويغ. ويناقش أبرز النظريات التي قدمها الفلاسفة المعاصرون في تحليل هذه الشروط. ويجيب عن الأسئلة المتعلقة بالفهم والتفسير والمعرفة العلمية. ويتعمق أهم فروع الإبستمولوجيا المعاصرة مثل الإبستمولوجيا الطبيعية والإبستمولوجيا الاجتماعية زد على ذلك أن المؤلف يعالج مفاهيم المعرفة من خلال التحليل اللغوي والمنطقي. ويدافع عن رؤية للفلسفة بوصفها توضيحا مفهوميًّا بالإضافة إلى نزعة طبيعية. ويقدم مذهبًا إبستمولوجيًّا سماه المذهب الطبيعي المعتدل، يأتي فى إطار صورة معتدلة من النزعة العلمية RELATED PRODUCTS . (shrink)

DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone (...) or, more commonly, from the hypothesis augmented by a set of premises known to be true. A “direct proof of a hypothesis" is an argumentation that actually deduces the hypothesis itself from premises known to be true. Since `appears', `believes' and `knows' all make elliptical reference to a participant, it is clear that `paradox', `indirect proof' and `direct proof' are all participant-relative. PARTICIPANT RELATIVITY In normal mathematical writing the participant is presumed to be “the community of mathematicians" or some more or less well-defined subcommunity and, therefore, omission of explicit reference to the participant is often warranted. However, in historical, critical, or philosophical writing focused on emerging branches of mathematics such omission often invites confusion. One and the same argumentation has been a paradox for one mathematician, an inconsistency proof for another, and an indirect proof to a third. One and the same argumentation-text can appear to one mathematician to express an indirect proof while appearing to another mathematician to express a direct proof. WHAT IS A PARADOX’S SOLUTION? Of the above four sorts of argumentation only the paradox invites “solution" or “resolution", and ordinarily this is to be accomplished either by discovering a logical fallacy in the “reasoning" of the argumentation or by discovering that the conclusion is not really false or by discovering that one of the premises is not really true. Resolution of a paradox by a participant amounts to reclassifying a formerly paradoxical argumentation either as a “fallacy", as a direct proof of its conclusion, as an indirect proof of the negation of one of its premises, as an inconsistency proof, or as something else depending on the participant's state of knowledge or belief. This illustrates why an argumentation which is a paradox to a given mathematician at a given time may well not be a paradox to the same mathematician at a later time. -/- The present article considers several set-theoretic argumentations that appeared in the period 1903-1908. The year 1903 saw the publication of B. Russell's Principles of mathematics, [Cambridge Univ. Press, Cambridge, 1903; Jbuch 34, 62]. The year 1908 saw the publication of Russell's article on type theory as well as Ernst Zermelo's two watershed articles on the axiom of choice and the foundations of set theory. The argumentations discussed concern “the largest cardinal", “the largest ordinal", the well-ordering principle, “the well-ordering of the continuum", denumerability of ordinals and denumerability of reals. The article shows that these argumentations were variously classified by various mathematicians and that the surrounding atmosphere was one of confusion and misunderstanding, partly as a result of failure to make or to heed distinctions similar to those made above. The article implies that historians have made the situation worse by not observing or not analysing the nature of the confusion. -/- RECOMMENDATION This well-written and well-documented article exemplifies the fact that clarification of history can be achieved through articulation of distinctions that had not been articulated (or were not being heeded) at the time. The article presupposes extensive knowledge of the history of mathematics, of mathematics itself (especially set theory) and of philosophy. It is therefore not to be recommended for casual reading. AFTERWORD: This review was written at the same time Corcoran was writing his signature “Argumentations and logic”[249] that covers much of the same ground in much more detail. https://www.academia.edu/14089432/Argumentations_and_Logic . (shrink)

Twenty-first century science faces a dilemma. Two of its well-verified foundation stones - relativity and quantum theory - have proven inconsistent. Resolution of the conflict has resisted improvements in experimental precision leaving some to believe that some fundamental understanding in our world-view may need modification or even radical reform. Employment of the wave-front model of electrodynamics, as a propagation process with a Markov property, may offer just such a clarification.

Information Theory, Evolution and The Origin ofLife: The Origin and Evolution of Life as a Digital Message: How Life Resembles a Computer, Second Edition. Hu- bert P. Yockey, 2005, Cambridge University Press, Cambridge: 400 pages, index; hardcover, US $60.00; ISBN: 0-521-80293-8. The reason that there are principles of biology that cannot be derived from the laws of physics and chemistry lies simply in the fact that the genetic information content of the genome for constructing even the simplest organisms is (...) much larger than the information content of these laws. Yockey in his previous book (1992, 335) In this new book, Information Theory, Evolution and The Origin ofLife, Hubert Yockey points out that the digital, segregated, and linear character of the genetic information system has a fundamental significance. If inheritance would blend and not segregate, Darwinian evolution would not occur. If inheritance would be analog, instead of digital, evolution would be also impossible, because it would be impossible to remove the effect of noise. In this way, life is guided by information, and so information is a central concept in molecular biology. The author presents a picture of how the main concepts of the genetic code were developed. He was able to show that despite Francis Crick's belief that the Central Dogma is only a hypothesis, the Central Dogma of Francis Crick is a mathematical consequence of the redundant nature of the genetic code. The redundancy arises from the fact that the DNA and mRNA alphabet is formed by triplets of 4 nucleotides, and so the number of letters (triplets) is 64, whereas the proteome alphabet has only 20 letters (20 amino acids), and so the translation from the larger alphabet to the smaller one is necessarily redundant. Except for Tryptohan and Methionine, all amino acids are coded by more than one triplet, therefore, it is undecidable which source code letter was actually sent from mRNA. This proof has a corollary telling that there are no such mathematical constraints for protein-protein communication. With this clarification, Yockey contributes to diminishing the widespread confusion related to such a central concept like the Central Dogma. Thus the Central Dogma prohibits the origin of life "proteins first." Proteins can not be generated by "self-organization." Understanding this property of the Central Dogma will have a serious impact on research on the origin of life. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the (...) nature of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the (...) nature of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

The concept of universal in Aristotle’s philosophy has several aspects. 1) Universal and plurality Aristotle posits universal (καθόλου) versus particular (καθ᾿ ἕκαστον) each covering a range of elements: some elements are universal while others are particulars. Aristotle defines universal as ‘that which by nature is predicated (κατηγορεῖσθαι) of many subjects’ and particular as ‘that which is not’ so. (OI ., I, 7, 17a38-b1) The plurality of possible subjects of universal is what Aristotle insists on. The inclusion of the notion of (...) ‘plurality’ in the definition of universal might make us expect to have ‘singularity’ in the definition of particular. So, when Aristotle says that universal is that which is naturally predicable of many subjects, we expect him to define the particular as ‘that which is predicable of one subject only.’ Nonetheless, Aristotle does not and indeed cannot define it this way. We cannot find a text in which he defines particular as such simply because particulars are not predicable of any subject unless we regard their predication of themselves a predication, which Aristotle does not, at least in a genuine sense. Thus, he defines a particular only negatively. Hence, the capability of predication of a plurality is indeed the capability of predication itself because the particular cannot be predicated of anything. A particular is that which cannot be predicated of anything (or: of anything else, if saying of a thing of itself is to be considered as predication). It is ‘numerically one’ and what of which the universal is predicated (Met., B, 999b34-1000a1). Those that cannot be predicated of anything, or particulars, are of two kinds: primary substances and individual accidents. Besides Categories we can hardly find a text where Aristotle discusses individual accidents maybe because they are of much less importance for him compared with substances. However, substances are what he mentions repeatedly so that we can confine particulars to substances. In fact, it is substance that Aristotle considers so repeatedly as what cannot be predicated. As the main particulars and individuals, substances are posited as the main things that are not universal. The closeness of the two concepts of ‘substance’ and ‘unpredicability’ is to the extent that he ignores individual accidents and makes these concepts equal and as the opposite of universal: ‘what is not predicated of a subject is said a substance (οὐσία λέγετα τὸ μὴ καθ᾿ ὑποκειμένου) but what is always said of some subject is called a universal.’ (Met., Z, 1038b15-16. cf. Met., B, 1003a7-9) Therefore, since particulars cannot be predicated of any subject and, thus, every predication is necessarily a predication of a plurality of subjects, the inclusion of ‘plurality’ in the definition of universal is either i) in the sense of ‘representation’ or it must be regarded as ii) an unnecessary addition mentioned just for clarification or iii) only for avoiding cases where something is predicated of itself. By the first we mean this: though a substance is not said of anything, it represents some one thing and there is some one thing that is that substance. A universal, on the other hand, can represent a plurality of things. There is, however, a third possibility that has no essential difference with the sense of representation. Aristotle might have ‘arbitrary predication’ in mind when he suses ‘plurality’ in the definition of universal: while a particular can be the arbitrary predicate of just one thing, a universal can be predicated, both really and arbitrarily, of many things. Whatever Aristotle’s intention was, what is important for our investigation is this: Aristotle uses the notion of plurality in the definition of universal in spite of the fact that it is not necessary. What this implies is that this notion is so important for Aristotle that albeit every predictability is a predictability of a possible plurality, he adds the notion of plurality. What makes this notion important, I believe, is that he has something like a class in mind when he defines a universal because the notion of plurality is indistinguishable from a class. 2) Universal and whole; particular and part In Aristotle, the concepts of universal and whole are so close: ‘That which is true of a whole class and is said to hold good as a whole (which implies that it is a kind of whole) is true of a whole in the sense that it contains many things by being predicated of each, and that each and all of them, e.g. man, horse, god, are one because all are living things (τὸ μὲν γὰρ καθόλου καὶ τὸ ὃλως λεγόμενον ὡς πολλὰ περιέχον τῷ κατηγορεῖσθαι καθ’ ἑκάστου καὶ ἓν ἃπαντα εἶναι ὡς ἑκαστον, ...). Phil Corkum points to Aristotle’s distinction between quantitative and integral wholes in Met., 5, 26, 1023b26-33 where a quantitative whole is called homoiomerous, as the sum of animal while an integral whole, e.g. a house, is called heteromerous. He links the notion of homoiomerous to the notion of indivisibility of individuals (in 1b6-9 and 3b10-18) and indivisibility of universals. He believes that in PrA., I, 4, 25b32-26a2 it is the transitivity of mereological containment that is discussed. 3) Universal is common between instances Universal is common (κοινόν) between all the plurality of subjects it can be predicated of because what belongs to more than one thing must be common between them. (Met., Z, 1038b10-12) In the Same way, what is common cannot be a particular and, thus, a substance. (Met., Z, 1040b23-24) An individual or substance is a ‘this’ and a ‘this’ cannot be what common indicates simply because it is here in ‘this’ and can be nowhere else while common must be common between several things. In fact, what can be indicated by a common is indeed a ‘such.’ (Met., B, 1003a7-9) 4) Universal is the same in its instances We have a universal i) in all of its instances and ii) in the same way (ταὐτὸ ἐπὶ πὰντων). (Met, Γ, 1005a9-10) While the first point is evident (otherwise how could it be their universal?), the second point might seem not only ambiguous but the cause of many problems. For Aristotle, therefore, a universal must be ‘one’ in number and not many. This numerically one universal is the very universal for all its instances. It is the same universal that is predicated on each of its instances. This sameness is not, however, a mere homonymous sameness or the sameness of a homonymous word. All these three points, namely oneness, sameness and rejection of mere homonymous sameness are asserted in Aristotle’s own words τι ἕν καὶ τὸ αὐτὸ ἐπὶ πλειόνων μη ὁμώνυμον. (PsA., A, 11, 77a8-9) This non-homonymous unity is asserted also in PsA., A, 24, 85b15-16. 5) Universal as predicate Contrary to substance that cannot be a predicate, universal is what cannot be prevented from being in the place of predicate. Therefore, Aristotle distinguishes universal from subject because while the latter must necessarily be capable of being a predicate, though it might take the position of subject as well, the latter does not necessarily have such a capability especially when it is a this because it cannot be a predicate in such a case: ‘For the subject and universal differ in being or not being a ‘this’; like man and body and soul are the subject of accidents while the accident is something like musical or white.’ (Met., Θ, 1049a27-30) This indicates that a universal is basically different from subject and although it can be posited in the place of subject, it is the position of predicate that is its position as a universal. In Metaphysics, Z, 13, Aristotle asserts that ‘no universal can be substance.’ The same is asserted in Met., I, 1053b16-17 cf. 1060b21. As James H. Lesher points out, Aristotle’s position is that ‘nothing predicated universally is a substance.’ 6) Universal in substance In Met., 10388b8-9 Aristotle says that no universal is a substance. While a universal cannot be a substance in the way essence (to ti en einai) is, it is, Aristotle asserts, ‘in’ it (ἐν τούτῳ δὲ ἐνυπάρχειν) (Met., Ζ, 1038b16-18). Aristotle’s examples are: animal in man and horse. A universal is ‘in’ the thing it is its universal. But in what sense a universal can be in a thing? It cannot be in it as ‘in a subject’, which is denied in Categories for secondary substances. If we check the senses of being in, we can find some other senses of ‘being in’ some of which are compatible with this sense of ‘being in.’ Michael J. Loux believes that contrary to his earlier works like Peri Ideaon and Organon in which the immanence of universals signals a reproduction of the platonic two worlds picture, in his later works like Physics and Metaphysics, when Aristotle tells us that universals are in particulars he means that they are ‘components of or ingredients in sensible particulars.’ In Metaphysics (Δ, 1014b3-9) Aristotle compares elements with universals and call them ‘the most universal things because elements are present either in all or in many things. 7) Logos is of universal Not only universals have logos (Met., Z, 1038b18-19) but ‘Every logos and every science is of universals and not of particulars.’ (Met., K, 1059b25-26) The reason is that they are the same: the logos of the unjiversal ‘circle’ is nothing but ‘being circle’ and the logos of the universal ‘soul’ is ‘being soul.’ (Met., Z, 1035b33-1036a2) The same is said about definition. (Met, Z, 1036a27-29) 8) Universal: in the soul Contrasting individuals, universals are in the soul (So., 3, 5, 417b22-23; cf. PsA., B, 19, 100a6-7). Aristotle also says that the form, i.e. the essence, of the artwork is in the soul. (met., Z, 1032a32-b2) Moreover, as Michael J. Loux points out, ‘the Peri Ideon tells us that we need universals to serve as the objects of noetic acts.’ 9) Universal: not beside individual In spite of the fact that demonstration creates the opinion that demonstrating is based on the existence of universals as existing among the existing things, they do not have existence besides individuals (PsA., A, 24, 85a31-35; Met, Λ, 1071a19-23). Aristotle believes that universals of a P-series (B203, 71) are not παρὰ τὰ εἴδη: 999a6ff. Also check De Anima, II, 3, 414b20-25 10) Primary or commensurate universal Aristotle distinguishes ‘πρῶτον καθόλού’ (PsA., B, 17, 99a33-35) literally meaning ‘primary universal’ but mostly, and truly, translated as commensurate universal. While a universal merely ‘μὴ ἀντιςτρέφει,’ a primary universal ‘ᾧ ἓκαςτον μὲν μὴ ἀντιςτρέφει’ (PsA., B, 17, 99a33-35). Aristotle mentions three conditions for a commensurate universal. It is an attribute that i) belongs to every instance of its subject (without exception!!!), and this belonging is ii) essentially and iii) qua that subject itself (ᾗ αύτό). (PsA., A, 4, 73b26-28) However, he insists that the second and the third conditions are indeed the same. (PsA., A, 4, 73b28-30) The first condition he paraphrases as ‘to belong to any random instance of that subject’ and the second and the third as ‘when the subject is the first thing to which it can be shown to belong.’ (PsA., A, 4, 73b32-74a3) Aristotle’s example is ‘the equality of its angles to two right angles’. This attribute is not a commensurate universal of figure due to the first condition: it cannot be demonstrated of any figure. Nonetheless, though it can be demonstrated of every isosceles because every isosceles has angles equal to two right angles, it is not a commensurate universal of isosceles due to the other conditions: it is not predicated of isosceles qua isosceles but qua triangle. These conditions seem to be like regulators: they organize everything to match to the right group. The method of finding commensurate universal is like test and error method based on elimination: you must eliminate each of the higher or lower universals and check if the attribute remains or not. The commensurate universal is that which remains in between eliminated universals. (cf. PsA., A, 5, 74a37-b4) Brad Inwoodpresents an understanding of commensurate universal that is different from what I have understood and, thus, must be checked: ‘These universals are propositions in which, for example, ‘all A are B’ is true and which are still true universal statements if converted: ‘all B are A’ is also true.’ -/- . (shrink)

The paper defends the following thesis: the intentionality passage from Brentano’s Psychology from an Empirical Standpoint (1874) can be interpre- ted from two perspectives: intentionality as the most salient distinguishing feature separating the mental from the physical, and intentionality as a the- ory of the way in which mental acts, with their contents, are related to ex- tra-mental objects. Fundamentally, the theory of intentionality from 1874 is an example of the former. Its role is that of allowing the establishment (...) of psychology as a science. However, it can also be understood as a theory of intentionality in the second sense through a clarification of the relations it entails between the content and the object of the act. For this reason, it could be said that the act–content–extra-mental object distinction was already achieved in the 1874 work, at least at the level of sensory acts. The distinction between the psychical act, the content, and the object presen- ted through this content was already made in the EL 80 Logik manuscript from 1869/70 at the level of nominal presentation, which provides a fur- ther argument for the above thesis. (shrink)

In this Master's dissertation, I try to show that the causal theory of memory, which is the only theory developed so far that at first view seems more plausible and that could be integrated with psychological explanations and investigations of memory, shows some conceptual and ontological problems that go beyond the internal inconsistencies that each version can present. On one hand, the memory phenomenon analyzed is very limited: in general it is reduced to the conscious act of remembering (...) expressed in a propositional format: the idea of an agent who can control his memory reports, in contrast to a passive subject who merely retrieve his encoded memories, is not even considered. Furthermore, the representational function of memory is the only function taken into account; and all the diachronic changes that could entail a dynamic conception of memory are ignored, as is the consideration of context in a broad sense of the term. On the other hand, causal theories make some implicit assumptions that are obviously questionable (e.g., the difference between facts and events) and leave some of their key concepts unexplained, like the nature of the causality, the isomorphism between the memory trace and the memory event, etc. Nonetheless, the principal point that we criticized is the idea of a correspondence between a past event or representation of it, the correspondent memory trace and the memory representation of it. Psychological models of memory, with the exception of the spatial analogy, question some of these assumptions and suggest that memory information is organized in a way other than that implied by the causal theory. But it is distributed connectionism that actually challenges the causal theory of memory, not only through some of its basic postulates, like the superpositional conception of memory traces, their mutual influence and constant state of change, but also because it is compatible with a more situated approach to memory phenomena as well as with the idea that memory in reality accomplishes a variety of functions that go beyond the representational one. The explicit and implicit ideas provided by distributed connectionism, together with the previous criticisms that we made to of causal theory, clearly suggest the possibility of developing another kind of philosophical theory of memory, different from existing theories. This task, nonetheless, implies: (a) A much deeper study of connectionism principles and memory models, as well as of the rival candidate, symbolism, plus the evaluation of these models in the light of psychological and neurophysiological empirical research, which unfortunately I have not dealt with in this work. (b) An analysis of the metaphysical nature of events and facts, in order to see if we should decide in favor of a realist or a non-realist account. It is also clear that this decision can’t be taken without an examination of perception studies (and not exclusively philosophical ones) which would be crucial for determining what is encoded in memory, and studies devoted to language, which, I suspect, plays an important role in the segmentation of reality. (c) A clarification of the notion of causality, because we wouldn’t like to deny any kind entail the complete disappearance of boundaries between memory and imagination. And even if I suspect that my future work will question the existence of absolute boundaries between these two capacities, the notion of causality can’t be completely erase from the theory of memory without erasing the memory phenomenon itself. But this causality, as we’ve already showed, can’t consist in the naïve conception adopted by the causal accounts of memory, nor can it be explained in counterfactual terms. If we think of the reconsolidation concept, of the interdependence between all the memory system, and of the deciding influence of context, it’s almost sure that more than one notion of causality will need to be invoked in order to explain memory. (d) Because I do not want to reduce the study of memory exclusively to cases of remembering, it’s essential to analyze how memory intervenes not only in imagination, but also in perception, reasoning and future projection, for example. In this respect, we could quote the interesting articles of Atance & O’Neill (2001) and Bucker & Carroll (2006), the first concerning the relationship between episodic memory and episodic future thinking, the second concerning the relationship between episodic memory and all kinds of self-projection, such as navigation and theory of mind, relations that would also have to be explored from a philosophical perspective, in particular to overcome the tendency to suppose that representation is the only function of memory. I will also mention the necessity of combining the notion of metamemory with that of memory to some extent; as I have already remarked, it is implausible to suppose that a subject who consciously remembers something is unable to exert any kind of control over his memory reports. (e) Finally, in order to integrate a situated conception of memory into a philosophical account, it will also be indispensable to take into consideration what is known as “everyday memory research” as well as studies in social and collective memory. (shrink)

Several theorists have defended that unpleasantness can be explained by appealing to (intrinsic, simultaneous, de re) desires for certain experiences not to be occurring. In a nutshell, experiences are unpleasant because we do not want them, and not vice versa. A common criticism for this approach takes the form of a Euthyphro dilemma. Even if there is a solution for this criticism, I argue that this type of approach is limited in two important ways. It cannot provide an explanation for: (...) i) the motivation, from a psychological conscious point of view, nor ii) a non-instrumental justification, for having the relevant desires. The lack of these explanations is relevant since these are precisely the type clarifications that we would expect from a theory about unpleasantness. (shrink)

We examine the most famous controversy between economists as a means of shedding fresh light on the current debate about economic methodology. By focusing on the controversy as the primary unit of analysis, we show how methodological considerations are but one of a whole set of stratagems strategically employed by each opponent. We argue that each opponent's preference for a particular kind of stratagems expresses his own specific scientific style (within the general scientific and cultural style of an age). We (...) also describe a dynamic dimension of the controversy, independent of the participants' intentions. Such a dimension is analysed in a "cycle" of the controversy, which begins with a well-defined issue and expands to additional topics, without reaching a "solution" to the initial issue. The definition and re-definition of the issue(s) at stake and of the difference between both participants is an essential and recurrent feature of such cycles; the conclusion of a cycle does not imply a real "closure" of the controversy, but only that each opponent has reached a satisfying degree of self-clarification. The controversy, thus, does not yield persuasion -- its ostensible aim. Rather, its "benefit" seems to lie in an unintended result -- clarification and deepening of contrasting approaches to the discipline -- due to its peculiar dynamics. In so far as the history of a discipline requires a reconstruction of such contrasts, it is indispensable for it to take into account the controversies where they emerge, and to view both the positive doctrines and the methodological posture of the contenders as parts of a wider framework, that is a scientific style. (shrink)

The most part of the debates on Quantum Mechanics (QM) interpretation come out from the remains of a classical language based upon waves and particles. Such problems can find a decisive clarification in Quantum Field Theory (QFT), where the concept of “classical object” is replaced by an interaction networks. On the other hand, it is simpler to discuss about non-locality in QM than in QFT. We propose here the concept of transaction as a connection between theQM and QFT (...) language as well as the possibility to introduce quantum non-locality ab initio.We also mention the cosmological consequence of a non-local archaic vacuum here defined. (shrink)

Dear Editor, in a previous paper we have tried to delve into what validity means in the context of psychiatric nosology, arguing for a pragmatic view of it. Here we want to briefly reassert the basic points of our analysis, make a few clarifications and address some issues raised by commentators.

Predicativity is a notable example of fruitful interaction between philosophy and mathematical logic. It originated at the beginning of the 20th century from methodological and philosophical reflections on a changing concept of set. A clarification of this notion has prompted the development of fundamental new technical instruments, from Russell's type theory to an important chapter in proof theory, which saw the decisive involvement of Kreisel, Feferman and Schütte. The technical outcomes of predica-tivity have since taken a life (...) of their own, but have also produced a deeper understanding of the notion of predicativity, therefore witnessing the " light logic throws on problems in the foundations of mathematics. " (Feferman 1998, p. vii) Predicativity has been at the center of a considerable part of Feferman's work: over the years he has explored alternative ways of explicating and analyzing this notion and has shown that predicative mathematics extends much further than expected within ordinary mathematics. The aim of this note is to outline the principal features of predicativity, from its original motivations at the start of the past century to its logical analysis in the 1950-60's. The hope is to convey why predicativity is a fascinating subject, which has attracted Feferman's attention over the years. (shrink)

When game theory was introduced to biology, the components of classic game theory models were replaced with elements more befitting evolutionary phenomena. The actions of intelligent agents are replaced by phenotypic traits; utility is replaced by fitness; rational deliberation is replaced by natural selection. In this paper, I argue that this classic conception of comprehensive reapplication is misleading, for it overemphasizes the discontinuity between human behavior and evolved traits. Explicitly considering the representational roles of evolutionary game theory (...) brings to attention neglected areas of overlap, as well as a range of evolutionary possibilities that are often overlooked. The clarifications this analysis provides are well-illustrated by—and particularly valuable for—game theoretic treatments of the evolution of social behavior. (shrink)

According to the worm theory, persons are (maximal) aggregates of person-stages existing at different times. Personites, on the other hand, are non-maximal aggregates of stages that are nonetheless very much like persons. Their existence appears to make instances of prudential self-sacrifice morally problematic: the personites that exist at the time of the sacrifice but not at the time of the reward seem to be unfairly exploited. Instances of punishment appear to give rise to a similar problem. We argue that (...) these impressions arise from a mistaken assumption about which beings are the primary bearers of properties such as suffering, receiving compensation (in the future) and having (previously) committed a crime. According to the worm theory, stages, rather than persons or personites, possess these properties. Persons and personites have these properties only in a derivative sense. As we show, once this clarification and related ones are made, the apparent moral problems raised by the existence of personites dissolve. (shrink)

A view that emancipates free will by means of quantum indeterminism is frequently rejected based on arguments pointing out its incompatibility with what we know about quantum physics. However, if one carefully examines what classical physical causal determinism and quantum indeterminism are according to physics, it becomes clear what they really imply–and, especially, what they do not imply–for agent-causation theories. Here, we will make necessary conceptual clarifications on some aspects of physical determinism and indeterminism, review some of the major objections (...) against libertarian conjectures, and show that there is no conceptual incompatibility preventing us from taking a ‘quantum-libertarian’ approach to the problem of free will. In particular, we will illustrate the possible role of self-causation (causa sui) as a potential solution to otherwise apparently incompatible or even paradoxical statements concerning free will and quantum indeterminism. (shrink)

The phenomenon of ambivalence is an important one for any philosophy of action. Despite this importance, there is a lack of a fully satisfactory analysis of the phenomenon. Although many contemporary philosophers recognize the phenomenon, and address topics related to it, only Harry Frankfurt has given the phenomenon full treatment in the context of action theory - providing an analysis of how it relates to the structure and freedom of the will. In this paper, I develop objections to Frankfurt's (...) account, all revolving around the charge that his account contains a serious ambiguity between willing and identifying. With such objections in place, I then develop an analysis that avoids the difficulties and ambiguities that Frankfurt's analysis is prey to. I briefly distinguish ambivalence from other types of internal conflict. This paper aims to offer conceptual clarification on the phenomenon of ambivalence, which will then allow for discussions about the normative merits and demerits of ambivalence, the effects of ambivalence on autonomous action, and methods of resolution of ambivalence. (shrink)

This article brings to bear findings from the debate on the boundary problem in democratic theory on discussions of workplace democracy to argue that workplace democrats’ focus on workers is unjustified and that more constituencies will have to be included in any prospective scheme of workplace democracy. It thereby provides a valuable and underdiscussed perspective on workplace democracy that goes beyond the debate’s usual focus on the clarification and justification of workplace democrats’ core claim. It also goes beyond (...) approaches like stakeholder theory in law and economics that determine decision-making rights without taking into account genuinely democratic considerations. My discussion proceeds by considering three principles for inclusion from democratic theory for the specific case of the corporation. I submit that two of them, the all-coerced and the all-subjected principle, are not appropriate for this specific case, because they cannot capture the distinguishing features of the corporation. The all-affected principle however is appropriate but has a very wide range. I further argue that this is not as big of a problem as it first might seem and that this principle is still the most appropriate for defining the demos of the democratic corporation. The article closes by pointing out the consequences of this result for the workplace democracy debate and for the legitimacy of the market as a coordination mechanism. (shrink)

Previous efforts to bring the Hegelian dialectic closer to a clarification give reason for skepticism. The question: "What is dialectic", according to Dieter Henrich, "has remained without an answer so far". Hegel's objective-idealistic program is, however, so much linked to the possibility of a dialectical logic that it is an urgent desideratum to gain clarity about the stringency of dialectical argumentation. But this is only possible on the basis of a theory of dialectic. Hegel's own reflection on methods (...) cannot be considered sufficient in this respect. It does not enable us to defend the dialectical procedure against objections or to answer questions of method. In the following, a detailed reconstruction of the dialectic of 'being' and 'nothing' in Hegel's 'Science of Logic' will reveal basic structures of dialectical argumentation. As will be shown, antinomic structures play a key role. Such a 'reconstruction', however, will not be a simple confirmation of Hegelian texts, but will always have the character of a critique. In fact, it will turn out that in comparison with Hegel's development of categories, radical revisions are to be expected. ----- Bisherige Bemühungen, das Verfahren Hegelscher Dialektik einer Klärung näherzubringen, geben Anlass zur Skepsis. Die Frage: „Was ist Dialektik?“, so Dieter Henrich, sei „bisher ohne Antwort geblieben“. Das objektiv-idealistische Programm Hegels ist indes so sehr mit der Möglichkeit einer dialektischen Logik verknüpft, daß über die Stringenz dialektischer Argumentation Klarheit zu gewinnen ein dringliches Desiderat darstellt. Das aber ist nur auf der Grundlage einer Theorie der Dialektik möglich. Hegels eigene Methodenreflexion kann diesbezüglich nicht als zureichend erachtet werden. Sie versetzt uns nicht in die Lage, das dialektische Verfahren gegen Einwände zu verteidigen oder Methodenfragen zu beantworten. Im Folgenden sollen in einer detaillierten Rekonstruktion der Dialektik von ‘Sein’ und ‘Nichts’ in Hegels ‘Wissenschaft der Logik’ Grundstrukturen dialektischer Argumentation sichtbar gemacht werden. Wie gezeigt wird, kommt dabei antinomischen Strukturen eine Schlüsselfunktion zu. Eine solche 'Rekonstruktion' wird allerdings nicht eine umstandslose Bestätigung der Hegelschen Textvorlage sein können, sondern immer auch den Charakter einer Kritik haben. In der Tat wird sich ergeben, daß im Vergleich mit Hegels Kategorienentwicklung einschneidende Revisionen zu gewärtigen sind. (shrink)

Abstract: One of the institutional highlights of the encounter between Austrian “wissen¬schaftliche Philosophie” and French “philosophie scientifique” in the first half of the 20th century was the “First International Congress for Unity of Science” that took place 1935 in Paris. In my contribution I deal with an episode of the philosophical mega-event whose protagonist was the American philosopher and semiotician Charles William Morris. At the Paris congress he presented his programme of a comprehensive, practice-oriented scientific philosophy and, in a more (...) elaborated version he published it two years later in Logical Positivism, Pragmatism and Scientific Empiricism (Morris 1937). Morris aimed at a synthesis of formalism, pragmatism, and traditional empiricism that combined the virtues of these accounts while avoided their shortocmings. The core of approach was a comprehensive theory of the concept of meaning. Through an analysis of the concept of meaning he sought to sort out the existing differences and the options for a possible future rapprochment between logical empiricism and pragmatism. Against the overly narrow logical empiricist understanding of philosophy as the syntax of the language of science Morris argued for a “scientific pragmatism” that comprised four levels: (1) Philosophy as Logic of Science, (2) Philosophy as Clarification of Meaning (Peirce), (3) Philosophy as Empirical Axiology (Dewey), and (4) Philosophy as Empirical Cosmology (Whitehead). (shrink)

Spinoza ’s letter of June 2, 1674 to his friend Jarig Jelles addresses several distinct and important issues in Spinoza ’s philosophy. It explains briefly the core of Spinoza ’s disagreement with Hobbes’ political theory, develops his innovative understanding of numbers, and elaborates on Spinoza ’s refusal to describe God as one or single. Then, toward the end of the letter, Spinoza writes: With regard to the statement that figure is a negation and not anything positive, it is obvious (...) that matter in its totality, considered without limitation [indefinitè consideratam], can have no figure, and that figure applies only to finite and determinate bodies. For he who says that he apprehends a figure, thereby means to indicate simply this, that he apprehends a determinate thing and the manner of its determination. This determination therefore does not pertain to the thing in regard to its being [esse]; on the contrary, it is its non-being [non-esse]. So since figure is nothing but determination, and determination is negation [Quia ergo figura non aliud, quam determinatio, et determinatio negatio est], figure can be nothing other than negation, as has been said. Arguably, what is most notable about this letter is the fate of a single subordinate clause which appears in the last sentence of this passage: et determinatio negatio est. That clause was to be adopted by Hegel and transformed into the slogan of his own dialectical method: Omnis determinatio est negatio. Of further significance is the fact that, while Hegel does credit Spinoza with the discovery of this most fundamental insight, he believes Spinoza failed to appreciate the importance of his discovery. The issue of negation and the possibility of self-negation stand at the very center of the philosophical dialogue between the systems of Spinoza and Hegel, and in this paper I will attempt to provide a preliminary explication of this foundational debate between the two systems. In the first part of the paper I will argue that the “determination is negation” formula has been understood in at least three distinct senses among the German Idealists, and as a result many of the participants in the discussion of this formula were actually talking past each other. The clarification of the three distinct senses of the formula will lead, in the second part of the paper, to a more precise evaluation of the fundamental debate between Spinoza and Hegel regarding the possibility of self-negation. In this part I will evaluate the validity of each interpretation of the determination formula, and motivate the positions of the various participants in the debate. (shrink)

Two major clarifications have greatly abetted the understanding and fruitful expansion of the theory of natural selection in recent years: the acknowledgment that interactors, not replicators, constitute the causal unit of selection; and the recognition that interactors are Darwinian individuals, and that such individuals exist with potency at several levels of organization (genes, organisms, demes, and species in particular), thus engendering a rich hierarchical theory of selection in contrast with Darwin’s own emphasis on the organismic level. But a (...) piece of the argument has been missing, and individuals at levels distinct from organisms have been denied potency (although granted existence within the undeniable logic of the theory), because they do not achieve individuality with the same devices used by organisms and therefore seem weak by comparison. We show here that different features define Darwinian individuality across scales of size and time. In particular, species-individuals may develop few emergent features as direct adaptations. The interactor approach works with emergent fitnesses, not with emergent features; and species, as a consequence of their different mechanism for achieving individuality (reproductive exclusivity among subparts, that is, among organisms), express many effects from other levels. Organisms, by contrast, suppress upwardly cascading effects, because the organismic style of individuality (by functional integration of subparts) does not permit much competition or differential reproduction of parts from within. Species do not suppress the operation of lower levels; such effects therefore become available as exaptations conferring emergent fitness—a primary source of the different strength that species achieve as effective Darwinian individuals in evolution. (shrink)

The paper begins with a clarification of the notions of intuition (and, in particular, modal intuition), modal error, conceivability, metaphysical possibility, and epistemic possibility. It is argued that two-dimensionalism is the wrong framework for modal epistemology and that a certain nonreductionist approach to the theory of concepts and propositions is required instead. Finally, there is an examination of moderate rationalism’s impact on modal arguments in the philosophy of mind -- for example, Yablo’s disembodiment argument and Chalmers’s zombie argument. (...) A less vulnerable style of modal argument is defended, which nevertheless wins the same anti-materialist conclusions sought by these other arguments. (shrink)

I try in this essay to accomplish two things. First I offer some first thoughts toward a clarification of the ethical foundations of private property rights that avoids pitfalls common to more strictly Lockean theories, and is thus better prepared to address arguments posed by critics of standard private property arrangements. Second, I'll address one critical argument that has become pretty common over the years. While versions of the argument can be traced back at least to Pierre Joseph Proudhon, (...) I'll focus on a formulation given it by Jeremy Waldron. The basic idea is that the only sound arguments for private property rights lead to the conclusion that society has an obligation to insure that every citizen possess private property. In Waldron's formulation, what is justifiable is a general, rather than a special, right to private property. I shall try to suggest that this conclusion is unwarranted. (shrink)

The block universe theory of time is commonly said to be incompatible with temporal becoming. This confuses Maudlin who upholds both eternalism and passage. The aim of this paper is to answer Maudlin’s plea for clarification by distinguishing four degrees of temporal becoming. After discussing their respective compatibility with the block universe, I show that Maudlin asks much less from temporal becoming than most philosophers of time. Consequently, his form of becoming is compatible with the block universe, whereas (...) the stronger forms of becoming are not. (shrink)

Human behavior and thought often exhibit a familiar pattern of within group similarity and between group difference. Many of these patterns are attributed to cultural differences. For much of the history of its investigation into behavior and thought, however, cognitive science has been disproportionately focused on uncovering and explaining the more universal features of human minds—or the universal features of minds in general. -/- This entry charts out the ways in which this has changed over recent decades. It sketches the (...) motivation behind the cultural turn in cognitive science, and situates some of its central findings with respect to the questions that animate it and the debates that it has inspired. Woven throughout the entry are examples of how the cognitive science of culture, and especially its elevated concern with different forms of diversity and variation, continues to influence and be influenced by philosophers. -/- One cluster of philosophical work falls within the traditional subject matter of philosophy of science, in this case of the cognitive and social sciences. Philosophers have analyzed and assessed the methods and evidence central to the scientific study of cognition and culture, and have offered conceptual scrutiny, clarification, and synthesis. Research in a second vein sees philosophers themselves contributing more directly to cognitive scientific projects, (co)constructing theories, helping build computational models, even gathering empirical data. A third kind of work is naturalistic philosophy or philosophy of nature, wherein philosophers seek to use results from the cognitive science of culture to inform or transform debates over long-standing philosophical questions, including questions about the nature of philosophy and philosophical methodology itself. (shrink)

Writing about secession is not an easy task for a political philosopher. Yet, writing about secession in India raises further practical and theoretical problems. The incredible task of professor Chandhoke’s book, Contested Secessions, is thus to provide a restatement of a liberal theory of secession, understood as a remedial right theory, which is still compatible with situations of contested secessions, such as those occurring in post-colonial societies like India. This paper focuses on two distinct yet related aspects of (...) Chandhoke’s theory: her distinctive version of remedial right theory, and her emphasis on a form of comprehensive pluralist liberalism. I argue that this approach might result in inconsistency due to the conflicting demands of these two approaches. If we take seriously Chandhoke’s political claim in favour of the legitimacy of what she calls “formal” democracy, further clarifications are needed with respect to the account of pluralism she proposes. (shrink)

Goffman’s (1959) dramaturgical identity theory requires modification when theorising about presentations of self on social media. This chapter contributes to these efforts, refining a conception of digital identities by differentiating them from ‘corporatised identities’. Armed with this new distinction, I ultimately argue that social media platforms’ production of corporatised identities undermines their users’ autonomy and digital well-being. This follows from the disentanglement of several commonly conflated concepts. Firstly, I distinguish two kinds of presentation of self that I collectively refer (...) to as ‘expressions of digital identity’. These digital performances (boyd 2007) and digital artefacts (Hogan 2010) are distinct, but often confused. Secondly, I contend this confusion results in the subsequent conflation of corporatised identities – poor approximations of actual digital identities, inferred and extrapolated by algorithms from individuals’ expressions of digital identity – with digital identities proper. Finally, and to demonstrate the normative implications of these clarifications, I utilise MacKenzie’s (2014, 2019) interpretation of relational autonomy to propose that designing social media sites around the production of corporatised identities, at the expense of encouraging genuine performances of digital identities, has undermined multiple dimensions of this vital liberal value. In particular, the pluralistic range of authentic preferences that should structure flourishing human lives are being flattened and replaced by commercial, consumerist preferences. For these reasons, amongst others, I contend that digital identities should once again come to drive individuals’ actions on social media sites. Only upon doing so can individuals’ autonomy, and control over their digital identities, be rendered compatible with social media. (shrink)

A careful, theoretical clarification of gender roles has only recently begun in social and political philosophy. It is the aim of the following piece to reveal that an analysis of women’s traditional position - her distinctive activities, labor and surrounding sense of ‘mine’ - can not only make valuable contributions towards clarifying traditional property disputes, but may even provide elements for a new conception of ownership. By way of illustration, the article focusses on the influential work of John Rawls (...) and argues that - when Rawls’s own analysis and principles of justice are supplemented by an account of what is here called ‘reproductive labor’ - his theory in fact tends to a form of democratic socialism. Stated somewhat differently, my aim is to shift the terms of the property debate as posed by Rawls fromwithinhis own position. I hope to show that the real ownership question which now emerges is no longerwhether‘justice as fairness’ countenances a private property or socialist form of democracy, but what preciseformsuch a socialism should take. (shrink)

What is recognition and why is it so important? This book develops a synoptic conception of the significance of recognition in its many forms for human persons by means of a rational reconstruction and internal critique of classical and contemporary accounts. The book begins with a clarification of several fundamental questions concerning recognition. It then reconstructs the core ideas of Fichte, Hegel, Charles Taylor, Nancy Fraser, and Axel Honneth and utilizes the insights and conceptual tools developed across these chapters (...) for developing a case for the universal importance of recognition for humans. It argues in favour of a universalist anthropological position, unusual in the literature on recognition, that aims to construe a philosophically sound basis for a discourse of common humanity, or of a shared human life-form for which moral relations of recognition are essential. This synthetic conception of the importance of recognition provides tools for articulating deep intuitions shared across cultures about what makes human life and forms of human co-existence better or worse, and thus tools for mutual understanding about the deepest shared concerns of humanity, or of what makes us all human persons despite our differences. -/- Recognition and the Human Life-Form will appeal to readers interested in philosophical anthropology, social and political philosophy, critical theory, and the history of philosophy. It also provides ideas and conceptual tools for fields such as anthropology, education, disability studies, international relations, law, politics, religious studies, sociology, and social research. (shrink)

In this chapter I defend a methodological view about how we should conduct substantive ethical inquiries in the fields of normative and practical ethics. I maintain that the direct plausibility and implausibility of general ethical principles – once fully clarified and understood – should be foundational in our substantive ethical reasoning. I argue that, in order to expose our ethical intuitions about particular cases to maximal critical scrutiny, we must determine whether they can be justified by directly plausible principles. To (...) expose apparently plausible principles to maximal critical scrutiny, we must determine whether their direct plausibility can survive careful clarification of what they are really saying. This means that intuitions about cases are useful only in (a) suggesting principles that must stand on their own two feet, and (b) illustrating or otherwise helping us clarify what a principle is really saying. We should not reject principles that seem most directly plausible after we have fully clarified their content simply because they conflict with our intuitions about cases, because to do so is to side with uncritical prejudices over the teachings of critical scrutiny. (shrink)

The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of program verification in computer science, with the interpretative and multiparadigmatic logic of the social sciences. We attempt to evaluate whether social simulation implies an additional perspective about the way one can understand the concepts of program and computation. We (...) demonstrate that the logic of social simulation implies at least two distinct types of program verifications that reflect an epistemological distinction in the kind of knowledge one can have about programs. Computer programs seem to possess a causal capability (Fetzer, 1999) and an intentional capability that scientific theories seem not to possess. This distinction is associated with two types of program verification, which we call empirical and intentional verification. We demonstrate, by this means, that computational phenomena are also intentional phenomena, and that such is particularly manifest in agent-based social simulation. Ascertaining the credibility of results in social simulation requires a focus on the identification of a new category of knowledge we can have about computer programs. This knowledge should be considered an outcome of an experimental exercise, albeit not empirical, acquired within a context of limited consensus. The perspective of intentional computation seems to be the only one possible to reflect the multiparadigmatic character of social science in terms of agent-based computational social science. We contribute, additionally, to the clarification of several questions that are found in the methodological perspectives of the discipline, such as the computational nature, the logic of program scalability, and the multiparadigmatic character of agent-based simulation in the social sciences. (shrink)

Pierre Bourdieu’s social theory relies on concepts of four kinds of capital: economic, social, cultural, and symbolic. The anthropologist Pnina Werbner raises the issue of whether the concept of symbolic capital faces a paradox, because within some social groups one can only gain such capital by denying its value. There is a question of how best to clarify the paradox and I offer a clarification.

Mismatch is a prominent concept in evolutionary medicine and a number of philosophers have published analyses of this concept. The word ‘mismatch’ has been used in a diversity of ways across a range of sciences, leading these authors to regard it as a vague concept in need of philosophical clarification. Here, in contrast, we concentrate on the use of mismatch in modelling and experimentation in evolutionary medicine. This reveals a rigorous theory of mismatch within which the term ‘mismatch’ (...) is indeed used in several ways, not because it is ill-defined but because different forms of mismatch are.distinguished within the theory. Contemporary evolutionary medicine has unified the idea of ‘evolutionary mismatch’, derived from the older idea of ‘adaptive lag’ in evolution, with ideas about mismatch in development and physiology derived from the Developmental Origins of Health and Disease (DOHaD) paradigm. A number of publications in evolutionary medicine have tried to make this theoretical framework explicit. We build on these to present the theory in as simple and general a form as possible. We introduce terminology, largely drawn from the existing literature, to distinguish the different forms of mismatch. This integrative theory of mismatch captures how organisms track environments across space and time on multiple scales in order to maintain an adaptive match to the environment, and how failures of adaptive tracking lead to disease. Mismatch is a productive organising concept within this theory which helps researchers articulate how physiology, development and evolution interact with one another and with environmental change to explain health outcomes. (shrink)

Walter Reese-Schäfer, Karl-Otto Apel, Zur Einführung (with an Afterword by Jürgen Habermas), Junis Verlag GmbH, Hamburg 1990, 176pp. DM 17.80 -/- The author, presently a freelance writer published in the newspaper “Die Zeit” and the magazine “Stern,” pro­vides in this small book a clear and concise introduction to sources, themes and conclusions in the philosophy of Karl-Otto Apel. Apel, Emeritus Pro­fessor at Frank­furt, and close colleague of Habermas, characterizes his viewpoint as a “transcen­dental pragmatism” in which a Kantian concern for (...) question regarding “the conditions for the possi­bility of some­thing,” (p.10) mixes with deontological discourse-ethics, semeiotic themes from Peirce, an ap­proach to fallibilism, the demand for “final justifica­tions” (Letzt­begründung) and German her­meneutics. In view of the “den­sity and concentration” of Apel’s texts, which often have a “deterrent effect” upon those not already at home with “the phil­osophical language game,” it is the announced aim of this book to provide a work of translation and clarification of Apel’s special­ized efforts --in effect an orientation to Apel’s work. The book divides into an Introduction, 8 chapters and a summary conclusion --with Habermas’ appreciation, “A Master Builder with Hermeneutic Feeling --The Way of Philosopher Karl-Otto Apel,” bringing up the rear. There is also a bibliography of primary and secondary sources and a short table outlining highlights of Apel’s career. The “Introduction” provides a good overview of the aims of the book and gets one started on central themes. (shrink)

"The definitive clarification of the nature of the infinite has become necessary, not merely for the special interests of the individual sciences, but rather for the honour of the human understanding itself. The infinite has always stirred the emotions of mankind more deeply than any other question; the infinite has stimulated and fertilized reason as few other ideas have ; but also the infinite, more than other notion, is in need of clarification." (David Hilbert 1925).

The main focus of this paper is the mind-body problem in its relation to the doctrine of ‘neutral monism’ and the question who can be considered its proponents. According to Bertrand Russell, these are Ernst Mach, William James, and John Dewey (to name a few). This paper aims to clarify whether Russell himself was right in his conclusions or not. At first, I start with the clarification of the relation between ‘neutral monism’ and ‘dual-aspect theory’. Secondly, I analyze (...) the ‘big three’ of the neutral monism: Mach, James and Russell. My starting-point here is Russell’s very understanding of Mach and James positions. In the end, it appears that neither Mach, nor James as well as Dewey can be considered as neutral monists. It was rather Russell’s misunderstanding of the both James’ radical empiricism and Mach’s analysis of sensations, which led him to the creation of his own original version of ‘neutral monism’ (or ‘Russelian monism’). (shrink)

his article will focus on the mechanistic origins of the computer metaphor, which forms the conceptual framework for the methodology of the cognitive sciences, some areas of artificial intelligence and the philosophy of mind. The connection between the history of computing technology, epistemology and the philosophy of mind is expressed through the metaphorical dictionaries of the philosophical discourse of a particular era. The conceptual clarification of this connection and the substantiation of the mechanistic components of the computer metaphor is (...) the main goal of this article. The statement is substantiated that the invention of mechanical computing devices, having a long history in the European engineering tradition, formed the prerequisites for the emergence of machine functionalism in the modern philosophy of mind. The idea of multiple implementation stems from the principle that a formal symbol system prescribes rules for the use of rational abstractions through the physical architecture of a computational engine. The article considers the reasons for the conceptual shift and reveals the semantic foundations for the metaphorical transfer of the properties of abstract objects from the theory of automata to the field of modern philosophy of mind. The criticism and ways of protecting the philosophical program of machine functionalism are analyzed by changing the content of the metaphor “Mind as machine”. The reasons for the stability of the information-computer approach in cognitive sciences are also disclosed and explained. (shrink)

Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...) epistemic process of extracting information implicit in explicitly given information) and, second, the process of establishing knowledge that a conclusion does not follow. Despite the overwhelming tendency to interpret the syllogistic as formal epistemology, it was not until the early 1970s that it occurred to anyone to think that Aristotle may have developed a theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with systems such as propositional logic or equational logic familiar from mathematical logic. When modern logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle's contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotle from possible charges of psychologism. They thought they saw Aristotle applying the informal axiomatic method to formal ontology, not as making the first steps into formal epistemology. They did not notice Aristotle's description of deductive reasoning. Ironically, the formal axiomatic method (in which one explicitly presents not merely the substantive axioms but also the deductive processes used to derive theorems from the axioms) is incipient in Aristotle's presentation. Partly in opposition to the axiomatic, ontically-oriented approach to Aristotle's logic and partly as a result of attempting to increase the degree of fit between interpretation and text, logicians in the 1970s working independently came to remarkably similar conclusions to the effect that Aristotle indeed had produced the first system of formal deductions. They concluded that Aristotle had analyzed the process of deduction and that his achievement included a semantically complete system of natural deductions including both direct and indirect deductions. Where the interpretations of the 1920s and 1930s attribute to Aristotle a system of propositions organized deductively, the interpretations of the 1970s attribute to Aristotle a system of deductions, or extended deductive discourses, organized epistemically. The logicians of the 1920s and 1930s take Aristotle to be deducing laws of logic from axiomatic origins; the logicians of the 1970s take Aristotle to be describing the process of deduction and in particular to be describing deductions themselves, both those deductions that are proofs based on axiomatic premises and those deductions that, though deductively cogent, do not establish the truth of the conclusion but only that the conclusion is implied by the premise-set. Thus, two very different and opposed interpretations had emerged, interestingly both products of modern logicians equipped with the theoretical apparatus of mathematical logic. The issue at stake between these two interpretations is the historical question of Aristotle's place in the history of logic and of his orientation in philosophy of logic. This paper affirms Aristotle's place as the founder of logic taken as formal epistemology, including the study of deductive reasoning. A by-product of this study of Aristotle's accomplishments in logic is a clarification of a distinction implicit in discourses among logicians--that between logic as formal ontology and logic as formal epistemology. (shrink)

In this paper we suggest a clarification in relation to the notions of computational and intrinsic emergence, by showing how the latter is deeply connected to the new Logical Openness Theory, an original extension of Gödel theorems to the model theory. The epistemological scenario we are going to make use of is that of the theory of vision, a particularly instructive one. In order to reach our goal we introduce a dynamic theory of relationship between (...) the observer and the observed which takes into account the co-adaptive processes as well as the ecological nature of the mind/world relations. In order to fulfill the requirements of complexity sciences, this theory assumes that the scientific activity has to be able to comprehend the adaptive dynamics between system and environment as well as the model and the context where it is applied. This leads to an adaptive epistemology based on logical openness which overcomes the thigh corners of both naïve objectivist conception and radical relativism temptations by stressing that the knowledge building is a process of continuous shifting from the “frozen” syntactical dimensions to the plurality choices which make possible for mind and world to meet each other. (shrink)

The contrast between the strategies of research employed in reductionism and holism masks a radical contradiction between two different scientific philosophies. We concentrate in particular on an analysis of the key philosophical issues which give structure to holistic thought. A first (non-exhaustive) analysis of the philosophical tradition will dwell upon: a) the theory of emergence: each level of organisation is characterised by properties whose laws cannot be deduced from the laws of the inferior levels of organisation (Engels, Morgan); b) (...) clarification of the relations between the “whole” and the “parts” (Woodger, Needham); c) the ontological or epistemological nature of the emergent properties; are they a phenomenological reality or solely an artefact of the state of our knowledge? (Pepper, Henle, Hempel and Oppenheim); d) the proposition of the holistic theoretical and methodological model ( Novikoff, Feibleman). I then go on to examine the differences that exist between the reductionist and the holistic approaches at various levels of analysis: that is to say, the differences which affect their ontologies, methodologies and epistemologies respectively. I attempt to understand the spirit of a holistic approach to ecology by analyzing the major work of E.P. Odum Fundamentals of ecology (1953, 1959, 1971). I set forward what might be meant by the “holistic approach”, which is implicated in all the different levels of organisation at which the problem of “complexity” is debated. Ecology presents itself as an “holistic science” and Odum’s book offers a vision of the world which dates far back in the history of philosophy. By looking at the three different editions of this fundamental text on ecology, we may become aware of the evolution of Odum’s thought. In fact, only in the third and last edition is there a conscious appropriation of the holistic approach (by using the theoretical models of Feibleman who, for his part, refers to Novikoff). However, even when formally referring to the theory of emergence (that is to say the ontological nucleus of every holistic approach), Odum’s systemic analysis presents the same logical errors, which push him back into the reductionist domain. Above all, in his examination of the main concepts of “population”, “community” and “ecosystem”, there is a misunderstanding of the profound difference between “collective properties” and “emergent properties”. Moreover, the cybernetic models of Odum’s systemic analysis (introduced into ecology by Margalef), allowed him to vastly oversimplify his methodological task: in fact, neither how many levels nor which levels of organization are fundamental for the study of each individual level is clearly marked. Finally, Odum analyses the ecosystem as composed of energetic flux and cycles of matter, referring to the trophic-dynamic vision of Lindeman. That is to say, in my opinion, he juxtaposes a reductionistic methodology and epistemology to an holistic ontology. (shrink)

Frege-Geach worries about embedding and composition have plagued metaethical theories like emotivism, prescriptivism and expressivism. The sharpened point of such criticism has come to focus on whether negation and inconsistency have to be understood in descriptivist terms. Because they reject descriptivism, these theories must offer a non-standard account of the meanings of ethical and normative sentences as well as related semantic facts, such as why certain sentences are inconsistent with each other. This paper fills out such a solution to the (...) negation problems, following some of the original emotivist ideas about the interplay of interests in conversation. We communicate both to share information and coordinate our actions, and we use distinctively normative language like deontic ‘must’ and ‘may’ to negotiate what people are to do. The kinds of disagreement involved in such negotiation can illuminate the issues with negation and inconsistency. This paper outlines a dynamic semantic system in which these ideas can bear fruit, developing the scorekeeping model of conversation. The result is clarification about what Frege-Geach worries can mean for nondescriptive semantics. (shrink)

Epistemic contextualism—the view that the content of the predicate ‘know’ can change with the context of utterance—has fallen into considerable disrepute recently. Many theorists have raised doubts as to whether ‘know’ is context-sensitive, typically basing their arguments on data suggesting that ‘know’ behaves semantically and syntactically in a way quite different from recognised indexicals such as ‘I’ and ‘here’ or ‘flat’ and ‘empty’. This paper takes a closer look at three pertinent objections of this kind, viz. at what I call (...) the Error-Theory Objection, the Gradability Objection and the Clarification-Technique Objection. The paper concludes that none of these objections can provide decisive evidence against contextualism. (shrink)

This report offers a modern perspective on the problem of negative energy, based on a reexamination of the concept of time direction as it arises in a classical and quantum-mechanical context. From this analysis emerges an improved understanding of the general-relativistic stress-energy of matter as being a manifestation of local variations in the energy density of zero-point vacuum fluctuations. Based on those developments, a set of axioms is proposed from which are derived generalized gravitational field equations which actually constitute a (...) simplification of relativity theory in the presence of negative-energy matter and a non-zero cosmological constant. Important clarifications are also achieved regarding the nature of the binary degrees of freedom of matter in the final stages of a gravitational collapse. Those results are then applied to provide original solutions to several long-standing problems in cosmology, including the problem of the nature of dark matter and dark energy, that of the origin of thermodynamic time asymmetry, and several other issues traditionally approached using inflation theory. Finally, we draw on those developments to provide significant new insights into the foundations of quantum theory, regarding, in particular, the problem of quantum non-locality, that of the emergence of time in quantum cosmology, as well as the question of the persistence of quasiclassicality following decoherence. (shrink)

Ecological Psychology and Enactivism both challenge representationist cognitive science, but the two approaches have only begun to engage in dialogue. Further conceptual clarification is required in which differences are as important as common ground. This paper enters the dialogue by focusing on important differences. After a brief account of the parallel histories of Ecological Psychology and Enactivism, we cover incompatibility between them regarding their theories of sensation and perception. First, we show how and why in ecological theory perception (...) is, crucially, not based on sensation. We elucidate this idea by examining the biological roots of work in the two fields, concentrating on Gibson and Varela and Maturana. We expound an ecological critique of any sensation-based approach to perception by detailing two topics: classic retinal image theories and perception in single-celled organisms. The second main point emphasizes the importance of the idea of organism-environment mutuality and its difference from structural coupling of sensations and motor behavior. We point out how ecological - phenomenological methods of inquiry grow out of mutualism and compare Gibson’s idea of visual kinesthesis to Merleau-Ponty’s idea of the lived body. Third, we conclude that Ecological Psychology and varieties of Enactivism are laying down different paths to pursue related goals. Thus, convergence of Ecological Psychology and Enactivism is not possible given their conflicting assumptions, but cross-fertilization is possible and desirable. (shrink)