Three-dimensional material models of molecules were used throughout the 19th century, either functioning as a mere representation or opening new epistemic horizons. In this paper, two case studies are examined: the 1875 models of van ‘t Hoff and the 1890 models of Sachse. What is unique in these two case studies is that both models were not only folded, but were also conceptualized mathematically. When viewed in light of the chemical research of that period not (...) only were both of these aspects, considered in their singularity, exceptional, but also taken together may be thought of as a subversion of the way molecules were chemically investigated in the 19th century. Concentrating on this unique shared characteristic in the models of van ‘t Hoff and the models of Sachse, this paper deals with the shifts and displacements between their operational methods and existence: between their technical and epistemological aspects and the fact that they were folded, which was forgotten or simply ignored in the subsequent development of chemistry. (shrink)

Abstracts The aim of the paper is to propose an alternative model to realist and non-cognitive explanations of the rule-guided use of thick ethical concepts and to examine the implications that may be drawn from this and similar cases for our general understanding of rule-following and the relation between criteria of application, truth and correctness. It addresses McDowell’s non-cognitivism critique and challenges his defence of the entanglement thesis for thick ethical concepts. Contrary to non-cognitivists, however, I propose to view the (...) relation between the two terms of the entanglement as resulting from the satisfaction of a previously applied moral function. This is what I call a “Three-Fold Model”. (shrink)

The short paper introduces the concept of possible branches of double-stranded DNA (later sometimes called palindromes): Certain sequences of nucleotides may be followed, after a short unpaired stretch, by a complementary sequence in reversed order, such that each DNA strand can fold back on itself, and the DNA assumes a cruciform or tree-like structure. This is postulated to interact with regulatory proteins. -/- .

Rosi Braidotti has recently argued that the emerging scholarship on posthumanism should employ what she calls nomadic thinking. Braidotti identifies Gilles Deleuze’s work on Spinoza as the genesis of posthumanist ontology, yet Deleuze’s claims about nomadic thinking or nomadology come from his work on Leibniz. I argue that for posthumanist thought to theorize subjectivity beyond the human, it must use nomadology to overcome ontology itself. To make my argument, I demonstrate that while Braidotti is correct about Spinoza’s influence on Deleuze, (...) his work on Leibniz is necessary to adequately conceptualize nomadology. I employ Deleuze and Guattari’s figure of the Thought-brain as a model for conceptualizing posthumanist subjectivity that they claim goes beyond the subject itself. (shrink)

The purpose of my paper is to challenge the binary classification of authenticity, which is currently employed in the bioethical debate on enhancement technologies. According to the standard dichotomy, there is a stark opposition between the self-discovery model, which depicts the self as a substantial and original inwardness, and the self-creation model, which assumes that the self is an open project, that has to be constituted by one’s free actions. My claim is that the so-called self-creation model actually conflates two (...) distinct versions of authenticity: one that is decisionist and one that is experimentalist. Hence, my proposal is to distinguish between three different models of authenticity: (i) self-discovery, which is an expressivist model of authenticity; (ii) existential commitment, which is a decisionist model; and (iii) reinvention of the self, which is an experimentalist model. Such a three-fold distinction will vast a more nuanced and clear light upon the enhancement debate. (shrink)

A newborn baby is an infant within the first 28 days of birth. Diagnosis and treatment of infant diseases require specialized medical resources and expert knowledge. However, there is a shortage of such professionals globally, particularly in low-income countries. To address this challenge, a knowledge-based system was designed to aid in the diagnosis and treatment of neonatal diseases. The system utilizes both machine learning and health expert knowledge, and a hybrid data mining process model was used to extract knowledge from (...) a clinical dataset. The PART algorithm achieved the highest performance result with 98.06% accuracy under 10-fold cross-validation, and the generated rules were used to develop the knowledge-based system. The system achieved 90.9% accuracy in system performance testing and 89.2% in user acceptance testing, and is intended to serve as an assistant tool for healthcare experts. (shrink)

This article presents some results of a research on computational strategies for the visualization of sign classification structures and sign processes. The focus of this research is the various classifications of signs described by Peirce. Two models are presented. One of them concerns specifically the 10-fold classification as described in the 1903 Syllabus (MS 540, EP 2: 289–299), while the other deals with the deep structure of Peirce’s various trichotomic classifications. The first is 10cubes, an interactive 3-D model of (...) Peirce’s 10-fold classification, as described in the Syllabus. The second is 3N3, a computer program that builds equivalent diagrams for any n-trichotomic classification of signs. We are specially interested in how a graphic design methodology, associated with computer graphic resources and techniques, can contribute to the construction of interactive models that serve as tools for the investigation of C. S. Peirce’s theory of signs. (shrink)

Chemical visualizations and models are special kinds of situated, inductive arguments. In this paper, I examine several historical case studies—an archive of images from museums, special collections, and popular magazines—as examples of emergent practices of physical modeling as theoretical play which became the basis for molecular biology and structural chemistry. Specifically, I trace a legacy of visualization tools that starts with Archibald Scott Cooper and Friedrich Kekulé in the late 1800s, crystallizes as material manipulatives in Kekulé’s student Jacobus Henricus (...) Van’t Hoff and his folded paper “toys,” is legitimized in the California lab of Linus Pauling, and is glorified in the popular imaginary with James Watson and Francis Crick’s model of DNA. My tracing then follows several threads into contemporary modeling practices. I ultimately argue that modeling play, originally outside of the boundary of deductive, positivist science, is now an accepted mode of inductive reasoning in these related chemical fields. (shrink)

The problem with reductionism in biology is not the reduction, but the implicit attitude of determinism that usually accompanies it. Methodological reductionism is supported by deterministic beliefs, but making such a connection is problematic when it is based on an idea of determinism as fixed predictability. Conflating determinism with predictability gives rise to inaccurate models that overlook the dynamic complexity of our world, as well as ignore our epistemic limitations when we try to model it. Furthermore, the assumption of (...) a strictly deterministic framework is unnecessarily hindering to biology. By removing the dogma of determinism, biological methods, including reductive methods, can be expanded to include stochastic models and probabilistic interpretations. Thus, the dogma of reductionism can be saved once its ties with determinism are severed. In this paper, I analyze two problems that have faced molecular biology for the last 50 years—protein folding and cancer. Both cases demonstrate the long influence of reductionism and determinism on molecular biology, as well as how abandoning determinism has opened the door to more probabilistic and unconstrained reductive methods in biology. (shrink)

We introduce the notion of complexity, first at an intuitive level and then in relatively more concrete terms, explaining the various characteristic features of complex systems with examples. There exists a vast literature on complexity, and our exposition is intended to be an elementary introduction, meant for a broad audience. -/- Briefly, a complex system is one whose description involves a hierarchy of levels, where each level is made of a large number of components interacting among themselves. The time evolution (...) of such a system is of a complex nature, depending on the interactions among subsystems in the next level below the one under consideration and, at the same time, conditioned by the level above, where the latter sets the context for the evolution. Generally speaking, the interactions among the constituents of the various levels lead to a dynamics characterized by numerous characteristic scales, each level having its own set of scales. What is more, a level commonly exhibits ‘emergent properties’ that cannot be derived from considerations relating to its component systems taken in isolation or to those in a different contextual setting. In the dynamic evolution of some particular level, there occurs a self-organized emergence of a higher level and the process is repeated at still higher levels. -/- The interaction and self-organization of the components of a complex system follow the principle commonly expressed by saying that the ‘whole is different from the sum of the parts’. In the case of systems whose behavior can be expressed mathematically in terms of differential equations this means that the interactions are nonlinear in nature. -/- While all of the above features are not universally exhibited by complex systems, these are nevertheless indicative of a broad commonness relative to which individual systems can be described and analyzed. There exist measures of complexity which, once again, are not of universal applicability, being more heuristic than exact. The present state of knowledge and understanding of complex systems is itself an emerging one. Still, a large number of results on various systems can be related to their complex character, making complexity an immensely fertile concept in the study of natural, biological, and social phenomena. -/- All this puts a very definite limitation on the complete description of a complex system as a whole since such a system can be precisely described only contextually, relative to some particular level, where emergent properties rule out an exact description of more than one levels within a common framework. -/- We discuss the implications of these observations in the context of our conception of the so-called noumenal reality that has a mind-independent existence and is perceived by us in the form of the phenomenal reality. The latter is derived from the former by means of our perceptions and interpretations, and our efforts at sorting out and making sense of the bewildering complexity of reality takes the form of incessant processes of inference that lead to theories. Strictly speaking, theories apply to models that are constructed as idealized versions of parts of reality, within which inferences and abstractions can be carried out meaningfully, enabling us to construct the theories. -/- There exists a correspondence between the phenomenal and the noumenal realities in terms of events and their correlations, where these are experienced as the complex behavior of systems or entities of various descriptions. The infinite diversity of behavior of systems in the phenomenal world are explained within specified contexts by theories. The latter are constructs generated in our ceaseless attempts at interpreting the world, and the question arises as to whether these are reflections of `laws of nature' residing in the noumenal world. This is a fundamental concern of scientific realism, within the fold of which there exists a trend towards the assumption that theories express truths about the noumenal reality. We examine this assumption (referred to as a ‘point of view’ in the present essay) closely and indicate that an alternative point of view is also consistent within the broad framework of scientific realism. This is the view that theories are domain-specific and contextual, and that these are arrived at by independent processes of inference and abstractions in the various domains of experience. Theories in contiguous domains of experience dovetail and interpenetrate with one another, and bear the responsibility of correctly explaining our observations within these domains. -/- With accumulating experience, theories get revised and the network of our theories of the world acquires a complex structure, exhibiting a complex evolution. There exists a tendency within the fold of scientific realism of interpreting this complex evolution in rather simple terms, where one assumes (this, again, is a point of view) that theories tend more and more closely to truths about Nature and, what is more, progress towards an all-embracing ‘ultimate theory’ -- a foundational one in respect of all our inquiries into nature. We examine this point of view closely and outline the alternative view -- one broadly consistent with scientific realism -- that there is no ‘ultimate’ law of nature, that theories do not correspond to truths inherent in reality, and that successive revisions in theory do not lead monotonically to some ultimate truth. Instead, the theories generated in succession are incommensurate with each other, testifying to the fact that a theory gives us a perspective view of some part of reality, arrived at contextually. Instead of resembling a monotonically converging series successive theories are analogous to asymptotic series. -/- Before we summarize all the above considerations, we briefly address the issue of the complexity of the {\it human mind} -- one as pervasive as the complexity of Nature at large. The complexity of the mind is related to the complexity of the underlying neuronal organization in the brain, which operates within a larger biological context, its activities being modulated by other physiological systems, notably the one involving a host of chemical messengers. The mind, with no materiality of its own, is nevertheless emergent from the activity of interacting neuronal assemblies in the brain. As in the case of reality at large, there can be no ultimate theory of the mind, from which one can explain and predict the entire spectrum of human behavior, which is an infinitely rich and diverse one. (shrink)

We investigate the idea of sleep as the protostate, and posit the idea of dark consciousness where dark is a 2-fold hybrid. We model dark consciousness as a 2-topos in p-adic time, and outline perfectoid and diamond-like versions. We then introduce and illustrate implications of Dark Imaginarium, which is a higher order Curiosity Artificial Intelligence, an Infinity-Curiosity Type, that thinks in infinity categories.

In this dissertation we present proof systems for several modal logics. These proof systems are based on analytic (or semantic) tableaux. -/- Modal logics are logics for reasoning about possibility, knowledge, beliefs, preferences, and other modalities. Their semantics are almost always based on Saul Kripke’s possible world semantics. In Kripke semantics, models are represented by relational structures or, equivalently, labeled graphs. Syntactic formulas that express statements about knowledge and other modalities are evaluated in terms of such models. -/- (...) This dissertation focuses on modal logics with dynamic operators for public announcements, belief revision, preference upgrades, and so on. These operators are defined in terms of mathematical operations on Kripke models. Thus, for example, a belief revision operator in the syntax would correspond to a belief revision operation on models. -/- The ‘dynamic’ semantics of dynamic modal logics are a clever way of extending languages without compromising on intuitiveness. We present ‘dynamic’ tableau proof systems for these dynamic semantics, with the express aim to make them conceptually simple, easy to use, modular, and extensible. This we do by reflecting the semantics as closely as possible in the components of our tableau system. For instance, dynamic operations on Kripke models have counterpart dynamic relations between tableaux. -/- Soundness, completeness, and decidability are three of the most important properties that a proof system may have. A proof system is sound if and only if any formula for which a proof exists, is true in every model. A proof system is complete if and only if for any formula that is true in all models, a proof exists. A proof system is decidable if and only if any formula can be proved to be a theorem or not a theorem in a finite number of steps. All proof systems in this dissertation are sound, complete, and decidable. -/- Part of our strategy to create modular tableau systems is to delay concerns over decidability until after soundness and completeness have been established. Decidability is attained through the operations of folding and through operations on ‘tableau cascades’, which are graphs of tableaux. -/- Finally, we provide a proof-of-concept implementation of our dynamic tableau system for public announcement logic in the Clojure programming language. (shrink)

St. Anselm is a master of philosophical prose. His writings on God, truth, and free will are models of clarity born of unflagging concern for argumentative precision. He is especially adept at using analogies to cinch his readers' understanding of these recondite matters. Who could forget the light shed upon the concept of existence by the Painter Analogy in the Ontological Argument or how his River Analogy illumines the unification of the Holy Trinity? Such intellectual insights could only be (...) gifts of the Holy Ghost for the edification of Holy Mother Church. I shall discuss here the three splendid analogies that St. Anselm draws in De Concordia in order to reconcile grace and free will, fostering an understanding of co-operation according to which divine assistance must accentuate, rather than nullify, exercises of human freedom. Central to my discussion is The Father of Scholasticism's four-fold distinction between a power, its exercises, the effects of those exercises, and opportunities to bring about those effects. (shrink)

St. Anselm is a master of philosophical prose. His writings on God, truth, and free will are models of clarity born of unflagging concern for argumentative precision. He is especially adept at using analogies to cinch his readers' understanding of these recondite matters. Who could forget the light shed upon the concept of existence by the Painter Analogy in the Ontological Argument or how his River Analogy illumines the unification of the Holy Trinity? Such intellectual insights could only be (...) gifts of the Holy Ghost for the edification of the Holy Mother Church. I shall discuss here the three splendid analogies that St. Anselm draws in De Concordia in order to reconcile grace and free will, fostering an understanding of cooperation according to which divine assistance must accentuate, rather than nullify, exercises of human freedom. Central to my discussion is The Father of Scholasticism's four-fold distinction between a power, its exercises, the effects of those exercises, and opportunities to bring about those effects. (shrink)

We offer an original argument for the existence of universal fictions—that is, fictions within which every possible proposition is true. Specifically, we detail a trio of such fictions, along with an easy-to-follow recipe for generating more. After exploring several consequences and dismissing some objections, we conclude that fiction, unlike reality, is unlimited when it comes to truth.

Ken Foldes and I agreed to present what we consider an important controversy concerning the actual interpretation of Hegelian philosophy as regards the nature of the relationship between Man and God. Ken wants to argue for the oneness of God and Man, with the unity and exclusive Being of God as the Absolute Truth, making all being other than God illusory. On the other hand, I want to show the simultaneous identity and difference of Man and God dynamically integrated as (...) a variegated system that is chiefly characterized as pure negative activity, or self-thinking-thought, in which God and Man and the World each have a distinct yet harmonized relationship when considered in their negative or sublated significance with respect to God. (shrink)

This article reviews research on counterfactual, social, and temporal comparisons and proposes a Reflection and Evaluation Model (REM) as an organizing framework. At the heart of the model is the assertion that 2 psychologically distinct modes of mental simulation operate during comparative thinking: reflection, an experiential (“as if”) mode of thinking characterized by vividly simulating that information about the comparison standard is true of, or part of, the self; and evaluation, an evaluative mode of thinking characterized by the use of (...) information about the standard as a reference point against which to evaluate one’s present standing. Reflection occurs when information about the standard is included in one’s self-construal, and evaluation occurs when such information is excluded. The result of reflection is that standard–consistent cognitions about the self become highly accessible, thereby yielding affective assimilation; whereas the result of evaluation is that comparison information is used as a standard against which one’s present standing is evaluated, thereby yielding affective contrast. The resulting affect leads to either an increase or decrease in behavioral persistence as a function of the type of task with which one is engaged, and a combination of comparison-derived causal inferences and regulatory focus strategies direct one toward adopting specific future action plans. (shrink)

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

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is (...) genuinely logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

The COVID-19 pandemic might be regarded as an example of a risky situation that demands proper action and decision-making in the absence of full information. It is noticeable, however, that scientists have divided into two camps concerning the best way of dealing with the very situation. Some of them have relied on mathematical models and typically proposed restrictive measures, while the others opted for the evidence-based approach and typically recommended more relaxed measures. I argue in this paper that practical (...) possibilities (or impossibilities) have been considerably neglected in those debates and current decisionmaking, especially by the proponents of mathematical epidemiology. (shrink)

In this paper I distinguish various ways in which empirical claims about evolutionary and ecological models can be supported by data. I describe three basic factors bearing on confirmation of empirical claims: fit of the model to data; independent testing of various aspects of the model, and variety of evident. A brief description of the kinds of confirmation is followed by examples of each kind, drawn from a range of evolutionary and ecological theories. I conclude that the greater complexity (...) and precision of my approach, as compared to, for instance, a Popperian approach, can facilitate detailed analysis and comparison of empirical claims. (shrink)

The Intelligible Living Thing, posited as the model of our visible and tangible universe in Plato’s Timaeus, is often taken for a richly structured whole, which is not a simple sum of its four major parts. This assumption seems unwarranted – most specifically, the dialogue contains no hint at any complex intelligible blue print of the world as a teleologically arranged whole, whose goodness is irreducible to the well-being and individual perfection of its parts. To construe the rich structure of (...) the world is necessary insofar as the Demiurge creates material likenesses of the austere immaterial species. While the life forms included in our universe conform to their intelligible paradigms, this is not, strictly speaking, true about the considerations guiding the Demiurgic activity which gives rise to the universe itself, whose goodness is also to be measured by comparing it to the disordered pre-cosmic matter. The paper discusses several implications of this austere interpretation of the model and its role in creation. It suggests that the Forms that compose the model should be understood as abstract particulars rather than universals, and critically discusses the relation of Timaeus’ account to the so-called Principle of Plenitude. (shrink)

I will present two different applications - Dual PECCS and the TCL reasoning framework - addressing some crucial aspects of commonsense reasoning (namely: dealing with typicality effects and with the problem of commonsense compositionality) in a way that is integrated or compliant with different cognitive architectures. In doing so I will show how such aspects are better dealt with at different levels of representation and will discuss the adopted solution to integrate such representational layers.

Moralising accounts of depression include the idea that depression is a sin or the result of sin, and/or that it is the result of demonic possession which has occurred because of moral or spiritual failure. Increasingly some Christian communities, understandably concerned about the debilitating effects these views have on people with depression, have adopted secular folk psychiatry’s ‘medicalising’ campaign, emphasising that depression is an illness for which, like (so-called) physical illnesses, experients should not be held responsible. This paper argues that (...) both moralising and medicalising models of depression are intellectually and practically (pastorally and therapeutically) problematic, gesturing towards more promising emphases. (shrink)

The cognitive basis of geometry is still poorly understood, even the ‘simpler’ issue of what kind of representation of geometric objects we have. In this work, we set forward a tentative model of the neural representation of geometric objects for the case of the pure geometry of Euclid. To arrive at a coherent model, we found it necessary to consider earlier forms of geometry. We start by developing models of the neural representation of the geometric figures of ancient Greek (...) practical geometry. Then, we propose a related model for the earliest form of pure geometry – that of Hippocrates of Chios. Finally, we develop the model of the neural representation of the geometric objects of Euclidean geometry. The models are based on the hub-and-spoke theory. In our view, the existence of specific models opens the possibility of addressing the relationship between geometric figures and geometric objects, in a novel way, in terms of their neural representation. (shrink)

Human persons can act with libertarian freedom in heaven according to one prominent view, because they have freely acquired perfect virtue in their pre-heavenly lives such that acting rightly in heaven is volitionally necessary. But since the character of human persons is not perfect at death, how is their character perfected? On the unilateral model, God alone completes the perfection of their character, and, on the cooperative model, God continues to work with them in purgatory to perfect their own character. (...) I argue that although both models can make sense of all human persons enjoying free will in heaven on various assumptions, the cooperative model allows all human persons in heaven to enjoy a greater degree of freedom. This consideration about the degree of heavenly freedom provides a reason for God to implement the cooperative model. (shrink)

The present research extends previous functional accounts of counterfactual thinking by incorporating the notion of reflective and evaluative processing. Participants generated counterfactuals about their anagram performance, after which their persistence and performance on a second set of anagrams was measured. Evaluative processing of upward counterfactuals elicited a larger increase in persistence and better performance than did reflective processing of upward counterfactuals, whereas reflective processing of downward counterfactuals elicited a larger increase in persistence and better performance than did evaluative processing of (...) downward counterfactuals. Moreover, path analyses indicated that whereas the relationship between counterfactual thinking and persistence was accounted for by emotional responses following upward and downward counterfactual generation, the relationship between counterfactual thinking and performance was accounted for by enhanced persistence following reflective processing of downward counterfactuals, but was accounted for by both enhanced persistence and strategic thinking following evaluative processing of upward counterfactuals. (shrink)

In the last two decades, philosophy of neuroscience has predominantly focused on explanation. Indeed, it has been argued that mechanistic models are the standards of explanatory success in neuroscience over, among other things, topological models. However, explanatory power is only one virtue of a scientific model. Another is its predictive power. Unfortunately, the notion of prediction has received comparatively little attention in the philosophy of neuroscience, in part because predictions seem disconnected from interventions. In contrast, we argue that (...) topological predictions can and do guide interventions in science, both inside and outside of neuroscience. Topological models allow researchers to predict many phenomena, including diseases, treatment outcomes, aging, and cognition, among others. Moreover, we argue that these predictions also offer strategies for useful interventions. Topology-based predictions play this role regardless of whether they do or can receive a mechanistic interpretation. We conclude by making a case for philosophers to focus on prediction in neuroscience in addition to explanation alone. (shrink)

In this paper, I argue for a modified version of what Devitt calls the Representational Thesis. According to RT, syntactic rules or principles are psychologically real, in the sense that they are represented in the mind/brain of every linguistically competent speaker/hearer. I present a range of behavioral and neurophysiological evidence for the claim that the human sentence processing mechanism constructs mental representations of the syntactic properties of linguistic stimuli. I then survey a range of psychologically plausible computational models of (...) comprehension and show that they are all committed to RT. I go on to sketch a framework for thinking about the nature of the representations involved in sentence processing. My claim is that these are best characterized not as propositional attitudes but, rather, as subpersonal states whose representational properties are determined by their functional role. Finally, I distinguish between explicit and implicit representations and argue that the latter can be drawn on as data by the algorithms that constitute our sentence processing routines. I conclude that skepticism concerning the psychological reality of grammars cannot be sustained. (shrink)

The aim of this paper is to show that every topological space gives rise to a wealth of topological models of the modal logic S4.1. The construction of these models is based on the fact that every space defines a Boolean closure algebra (to be called a McKinsey algebra) that neatly reflects the structure of the modal system S4.1. It is shown that the class of topological models based on McKinsey algebras contains a canonical model that can (...) be used to prove a completeness theorem for S4.1. Further, it is shown that the McKinsey algebra MKX of a space X endoewed with an alpha-topologiy satisfies Esakia's GRZ axiom. (shrink)

Should models of consciousness be detailed _mechanistic_ models of particular types of systems, or should they be _minimal_ models that abstract away from the underlying mechanistic details and provide generalisations? Detailed mechanistic models may afford a complete and precise account of consciousness in human beings and other, physiologically similar mammals. But they do not provide a good model of consciousness in other animals, such as non-vertebrates, let alone artificial systems. Minimal models can be applicable to (...) a wide range of different conscious systems. But do they provide genuine explanations that are autonomous from explanations by detailed mechanistic models? This paper provides a taxonomy of minimal models and measures of consciousness, clarifies their relation to detailed mechanistic models, and highlights benefits of different minimalist approaches to consciousness. (shrink)

The first part of the book offers a hypothetical answer to the following questions: What is intelligent behaviour? What is information? How does the intelligent subject extract energy and information from the external environment? What are the mental states? How do the mental states occur? Despite the immense diversity of disciplines, topics and issues relating to the structure and the dynamics of the nervous system, of human consciousness, of intelligence in a synchronous and evolutionary perspective, two main philosophical and theoretical (...) ideologemes stand out in the neurosciences of today: the computational and the holonomic one. They are presented in the second part of the investigation. The third part is entirely focused on the semiotic approach to the study of intelligence. Particular attention is paid to the issue of the missing link between natural causality and intelligent behaviour, to which it offers a particular reply. The fourth part is itself a summary in the perspective of the conclusions of the previous parts. (shrink)

In the first section of this paper we show that i Π1 ≡ W⌝⌝lΠ1 and that a Kripke model which decides bounded formulas forces iΠ1 if and only if the union of the worlds in any path in it satisflies IΠ1. In particular, the union of the worlds in any path of a Kripke model of HA models IΠ1. In the second section of the paper, we show that for equivalence of forcing and satisfaction of Πm-formulas in a linear (...) Kripke model deciding Δ0-formulas it is necessary and sufficient that the model be Σm-elementary. This implies that if a linear Kripke model forces PEMprenex, then it forces PEM. We also show that, for each n ≥ 1, iΦn does not prove ℋ(IΠn's are Burr's fragments of HA. (shrink)

In this paper, I flesh out an account of the inferential basing relation using a theory about how humans reason: the mental models theory. I critically assess some of the notions that are used by that theory to account for inferential phenomena. To the extent that the mental models theory is well confirmed, that account of basing would be motivated on empirical grounds. This work illustrates how epistemologists could offer explications of the basing relation which are more detailed (...) and less empirically risky. (shrink)

Spirituality connotes praxis informed by religious or faith convictions. This can transform the individual and society at large. Christian spirituality is centered on how a person’s relationship with the God of Jesus Christ informs and directs one’s approach to existence and engagement with the world. The ecosystem concerns humanity and relationship with it is invariably influenced by faith or religious informed praxis. The reality of climate change is convincing many people that humankind’s common homeland needs to be treated with care (...) and respect if created beings are to have a congenial habitat now and in the future. This article avers that Christian spirituality can contribute to eco-friendly behavior through re-formation of the behavior of people and emboldening their goodwill as regards the responsibility of all towards the care of the earth. Finally, this research proffers a three-fold model of eco-spirituality - scriptural, selfcontrol, and sacramental approaches to the earth – as a contribution towards stemming the tide of ecological assaults on creation. Textual analysis is the method used in this research. (shrink)

How feasible are conceptual engineering projects of social concepts that aim for the engineered concept to be widely adopted in ordinary everyday life? Predominant frameworks on the psychology of concepts that shape work on stereotyping, bias, and machine learning have grim implications for the prospects of conceptual engineers: conceptual engineering efforts are ineffective in promoting certain social-conceptual changes. Specifically, since conceptual components that give rise to problematic social stereotypes are sensitive to statistical structures of the environment, purely conceptual change won’t (...) be possible without corresponding world change. This tradition, however, tends to ignore that concepts don’t only encode statistical, but also causal information. Paying attention to this feature of concepts, I argue, shows that conceptual engineering is not only possible. There is an imperative to conceptually-engineer. (shrink)

Traditional computers work with finite numbers. Situations where the usage of infinite or infinitesimal quantities is required are studied mainly theoretically. In this paper, a recently introduced computational methodology (that is not related to the non-standard analysis) is used to work with finite, infinite, and infinitesimal numbers numerically. This can be done on a new kind of a computer – the Infinity Computer – able to work with all these types of numbers. The new computational tools both give possibilities to (...) execute computations of a new type and open new horizons for creating new mathematical models where a computational usage of infinite and/or infinitesimal numbers can be useful. A number of numerical examples showing the potential of the new approach and dealing with divergent series, limits, probability theory, linear algebra, and calculation of volumes of objects consisting of parts of different dimensions are given. (shrink)

In this paper, I try to make sense of the growing block view using Kit Fine’s three-fold classification of A-theoretic views of time. I begin by motivating the endeavor of making sense of the growing block view by examining John Earman’s project in ‘Reassessing the prospects for a growing block model of the universe’. Next, I review Fine’s reconstruction of McTaggart’s argument and its accompanying three-fold classification of A-theoretic views. I then consider three interpretations of Earman’s growing block model: the (...) hybrid growing block, the purely tensed growing block, and Michael Tooley’s growing block. I argue for three claims. First, Finean ‘standard’ versions of these views are less congenial to the growing blocker than ‘non-standard’ ones. Second, the hybrid view is problematic on either version. And third, ‘non-standard’ versions are not fully intelligible. I provide further support for the first and third of these claims and explain why I take them to support a minimal account of passage as succession, which undercuts some of the motivation for Earman’s project. Lastly, I answer three objections. (shrink)

Modern generally accepted models of the growth of knowledge are scrutinized. It is maintained that Thomas Kuhn’s growth of knowledge model is grounded preeminently on Heidegger’s epistemology. To justify the tenet the corresponding works of both thinkers are considered. As a result, the one-to-one correspondence between the key propositions of Heideggerian epistemology and the basic tenets of Kuhn’s growth of knowledge model is elicited. The tenets under consideration include the holistic nature of a paradigm, the incommensurability thesis, conventional status (...) of a paradigm caused by pragmatist way of its vocabulary justification and even the basic instance – connection between Aristotelean and Newtonian mechanics. It is conjectured that an indirect influence of Heidegger upon Kuhn should be taken into account to explain the isomorphism. For instance, through the works of Alexandre Koyré admired by Kuhn. As is well-known, Koyré had close professional links with another Russian émigré – Alexandre Kojev – who presented in his 1933-1939 Paris lectures Hegel’s “Phenomenology of Spirit” seen through the cognitive lens of Heideggerian phenomenology. Key words: Martin Heidegger, Thomas Kuhn, Imre Lakatos, growth of knowledge, paradigm, incommensurability thesis, holism, pragmatism. (shrink)

In General Relativity, reference frames must be distinguished from coordinates. The former represent physical systems interacting with the gravitational system, aside from possible approximations, while the latter are mathematical artefacts. We propose a novel three-fold distinction between Idealised Reference Frames, Dynamical Reference Frames and Real Reference Frames. This paper not only clarifies the physical significance of reference frames, but also sheds light on the similarities between idealised reference frames and coordinates. It also analyses the salience of reference frames to define (...) local gauge-invariant observables and to propose a physical interpretation to diffeomorphism gauge symmetry. (shrink)

Compares and contrasts Open Theism with Theological Determinism, Molinism, and Process Theism.

In the view of my philosophical position “nominal conceptualism”, cognitive/knowledge agents, who are in some way aware of expressing the world based on their mental concepts, deal with their linguistic and/or symbolic expressions. In this paper I rely on nominal conceptualism to logically characterise agents’ concept-based descriptions of the world and analyse a fundamental logical system for conception representation.

Over the last thirty years, once staunchly film history scholars such as Thomas Elsaesser, Jane Gaines, Siegfried Zielinski, André Gaudreault and Benoît Turquety (to name just a few) have abandoned history for historiography and film studies for media archaeology. Considering the heightened attention given to kulturtechnik (Siegert), the database as a dominant symbolic metaphor,1 and the decentered networked tenants of the postmodern global present, cinema is taking on the characteristics of new media, existing in increasingly intertextual space. Thus, the term (...) “post-cinema” has been co-opted as a viable intermediary that accounts for new media conditions, as cinema is no longer emblematic of our cultural climate. It was once presaged in 1992 that “[t]he end of the cinema truly sounds the death knell of the ultimate metaphysical adventure of Dasein. In the twilight of post-cinema, of which we are seeing the beginning, human quasi-existence, now stripped of any metaphysical hypostasis and deprived of any theological model, will have to seek its proper generic consistency elsewhere.” Accordingly, we are no longer “moviegoing animals” who seek images of ourselves among a collective in the dark but, rather, users interfacing within a network of moving images. By locating post-cinema within the semblance of social media, we are allocated a newfound series of theoretical interventions, the most marked of which is that of media archeology vis-à-vis dialectical materialism. This is a lens through which Brian Winston has recently deftly decried Virtual Reality’s “empathy machine” utopic illusionism, bolstered by Chris Milk and a slew of neurohumanities researchers, steadily maintaining that the fundamental myth of “technologies of seeing” is in disguising “their artifice, their cultural formation and their ideological import.” However, this approach, which illuminates the bifurcation between Max Horkheimer/Theodor Adorno and Walter Benjamin, neglects what Benjamin identified as occurring to the work of art in the age of its technological reproducibility—a shift from a technology’s “cult value,” associated with the unique work, to its “exhibition value,” associated with the social act of viewing as part of a mass. Speaking to this divarication, Benjamin Barber, in Strong Democracy, foresaw new media’s two-fold potential—as they are organized and networked, new media and communications technologies possess the possibility to both energize citizen information and political participation but, simultaneously, to supplement the deterioration of public debate. As evinced by Mark Adrejevic’s concept of Infoglut, this two-pronged possibility has only been exacerbated by the interlocking relationship between the advent of a “glut” of information, post-truth politics, the demise of symbolic efficiency, and a renewed focus on the role of affect and emotion as “alternative modalities for thinking about the role of communication in a post-referential era.” Manuel Castells qualifies Barber’s pessimism, noting that the Internet can “be an appropriate platform for informed, interactive politics, stimulating political participation.. […] beyond the closed doors of political institutions,” but that the Internet, like any technology, “is shaped by its uses and users.” Thus, if there exists a positive correlation between exposure to post-cinema media artifacts and political participation, then I seek to explore the revelatory political possibilities of “exhibition value” by way of a particular “post-cinema” case study: the Marxist-Leninist Turkish hacktivist group Redhack’s YouTube-circulated documentary RED! (2013), a project that demanded—by way of the moving-image—to galvanize cyberprotest and democratize a “hacktivist commons. (shrink)

This paper provides a general introduction to the use of causal models in the metaphysics of causation, specifically structural equation models and directed acyclic graphs. It reviews the formal framework, lays out a method of interpretation capable of representing different underlying metaphysical relations, and describes the use of these models in analyzing causation.

Temporal Changes in Ovarian Gonadotropin-Releasing Hormone mRNA Levels by Gonadotropins in the Rat Sung Ho Lee, Eun-Seob Song, Sun Kyeong Yu, Changmee Kim, Dae Kee Lee, Wan Sung Choi l and Kyungjin Kim* Department of Molecular Biofogy and SRC for Cell Differentiation, Seoul National University, Seoul 150-742, Korea; IDepartment of Anatomy, College of Medicine, Gyeongsanf; National University, Chinju 660-280, Korea (Recei·. cd on December 29, 1993) The present study examines whether gonadotropins are involved in the regulation of ovarian GnRH gene (...) expression and how ovarian GnRH gene expression temporalJy correlates with alterations in hypothalamic GnRH, pituitary LH~ gene expression in respons to gonadotropins. Hypothalamic and ovarian GnRH mRNA and pituitary LH~ mRNA levels were determined by respective RNA-blot hybridizations, and ovarian GnRH and estradiol contents and serum LH levels were measured by respective radioimmunoassays. Three animal models such as 1) PMSG-treated, 2) PMSG and heG-treated immature rats and 3) proestrous stage of adult rats were used. Immature rats (25-days old) were administered with PMSG (10 iu) at 10:00 hand 48 h later with heG (10 iu) to induce ovulation. In the PMSG-injected model, hypothalamic GnRH mRNA levels were markedly augmented about 9-fold at 50 h, and pituitary LH mRNA 3-fold at 52 h after PMSG administration. Serum LH levels were increased to the preovulatory surge levels at 56 h, and ovarian GnRH mRNA levels were augmented 4-fold at 60 h after PMSG injection. Administration of heG also induced a marked enhancement in ovarian GnRH mRNA levels in comparison to the values shown in both intact and PMSGtreated rats at 52 hand 54 h, respectively. In the proestrous stage of normal adult rats, pituitary LH~ mRNA levels were peaked at 16:00 h. The preovulatory LH surge was evident at 4 h before increment in ovarian GnRH mRNA levels as shown in PMSG-treated rats. The present study clearly showed the sequential increase in hypothalamic GnRH mRNA, pituitary LH~ mRNA and ovarian GnRH mRNA levels, indicating that ovarian GnRH may play a possible role in the control of follicular maturation and the ovulation process. (shrink)

This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to formalise algorithmic (...) computation and to offer foundations for scientific computing. -/- The dissertation consists of three parts. In the first part, we examine what notion of 'algorithmic computation' underlies each approach and how it is respectively formalised. It is argued that the very existence of the two rival frameworks indicates that 'algorithm' is not one unique concept in mathematics, but it is used in more than one way. We test this hypothesis for consistency with mathematical practice as well as with key foundational works that aim to define the term. As a result, new connections between certain subfields of mathematics and computer science are drawn, and a distinction between 'algorithms' and 'effective procedures' is proposed. -/- In the second part, we focus on the second goal of the two rival approaches to real computation; namely, to provide foundations for scientific computing. We examine both frameworks in detail, what idealisations they employ, and how they relate to floating-point arithmetic systems used in real computers. We explore limitations and advantages of both frameworks, and answer questions about which one is preferable for computational modelling and which one for addressing general computability issues. -/- In the third part, analog computing and its relation to analogue (physical) modelling in science are investigated. Based on some paradigmatic cases of the former, a certain view about the nature of computation is defended, and the indispensable role of representation in it is emphasized and accounted for. We also propose a novel account of the distinction between analog and digital computation and, based on it, we compare analog computational modelling to physical modelling. It is concluded that the two practices, despite their apparent similarities, are orthogonal. (shrink)

The sense of agency, that is the sense that one is the agent of one’s bodily actions, is one component of our self-consciousness. Recently, Wegner and colleagues have developed a model of the causal history of this sense. Their model takes it that the sense of agency is elicited for an action when one infers that one or other of one’s mental states caused that action. In their terms, the sense of agency is elicited by the inference to apparent mental (...) state causation. Here, I argue that this model is inconsistent with data from developmental psychology that suggests children can identify the agent behind an action without being capable of understanding the relationship between their intentions and actions. Furthermore, I argue that this model is inconsistent with the preserved sense of agency in autism. In general, the problem is that there are cases where subjects can experience themselves as the agent behind their actions despite lacking the resources to make the inference to apparent mental state causation. (shrink)

In this paper, we review and connect the three essential conditions needed by the collapse model to achieve a complete and exact formulation, namely the theoretical, the experimental, and the ontological ones. These features correspond to the three parts of the paper. In any empirical science, the first two features are obviously connected but, as is well known, among the different formulations and interpretations of non-relativistic quantum mechanics, only collapse models, as the paper well illustrates with a richness of (...) details, have experimental consequences. Finally, we show that a clarification of the ontological intimations of collapse models is needed for at least three reasons: (1) to respond to the indispensable task of answering the question ’what are collapse models (and in general any physical theory) about?’; (2) to achieve a deeper understanding of their different formulations; (3) to enlarge the panorama of possible readings of a theory, which historically has often played a fundamental heuristic role. (shrink)

Generally, an epistemic fallibilist considers it reasonable to claim, “I know that P, but I may be wrong.” An epistemic infallibilist, on the other hand, would consider this claim absurd. I argue initially that infallibilism presents more advantages in its assertion of the claim’s absurdity than fallibilism does in making the claim. One, infallibilism is not faulted with the propensity for violations of epistemic closure that beleaguers some fallibilist accounts, due in part to the latter’s problematic shunting of fallible epistemic (...) standards across inferential chains. Two, infallibilism is more easily modelled doxastically than fallibilism, as the former’s understanding of certainty is more tractable than the latter’s idea of what counts as a viable standard of fallibility. A rectification of these fallibilist issues may then be called upon to motivate gradualist variants of fallibilism. For epistemic gradualism, the problematic modellability and shunting of standards is curtailed via an awareness that the standard for knowledge is just one out of many along a gradient that includes, at one extreme, the infallibilist standard of certainty. Specifically, first, gradualism, along with infallibilism, can be modelled doxastically through elucidating upon an obtaining relation between doubt and knowledge; next, the problem with violating closure, although not generally applicable to infallibilism, can be answered by gradualism with a reasonable denial of closure altogether that makes precise which epistemic standard is relevant for which part of an inferential chain; lastly, these modelling resources can be appropriated, by both gradualism and infallibilism, to successfully address a doxastically pertinent form of closure violation called rational self-doubt. (shrink)