Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...) Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)

We introduce a realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory’s basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation extends this intuitive picture (...) of states and Hilbert-space trajectories to the more realistic case of open quantum systems despite the generic development of entanglement. We provide independent justification for the partial-trace operation for density matrices, reformulate wave-function collapse in terms of an underlying interpolating dynamics, derive the Born rule from deeper principles, resolve several open questions regarding ontological stability and dynamics, address a number of familiar no-go theorems, and argue that our interpretation is ultimately compatible with Lorentz invariance. Along the way, we also investigate a number of unexplored features of quantum theory, including an interesting geometrical structure—which we call subsystem space—that we believe merits further study. We conclude with a summary, a list of criteria for future work on quantum foundations, and further research directions. We include an appendix that briefly reviews the traditional Copenhagen interpretation and the measurement problem of quantum theory, as well as the instrumentalist approach and a collection of foundational theorems not otherwise discussed in the main text. (shrink)

This is the formal YACC BNF specification for Minimal Type Theory (MTT). MTT was created by augmenting the syntax of First Order Logic (FOL) to specify Higher Order Logic (HOL) expressions using FOL syntax. Syntax is provided to enable quantifiers to specify type. FOL is a subset of MTT. The ASSIGN_ALIAS operator := enables FOL expressions to be chained together to form HOL expressions.

By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an empty name (...) in the model, so we are able to construct a 3-valued matrix, while for the latter, for which an empty name is necessary, the respective matrices are 4-valued. (shrink)

In this paper, we approach the problem of classical recapture for LP and K3 by using normality operators. These generalize the consistency and determinedness operators from Logics of Formal Inconsistency and Underterminedness, by expressing, in any many-valued logic, that a given formula has a classical truth value (0 or 1). In particular, in the rst part of the paper we introduce the logics LPe and Ke3 , which extends LP and K3 with normality operators, and we establish a classical recapture (...) result based on the two logics. In the second part of the paper, we compare the approach in terms of normality operators with an established approach to classical recapture, namely minimal inconsistency. Finally, we discuss technical issues connecting LPe and Ke3 to the tradition of Logics of Formal Inconsistency and Underterminedness. (shrink)

The problem of negative truth is the problem of how, if everything in the world is positive, we can speak truly about the world using negative propositions. A prominent solution is to explain negation in terms of a primitive notion of metaphysical incompatibility. I argue that if this account is correct, then minimal logic is the correct logic. The negation of a proposition A is characterised as the minimal incompatible of A composed of it and the logical constant ¬. A (...) rule based account of the meanings of logical constants that appeals to the notion of incompatibility in the introduction rule for negation ensures the existence and uniqueness of the negation of every proposition. But it endows the negation operator with no more formal properties than those it has in minimal logic. (shrink)

-/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a (...) correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture was later proved independently by the authors and by Newton da Costa. -/- The expression (vy:F) is called a variable bound term (vbt). In case F has only y free, (vy:F) has the syntactic propreties of an individual constant; and under a suitable interpretation of the language vy:F) denotes an individual. By a semantic analysis of vbtos we mean a proposal for amending the standard notions of (1) "an interpretation o f a first -order language" and (2) " the denotation of a term under an interpretation and an assignment", such that (1') an interpretation o f a first -order language associates a set-theoretic structure with each vbto and (2') under any interpretation and assignment each vb t denotes an individual. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

Modifying the descriptive and theoretical generalizations of Relativized Minimality, we argue that a significant subset of weak island violations arise when an extracted phrase should scope over some intervener but is unable to. Harmless interveners seem harmless because they can support an alternative reading. This paper focuses on why certain wh-phrases are poor wide scope takers, and offers an algebraic perspective on scope interaction. Each scopal element SE is associated with certain operations (e.g., not with complements). When a wh-phrase scopes (...) over some SE, the operations associated with that SE are performed in its denotation domain. The requisite operations may or may not be available in a domain, however. We present an empirical analysis of a variety of wh-phrases. It is argued that the wh-phrases that escape all weak islands (i.e., can scope over any intervener) are those that range over individuals, the reason being that all Boolean operations are defined for their domain. Collectives, manners, amounts, numbers, etc. all denote in domains with fewer operations and are thus selectively sensitive to scopal interveners—a “semantic relativized minimality effect”. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

Complex human reasoning involves minimal abilities to extract conclusions implied in the available information. These abilities are considered “deductive” because they exemplify certain abstract relations among propositions or probabilities called deductive arguments. However, the electrophysiological dynamics which supports such complex cognitive pro- cesses has not been addressed yet. In this work we consider typically deductive logico- probabilistically valid inferences and aim to verify or refute their electrophysiological functional connectivity differences from invalid inferences with the same content (same relational variables, same (...) stimuli, same relevant and salient features). We recorded the brain electrophysiological activity of 20 participants (age 1⁄4 20.35 ± 3.23) by means of an MEG system during two consecutive reasoning tasks: a search task (invalid condition) without any specific deductive rules to follow, and a logically valid deductive task (valid condition) with explicit deductive rules as instructions. We calculated the functional connectivity (FC) for each condition and conducted a seed-based analysis in a set of cortical regions of interest. Finally, we used a cluster-based permutation test to compare the dif- ferences between logically valid and invalid conditions in terms of FC. As a first novel result we found higher FC for valid condition in beta band between regions of interest and left prefrontal, temporal, parietal, and cingulate structures. FC analysis allows a second novel result which is the definition of a propositional network with operculo-cingular, parietal and medial nodes, specifically including disputed medial deductive “core” areas. The experiment discloses measurable cortical processes which do not depend on content but on truth-functional propositional operators. These experimental novelties may contribute to understand the cortical bases of deductive processes. (shrink)

We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make this explicit via (...) two methodological principles, called the Minimal Revision and the Acceptability Constraint. In Sect. 2, we introduce the standard distinction between internal and external fictional discourse. In Sects. 3–5, we discuss the approaches of (traditional) Meinongianism, Fictionalism, and Realism—and their main troubles. In Sect. 6 we propose our MMM approach. This is based upon (1) a modal semantics including impossible worlds (Subsect. 6.1); (2) a qualified Comprehension Principle for objects (Subsect. 6.2); (3) a notion of existence-entailment for properties (Subsect. 6.3). In Sect. 7 we present a formal semantics for MMM based upon a representation operator. And in Sect. 8 we have a look at how MMM solves the problems of the three aforementioned theories. (shrink)

Philosophers and scientists have often adopted the orthodox version of calibration which involves standardizing an instrument using a known phenomenon. The essential link between theoretical concepts and empirical data, in the philosophy of measurement, has generated the formulation of principles of coordination, synthetic a priori, and revisables. Operationalist thinking wanted to limit the scope of concepts to operations of measurement that are actually achievable. The coherentist perspective in the philosophy of measurement has operated a recovery of coordinationist epistemology and operationalism, (...) relying on a minimal number of ontological principles. Models of an instrument involve a commitment to separation between idealized theories and material things. However, philosophers and metrologists have advocated the requirement of a rich theoretical content in the modeling of measuring instruments. According to other contributions, the epistemic privilege of measurement precedes a background theory and its robustness lies in the free contact with empirical data. Moreover, the applicability regime of a theory dictates its boundary conditions, which guide the experimenter in the design of measuring instruments and provide the basis for operationalizing the meaning of theoretical terms. I support operational pluralism, measurement operations involving different physical indicators, accompanied by dynamic coherentism. The James Webb Space Telescope calibration program is a significant case. Observations of calibration stars by various methods are used to calculate the factors that convert a measurement in instrumental units to physical units. (shrink)

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...) are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

This paper clarifies the usage of Albert Hirschman’s categories of market behaviour as of exit and voice in debates about workplace democracy by taking seriously his critique of the neoclassical analysis of competition. Pro-market liberals are generally hostile to the idea of workplace democracy and tend to favour top-down hierarchies as a way of organising labour. This hostility is generally inspired by the neoclassical analysis of exploitation and efficiency, which leads them to defend distributions achieved through exit-based competitive equilibria. Following (...) Hirschman, I propose to consider a hypothetical alternative: a democratic equilibrium, reached through the use of voice. I show that it would present the same appealing characteristics than its competitive counterpart while also accounting for the non-ideal conditions in which markets operate. Support for free markets should entail support for workplace democracy minimally understood as a strengthening of voice. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

This paper offers an overview of the ways agents might extend over time and the characteristic structure of extended human agency. Agency can extend in two distinct but combinable modes: the ontological, which gives rise to simple continuous agents; and the conceptual, which gives rise to agents who conceive of and care about distal times, and have minimal planning abilities. Our extended form of agency combines both. But we are still limited by the temporal locality in the operation of our (...) psychological and executive powers. To account for this locality, I introduce the notion of 'temporal selves,' as the loci of immediacy in the agent's determination of their psychology, conduct, and practical standpoint. I argue that the passage of time generates, by itself, the threat of temporal alienation from distant temporal selves. A genuinely extended agency requires temporal identification: the sharing, by separate temporal selves, of a temporally extended and integrated practical standpoint. This temporal identification cannot be produced simply by temporal identity as continuity. What is required is temporal identity in the mode of unity and integration. This identity does not precede temporal identification but is co-constituted with it. I offer a preliminary account of the structure of the units of integration for agents who aspire to persist in the mode of unity and integration. I close with a cautionary note: the complex structure of integration, although familiar in everyday life, is often missed by standard philosophical accounts, which tend to focus on simple models of extended agency. (shrink)

In Pietroski ( 2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The present work is a study of this system from a logical perspective. In addition to establishing a completeness result and a complexity characterization for reasoning in the system, we also pinpoint its expressive limits, in particular showing that the fourth corner in the square of opposition (“ Some_not ”) eludes expression. We then study a seemingly small extension, called (...) SMPL +, which allows for a minimal predicate-binding operator. Perhaps surprisingly, the resulting system is shown to encode precisely the concepts expressible in first-order logic. However, unlike the latter class, the class of SMPL + expressions admits a simple procedural (context-free) characterization. Our contribution brings together research strands in logic—including natural logic, modal logic, description logic, and hybrid logic—with recent advances in semantics and philosophy of language. (shrink)

We study a fragment of Intuitionistic Linear Logic combined with non-normal modal operators. Focusing on the minimal modal logic, we provide a Gentzen-style sequent calculus as well as a semantics in terms of Kripke resource models. We show that the proof theory is sound and complete with respect to the class of minimal Kripke resource models. We also show that the sequent calculus allows cut elimination. We put the logical framework to use by instantiating it as a logic of agency. (...) In particular, we apply it to reason about the resource-sensitive use of artefacts. (shrink)

Russell’s theory of acquaintance construes perceptual awareness as at once constitutively independent of conceptual thought and yet a source of propositional knowledge. Wilfrid Sellars, John McDowell, and other conceptualists object that this is a ‘myth’: perception can be a source of knowledge only if conceptual capacities are already in play therein. Proponents of a relational view of experience, including John Campbell, meanwhile voice sympathy for Russell’s position on this point. This paper seeks to spell out, and defend, a claim that (...) offers the prospects for an attractive, unacknowledged element of common ground in this debate. The claim is that conceptual capacities, at least in a certain minimal sense implicit in McDowell’s recent work, must be operative in perceptual experience, if it is to rationalize judgement. The claim will be supported on the basis of two premises, each of which can be defended drawing, inter alia, on considerations stressed by Campbell. First, that experience rationalizes judgement only if it is attentive. Second, that attention qualifies as a conceptual capacity, in the noted, minimal sense. The conjunction of the two premises might be dubbed ‘attentional conceptualism’. (shrink)

We propose a logic to reason about data collected by a num- ber of measurement systems. The semantic of this logic is grounded on the epistemic theory of measurement that gives a central role to measure- ment devices and calibration. In this perspective, the lack of evidences (in the available data) for the truth or falsehood of a proposition requires the introduction of a third truth-value (the undetermined). Moreover, the data collected by a given source are here represented by means (...) of a possible world, which provide a contextual view on the objects in the domain. We approach (possibly) conflicting data coming from different sources in a social choice theoretic fashion: we investigate viable opera- tors to aggregate data and we represent them in our logic by means of suitable (minimal) modal operators. (shrink)

Could the concept of 'evil' apply to AI? Drawing on PF Strawson's framework of reactive attitudes, this paper argues that we can understand evil as involving agents who are neither fully inside nor fully outside our moral practices. It involves agents whose abilities and capacities are enough to make them morally responsible for their actions, but whose behaviour is far enough outside of the norms of our moral practices to be labelled 'evil'. Understood as such, the paper argues that, when (...) it comes to AI and evil, we have more to fear from semi-autonomous, hybrid agents: agents who have enough of a capacity to operate within a minimal form of human practices of participation and responsibility, yet remain partially outside of it, capable of acting from outside the parameters of ordinary interactions in certain circumstances, perhaps sometimes for reasons unknown. (shrink)

I argue in this dissertation that natural properties play a central role in David Lewis' modal realism. To argue in favor of this thesis I present: a bottom-up explanation of a top-down possible world metaphysics; a new definition of natural properties and natural fusion, a new mereological operation. To achieve these aims, in the first chapter, I contextualize the discussion, in the second I resume the discussion about universals in contemporary philosophy and argue that, considering the distinct formulations of the (...) problem, class nominalism combined with modal realism might be the best solution. Furthermore, I discuss Devitt's solution in which he defends that the problem about universals is, in fact, a pseudo problem. In the third chapter, I introduce a minimal ontology of properties, regarding natural properties, I discuss the existing definitions, present a new one and discuss some theories of similarity, a notion that is in the core of the definition I propose. Besides, I present how natural properties benefit the definition of terms of nomological package, linked to its fundamentality role. I also present some applications related to the rationality role that encompass some well-known philosophical problems of the second half of 20th century. In the fourth chapter, I present some varieties of philosophical realism, I consider the theoretical advantages of taking scientific realism as background and I discuss one more utility of natural properties, the solution to the problem of eligibility of reference or, the Putnam's paradox. In the fifth chapter, I discuss how mereology is important to link several aspects of Lewis' modal realism. For such, I discuss the relation between composition as identity and ontological innocence of mereology and I present the natural fusion mereology, a new mereological operation that aims to minimize the problems of unrestricted composition. (shrink)

This study aimed to determine the sustainable marketing strategies for micro, small, and medium enterprises (MSMEs) amidst the COVID-19 pandemic. In this research technique, a quantitative descriptive survey was utilized to examine 363 MSMEs in designated cities and municipalities in Pangasinan, such as Binmaley, Calasiao, Dagupan City, Mangaldan, San Carlos City, Santa Barbara, and Urdaneta City, all registered with the Department of Trade and Industry (DTI). According to the findings, manufacturing is the primary industry for most respondents; they are sole (...) proprietorships with less than PhP3 Million in assets, have 1-9 employees, and have been in operation for less than three years. The sustainable marketing strategies implemented by the MSMEs in terms of product, place, price, promotion, physical evidence, people, and process are considered extremely important. The level of effectiveness in sustaining marketing strategies of MSMEs is considered very effective. The respondents assessed the problems encountered by the MSMEs in sustaining marketing strategies as extremely serious. It can be concluded that the majority of the respondents were in the manufacturing business, a single type of business organization, and, capitalization comprises not more than 3 million. Most of them have a minimal number of employees and operate for a short time. For the sustainable marketing strategies implemented by the MSMEs product, place, price, physical evidence, people and process are extremely important while promotions are very important. The effectiveness of 7ps of marketing is considered very effective. The respondent’s problems encountered by the MSMEs in sustaining marketing strategies as extremely serious. (shrink)

I start with some famous comments by the philosopher (psychologist) Ludwig Wittgenstein because Pinker shares with most people (due to the default settings of our evolved innate psychology) certain prejudices about the functioning of the mind and because Wittgenstein offers unique and profound insights into the workings of language, thought and reality (which he viewed as more or less coextensive) not found anywhere else. The last quote is the only reference Pinker makes to Wittgenstein in this volume, which is most (...) unfortunate considering that he was one of the most brilliant and original analysts of language. -/- In the last chapter, using the famous metaphor of Plato’s cave, he beautifully summarizes the book with an overview of how the mind (language, thought, intentional psychology) –a product of blind selfishness, moderated only slightly by automated altruism for close relatives carrying copies of our genes--works automatically, but tries to end on an upbeat note by giving us hope that we can nevertheless employ its vast capabilities to cooperate and make the world a decent place to live. -/- Pinker is certainly aware of but says little about the fact that far more about our psychology is left out than included. Among windows into human nature that are left out or given minimal attention are math and geometry, music and sounds, images, events and causality, ontology (classes of things), dispositions (believing, thinking, judging, intending etc) and the rest of intentional psychology of action, neurotransmitters and entheogens, spiritual states (e.g, satori and enlightenment, brain stimulation and recording, brain damage and behavioral deficits and disorders, games and sports, decision theory (incl. game theory and behavioral economics), animal behavior (very little language but a billion years of shared genetics). Many books have been written about each of these areas of intentional psychology. The data in this book are descriptions, not explanations that show why our brains do it this way or how it is done. How do we know to use the sentences in their various way (i.e., know all their meanings)? This is evolutionary psychology that operates at a more basic level –the level where Wittgenstein is most active. And there is scant attention to context. -/- Nevertheless this is a classic work and with these cautions is still well worth reading. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

The development of synthetic biology calls for accurate understanding of the critical functions that allow construction and operation of a living cell. Besides coding for ubiquitous structures, minimal genomes encode a wealth of functions that dissipate energy in an unanticipated way. Analysis of these functions shows that they are meant to manage information under conditions when discrimination of substrates in a noisy background is preferred over a simple recognition process. We show here that many of these functions, including transporters and (...) the ribosome construction machinery, behave as would behave a material implementation of the informationmanaging agent theorized by Maxwell almost 150 years ago and commonly known as Maxwell’s demon (MxD). A core gene set encoding these functions belongs to the minimal genome required to allow the construction of an autonomous cell. These MxDs allow the cell to perform computations in an energy-efficient way that is vastly better than our contemporary computers. (shrink)

Linguistic competence, in general terms, involves the ability to learn, understand, and speak a language. The nativist view in the philosophy of linguistics holds that the principal foundation of linguistic competence is an innate faculty of linguistic cognition. In this paper, close scrutiny is given to nativism's fundamental commitments in the area of metaphysics. In the course of this exploration it is argued that any minimally defensible variety of nativism is, for better or worse, married to two theses: linguistic competence (...) is grounded in a faculty of linguistic cognition that is (i) embodied and (ii) whose operating rules are represented in the brains of human language users. (shrink)

Abstract We examine the construction of electromagnetism in its current form, and in an alternative form, from a point of view that combines a minimal realism with strict rational demands. We begin by discussing the requests of reason when constructing a theory and next, we follow the historical development as presented in the record of original publications, the underlying epistemology (often explained by the authors) and the mathematical constructions. The historical construction develops along socio-political disputes (mainly, the reunification of Germany (...) and the second industrial revolution), epistemic disputes (at least two demarcations of science in conflict) and several theories of electromagnetism. Such disputes resulted in the militant adoption of the ether by some, a position that expanded in parallel with the expansion of Prussia. This way of thinking was facilitated by the earlier adoption of a standpoint that required, as a condition for understanding, the use of physical hypothesis in the form of analogies; an attitude that is antithetic to Newton's “hypotheses non fingo”. While the material ether was finally abandoned, the epistemology survived in the form of “substantialism” and a metaphysical ether: the space. The militants of the ether attributed certainties regarding the ether to Faraday and Maxwell, when they only expressed doubts and curiosity. Thus, the official story is not the real history. This was achieved by the operation of detaching Maxwell's electromagnetism from its construction and introducing a new game of formulae and interpretations. Large and important parts of Maxwell work are today not known, as for example, the rules for the transformation of the electromagnetic potentials between moving systems. When experiments showed that all the theories based in the material ether were incorrect, a new interpretation was offered: Special Relativity (SR). At the end of the transformation period a pragmatic view of science, well adapted to the industrial society, had emerged, as well as a new protagonist: the theoretical physicist. The rival theory of delayed action at distance initiated under the influence of Gauss was forgotten in the midst of the intellectual warfare. The theory is indistinguishable in formulae from Maxwell's and its earlier versions are the departing point of Maxwell for the construction of his equations. We show in a mathematical appendix that such (relational) theory can incorporate Lorentz' contributions as well as Maxwell's transformations and C. Neumann's action, without resource to the ether. Demarcation criteria was further changed at the end of the period making room for habits and intuitions. When these intuited criteria are examined by critical reason (seeking for the fundaments) they can be sharpened with the use of the Non Arbitrariness Principle, which throws light over the arbitrariness in the construction of SR. Under a fully rational view SR is not acceptable, it requires to adopt a less demanding epistemology that detaches the concept from the conception, such as Einstein's own view in this respect, inherited from Hertz. In conclusion: we have shown in this relevant exercise how the reality we accept depends on earlier, irrational, decisions that are not offered for examination but rather are inherited from the culture. (shrink)

Quine argues that if sentences that are set theoretically equivalent are interchangeable salva veritate, then all transparent operators are truth-functional. Criticisms of this argument fail to take into account the conditional character of the conclusion. Quine also argues that, for any person P with minimal logical acuity, if ‘belief’ has a sense in which it is a transparent operator, then, in that sense of the word, P believes everything if P believes anything. The suggestion is made that he intends (...) that result to show us that ‘believes’ has no transparent sense. Criticisms of this argument are either based on unwarranted assertions or on definitions of key terms that depart from Quine’s usage of those terms. (shrink)

The paper focuses on the epistemology developed by Richard Burthogge, the lesser-known seventeenth-century English philosopher, and author, among other works, of Organum Vetus & Novum (1678) and An Essay upon Reason and the Nature of Spirits (1694). Although his ideas had a minimal impact on the philosophy of his time, and have hitherto not been the subject of a detailed study, Burthogge’s writings contain a highly original concept of idealistic constructivism, anticipating (relatively speaking) Kant’s idealism. At the same time, some (...) interesting implications for the issue of self-interpretation and self-identity can be derived from his account of the mind. At the core of Burthogge’s epistemological position is a remarkable idea of structural and functional similarity between the three human cognitive faculties, that is between reasoning, sensation and imagination. Accordingly, every cognition, intellectual as well as sensuous, contains in its structure an object-directed operation of apprehending and thus can be viewed as an intentional act in a broad sense of the term. An immediate consequence of this claim for both mind and object is that they cannot be reduced to a pure stream of sense data, but on the contrary are to be considered ontologically independent from the content of a cognitive act. Furthermore, an object of cognition is never presented to the mind directly, as it is in itself, but always under the modus concipiendi, a particular form or manner of conceiving, specific to human cognitive powers due to their internal structure. As a result, Burthogge clearly anticipates Kant in claiming that it is impossible to know reality in itself, and in situating human consciousness as if in between two unknowable spheres: the external and internal one. Since these restrictions are imposed not only on external, but also on internal cognition, that is on self-knowledge, they lead to considerable difficulties regarding the mind’s identity. Basically, two principal strategies to address this issue are available in the post-Cartesian framework of seeing the mind as an ontologically independent entity, and both of them appear to be ineffective when employed in Burthogge’s epistemology. First, the mind identity can be grounded in some extra-mental factors, preferably in matter. However, with no access to the external world in itself, and with the scope of knowledge restricted to mental phenomena, the mind’s identity cannot be defined in terms of relationship with the reality of which it knows nothing except that it exits. The second option is to explain personal identity by referring it to the intrinsic properties of the mind. Nevertheless, this strategy also faces insuperable obstacles, and for the same reasons as the former does. Since self-knowledge is no exception to the structural-functional principles imposed on cognition, the mind can also be known only under the subjective conditions of conceiving. It is, therefore, just as unknowable in itself as the external things are. The main purpose of the paper is to explore this aspect of Burthogge’s philosophy. (shrink)

Most artworks—or at least most among those standardly subject to philosophical scrutiny—appear to be singular, stand-alone works. However, some artworks (indeed, perhaps a good many) are by contrast best viewed in terms of some larger grouping or ordering of artworks. i.e., as a series. The operative art-theoretic notion of series in which I am interested here is that of an individual and distinct artwork that is itself non-trivially composed of a non-trivial sequence of artworks (e.g., Walter de Maria’s Statement Series, (...) Krzysztof Kieslowski’s Three Colors)—as opposed to an art-historically informative or art critically productive thematically, stylistically, or formally unified ordering or grouping of individual and distinct artworks within an artist’s larger body of work (e.g., Kiki Smith’s Blue Print series, Dan Flavin’s Monuments to V. Tatlin series, Jeff Koons’ Made in Heaven series, Robert Rauschenberg’s Tribute 21 series). Given this, my aim is simply to sketch a minimal descriptive and classificatory framework for serial art within which certain informative distinctions may be made and further philosophical enquiry may productively take place. (shrink)

We consider a basic logic with two primitive uni-modal operators: one for certainty and the other for plausibility. The former is assumed to be a normal operator, while the latter is merely a classical operator. We then define belief, interpreted as “maximally plausible possibility”, in terms of these two notions: the agent believes \ if she cannot rule out \ ), she judges \ to be plausible and she does not judge \ to be plausible. We consider four (...) interaction properties between certainty and plausibility and study how these properties translate into properties of belief. We then prove that all the logics considered are minimal logics for the highlighted theorems. We also consider a number of possible interpretations of plausibility, identify the corresponding logics and show that some notions considered in the literature are special cases of our framework. (shrink)

This dissertation compares the notions of homo rationalis in Philosophy and homo oeconomicus in Economics. Particularly, in Part I, we claim that both notions are close methodological substitutes. Accordingly, we show that the constraints involved in the notion of economic rationality apply to the philosophical notion of rationality. On these premises, we explore the links between the notions of Kantian and Humean rationality in Philosophy and the constructivist and ecological approaches to rationality in economics, respectively. Particularly, we show that the (...) constraints involved in both approaches to rationality in economics apply to the notions of Kantian and Humean rationality. That is why we introduce the notion of minimal global rationality. In a nutshell, the latter links one’s rationality to one’s ability to make good use of their cognitive apparatus to process contextual variables. On this basis, in Part II, we present two empirical tests showing that minimal global rationality is at work in philosophical experiments because systematic manipulations of contextual variables predictably affect philosophical judgment in the Trolley Problem and in some Knobe-like vignettes. In the first case, the manipulation of the information provided to subjects predictably causes inconsistent judgments. More precisely, subjects’ response to information shocks predictably causes them to issue inconsistent judgments. Instead, in the second case, our experimental results reveal that the Knobe Effect activates only if the perpetrator of an action is likely to be perceived as evil and unfriendly. Besides, when the Knobe-like vignettes include probabilistic outcomes, the Knobe Effect does not activate or is reduced in magnitude. For these reasons, we maintain that the availability heuristic bias arguably affects one’s judgment in Knobe-like experiment settings. Eventually, in Part III, we survey the general implications of the findings presented in Part II. First and foremost, we show that when manned social media algorithms produce wide-ranging availability cascades, agents predictably respond to those cascades by herding around biased claims. Interestingly, we find that the exposure to similarly redundant online content makes new social groups emerge unhindered. That is why populists and conspiracy theorists obtain such a large follow-up online. Secondly, we find that manned social media algorithms can exploit the flaws of minimal global rationality at a faster pace than humans. Yet, given that latter algorithms cannot do so on their own, we argue that the Turing Test is still an open game. Specifically, we argue so because state-of-the-art technology can request a service to be supplied (e.g., Google Duplex) but cannot operate direct sales. This constraint of state-of-the-art technology is linked to its inability to exploit the flaws of global minimal rationality as well as humans can. Importantly, we show that if algorithms were able to do so, the involved sociopolitical risk would be high. Therefore, we argue that only some form of regulation over state-of-the-art technology can prevent and reduce such sociopolitical risks. -/- In case you want a copy of this dissertation, please email me. (shrink)

This paper presents an axiomatization of a class of set-theoretic conditional operators using minimization of the geodesic distance defined as the shortest path generated by the accessibility relation on a frame. The objective of this modeling is to define conditioning based on a notion of similarity generated by degrees of indistinguishability.

Application of the reliability of repairable systems on solving problems from constructing production systems takes an important place in the process of finding the optimal solution among the suggested system choices. The basic hypothesis when using the reliability of the repairable systems is that every machine is representing a component, a fact that is debatable when talking about technical sciences. However, considering the second assumption of the stationary process, the function of the availability is introduced. It represents the measure between (...) the reliability and the benefit of maintaining the components and the system as a whole one. An additional and the last reason for analyzing constructing machine as a whole one has an economic reason. From the aspect of the total cost and the capacity of the system, the function of the availability is catching more and more impact in the process of determinating the total cost in bill of quantities as the most important part of tender documents. Until former works, techno-economic optimisation usually ran over when choosing the system of the construction machines. In the work, there are shown the methodologies for gathering and analyzing the indicators of availabilities per unit of a company's machine park. The time of demission and reparation have been investigated among 34 components in the period of 6 years. Based on the obtained result for different conditions of machine exploitation and facilities, it is suggested the methodology of the future behaviour of the corresponding within the model optimization availability of constructing production system with the aim of eliminating extra criterion. The suggested model takes in consideration the total cost of the components when they are functional, and when they are not. This kind of approach enables the one who take choices decision of the height of profits, in the lenght of work in function of the projection of cash flow and managing with real indicators of functioning the system at the project level. Given the fact that the maintanance policy of machines is based on availability, and not on reliability of components, with the aim of maximizing the availability of different budget scenarios, a logical approach to the selection of the objective function in the terms of management of construction production systems is to minimize costs for a given availability of system constructing machinery is based on the use of historical data base with the values of the operational availability of components, conditions in which they function, in the process of forecasting the project availability for projects that follow. Ranking variant solutions is the result of the adopted function of the aim as a consequence due to enlargement methods of availability for serial parallel systems with the associated restrictions. For optimal system availability is taken a value that belongs to minimal total cost. However, it is predicted that after the end of the financial year, the real and projected indicators of system functions get compared to each other. Informational support to the proposed model is informational company system, which was built in the PHP programming language on the Linux software platform, and with data based in My SQL. The suggested model is tested on the system for the production and embedding bitumen bound materials on the specific project. Obtained results confirm the assumptions used in work. (shrink)

This article provides the foundation for a new predictive theory of animal learning that is based upon a simple logical model. The knowledge of experimental subjects at a given time is described using logical equations. These logical equations are then used to predict a subject’s response when presented with a known or a previously unknown situation. This new theory suc- cessfully anticipates phenomena that existing theories predict, as well as phenomena that they cannot. It provides a theoretical account for phenomena (...) that are beyond the domain of existing models, such as extinction and the detection of novelty, from which “external inhibition” can be explained. Examples of the methods applied to make predictions are given using previously published results. The present theory proposes a new way to envision the minimal functions of the nervous system, and provides possible new insights into the way that brains ultimately create and use knowledge about the world. (shrink)

The mythical bronze creature Talos (Greek: Τάλως) was worshiped initially as the god of light or the sun in the Hellenic Island of Crete. He is supposed to have lived in the peak Kouloukona of the Tallaia Mountains in the Gerontospelio cave. His relation towards bronze and fire and his continuous voyage circling the island of Crete most probably introduces the concept of the change of the four seasons. The sun was considered in the area of the South-East Mediterranean nations (...) as just judge, a guardian who monitors and judges from above all the actions of the commoners, a controller for the faithful application of laws in Crete [1]. Hesychios in his Lexicon notes that talos means sun and that the name Tallaios was initially attributed to Zeus [2]. The birth of the Olympian gods forged a new Pantheon and nomenclature forcing some of the old gods to fell into lower deities. This happened to Talos who soon became a mythical hero [1]. According to Apollodorus, the bronze creature was forged by the magnificent constructor Hephaestus as a gift to the mythical King Minoa to help him guard the island [3]. Although the verb “peritrohazo” (Greek: περιτροχαζω) was used, meaning a movement in a steady orbit (track), some depictions image him as a winged being. To protect the island, he was throwing rocks into unknown ships or in the case of a foreign landing he was burning with fire or with his flamed bronze body the intruders. He was holding copper plates with the laws of the island and his circle allowed him to pass all island sores three times daily [1,4-6]. Plato, speaks of him as a real person, suggesting he was the brother of King Rhadamanthys, thus a son of Zeus [5]. Talos may be considered as the token of the Cretan power, a symbol of technological development in the field of metalworking in prehistoric and Minoan times. An animated, programmed gigantic android to enforce its will. A primitive robot for basic actions having a power source, fire and ichor (Greek: ιχώρ) the sacred fluid in the vessels of the gods. The first manufactured being with his individual intelligence, a primary concept of artificial intelligence (AI) [7]. -/- Homer was the first to introduce the term automata (Greek: αυτόματα), to describe ingenious machines built by the supreme blacksmith god of invention and technology, God of metal and fire, Hephaestus, manufactured devices “acting of one’s own will” as the Hellenic word indicates [8]. Eons later, the humanoid automaton the “Automa cavaliere” (English: Automaton knight) appeared in the court of the nobleman and Duke of Milan Ludovico Maria Sforza. It was the year 1495, when Leonardo da Vinci presented his robotic knight, an innovative construction operated by a series of pulleys and cables, presenting though no individual mind. Although it was manufactured by a highly intelligent polymath, it could only be operated through an outer intelligence [9]. Advancements made during the Fourth Industrial Revolution allowed modern technology to manufacture intelligent machines to aid the field of invasive surgery. One of those most sophisticated devises is the da Vince Surgical Tower. -/- Launched in the setting of the 21st century, the DaVinci System is one of the most commonly employed tools/systems, which has prevailed in the field of robotic-assisted surgery [10]. One could claim that it practically reshaped the concept of surgery, providing doctors with immense capabilities, aiming towards the optimal post-operative outcome. Through visual augmentation, high resolution 3D video, enhanced precision and reduced complication rates [11] the DaVinci Si and the latest DaVinci Xi system have been implemented in a variety of surgeries, including but not limited to general, urologic, gynecologic, thoracic and even cardiac procedures; valve and coronary artery bypass graft operations [12,13]. Da Vinci is cleared globally for cardiosurgery and came in vogue to fulfill the dream of cardiac surgeons to operate in closet chest. It offers in patients the same benefits as those that open chest incision surgery procedures do [14]. -/- The more recent DaVinci Xi model was introduced to counteract commonly known drawbacks of the Si system, such as the inability to simultaneously manipulate the different abdominal quadrants [10]. It consists of four boom mounted robotic arms along with a mobile platform and a master console. The latter with the adaptable intraocular distance, the cushioned headrest, the modifiable arm bars and the flexible finger loops, is meticulously designed to meet the surgeon´s “demands” [12]. Every robotic arm has three degrees of freedom, which combined with the EndoWrist technology to imitate the delicate motion of the surgeon´s hand, acquires an extra seven degrees of freedom. Evidently, the combination of the user-friendly interface, the high-quality 3D intraoperative images, the multiple joints and sensors, as well as the surgeon himself, who can learn to handle the DaVinci Xi Surgical System in a relatively short period of time, has established the model in the surgical armamentarium, paving the way towards a continuously progressive future of minimally invasive and robotic surgery (Figure 1) [12]. -/- History testifies that the nomination of the AI surgical tower as da Vinci was wrongfully given to commemorate a majestic historical figure. It is clear that the mythical creature Talos which was fabricated by the ingenious god Hephaestus was the first true automaton in the line of AI origins. (shrink)

In this paper, I embark on diving deep into the specific training model of the systematic approach to training for probing more perspectives of its governance that should connect and link its phases together. Actually this training model is applied by many organizations all around the world that require a high level of professional trained staff with a minimal standard deviation of processes. I am here concerned with those organizations seeking a better training system, while ending up being superficially satisfied (...) with reverberating and bragging with having the SAT onboard without full awareness of the possibilities of its implementation. It is not about the system, it is about the mindsets that are flexible enough to fully grasp the ins and outs of the model they are about to use and how to harness its tools for their organizational benefit; otherwise it’s a waste of time, effort and money. In order to operate training in a systematic manner, it has to not only cover the inter related stages and processes, but also set a solid bridge that keeps and maintains the smooth landing from one stage to another along with securing the prospected outputs which conforms to both form and content. Based on my experience on the best practices of the systematic approach to training, I will here contribute my insight of the system quality control technique that may help in a well-knitted flow of processes. (shrink)

I start with some famous comments by the philosopher (psychologist) Ludwig Wittgenstein because Pinker shares with most people (due to the default settings of our evolved innate psychology) certain prejudices about the functioning of the mind, and because Wittgenstein offers unique and profound insights into the workings of language, thought and reality (which he viewed as more or less coextensive) not found anywhere else. There is only reference to Wittgenstein in this volume, which is most unfortunate considering that he was (...) the most brilliant and original analyst of language. -/- In the last chapter, using the famous metaphor of Plato’s cave, he beautifully summarizes the book with an overview of how the mind (language, thought, intentional psychology) –a product of blind selfishness, moderated only slightly by automated altruism for close relatives carrying copies of our genes (Inclusive Fitness)--works automatically, but tries to end on an upbeat note by giving us hope that we can nevertheless employ its vast capabilities to cooperate and make the world a decent place to live. -/- Pinker is certainly aware of but says little about the fact that far more about our psychology is left out than included. Among windows into human nature that are left out or given minimal attention are math and geometry, music and sounds, images, events and causality, ontology (classes of things or what we know), most of epistemology (how we know), dispositions (believing, thinking, judging, intending etc.) and the rest of intentional psychology of action, neurotransmitters and entheogens, spiritual states (e.g, satori and enlightenment, brain stimulation and recording, brain damage and behavioral deficits and disorders, games and sports, decision theory (incl. game theory and behavioral economics), animal behavior (very little language but a billion years of shared genetics). Many books have been written about each of these areas of intentional psychology. The data in this book are descriptions, not explanations that show why our brains do it this way or how it is done. How do we know to use the sentences in their various way (i.e., know all their meanings)? This is evolutionary psychology that operates at a more basic level –the level where Wittgenstein is most active. And there is scant attention to the context in which words are used = an arena which Wittgenstein pioneered. -/- Nevertheless, this is a classic work and with these cautions is still well worth reading. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

A strategy for investigating consciousness that has proven very productive has focused on comparing brain processes that are accompanied by consciousness with processes that are not. But comparatively little attention has been given to a related strategy that promises to be even more fertile. This strategy exploits the fact that as individuals develop, new classes of brain processes can transition from operating ‘in the dark’ to becoming conscious. It has been suggested that these transitions occur when a new class of (...) brain processes becomes object to a new, emergent, higher-level subject. Similar transitions are likely to have occurred during evolution. An evolutionary/developmental research strategy sets out to identify the nature of the transitions in brain processes that shift them from operating in the dark to ‘lighting up’. The paper begins the application of this strategy by extrapolating the sequence of transitions back towards its origin. The goal is to reconstruct a minimally-complex, subject-object subsystem that would be capable of giving rise to consciousness and providing adaptive benefits. By focusing on reconstructing a subsystem that is simple and understandable, this approach avoids the homunculus fallacy. The reconstruction suggests that the emergence of such a minimally-complex subsystem was driven by its capacity to coordinate body-environment interactions in real time e.g. hand-eye coordination. Conscious processing emerged initially because of its central role in organising real-time sensorimotor coordination. The paper goes on to identify and examine a number of subsequent major transitions in consciousness, including the emergence of capacities for conscious mental modelling. Each transition is driven by its potential to solve adaptive challenges that cannot be overcome at lower levels. The paper argues that mental modelling arose out of a pre-existing capacity to use simulations of motor actions to anticipate the consequences of the actions. As the capacity developed, elements of the simulations could be changed, and the consequences of these changes could be ‘thought through’ consciously. This enabled alternative motor responses to be evaluated. The paper goes on to predict significant new major transitions in consciousness. (shrink)

This is not a perfect book, but it is unique, and if you skim the first 400 or so pages, the last 300 (of some 700) are a pretty good attempt to apply what's known about behavior to social changes in violence and manners over time. The basic topic is: how does our genetics control and limit social change? Surprisingly he fails to describe the nature of kin selection (inclusive fitness) which explains much of animal and human social life. He (...) also (like nearly everyone) lacks a clear framework for describing the logical structure of rationality (LSR—John Searle’s preferred term) which I prefer to call the Descriptive Psychology of Higher Order Thought (DPHOT). He should have said something about the many other ways of abusing and exploiting people and the planet, since these are now so much more severe as to render other forms of violence nearly irrelevant. Extending the concept of violence to include the global long-term consequences of replication of someone’s genes, and having a grasp of the nature of how evolution works (i.e., kin selection) will provide a very different perspective on history, current events, and how things are likely to go in the next few hundred years. One might start by noting that the decrease in physical violence over history has been matched (and made possible) by the constantly increasing merciless rape of the planet (i.e., by people's destruction of their own descendant’s future). Pinker (like most people most of the time) is often distracted by the superficialities of culture when it’s biology that matters. See my recent reviews of Wilson’s ‘The Social Conquest of Earth’ and Nowak and Highfield’s ‘SuperCooperators’ here and on the net for a brief summary of the vacuity of ‘true altruism’ (group selection), and the operation of kin selection and the uselessness and superficiality of describing behavior in cultural terms. -/- This is the classic nature/nurture issue and nature trumps nurture --infinitely. What really matters is the violence done to the earth by the relentless increase in population and resource destruction (due to medicine and technology and conflict suppression by police and military). About 200,000 more people a day (another Las Vegas every 10 days, another Los Angeles every month), the 6 tons or so of topsoil going into the sea/person/year –about 1% of the world’s total disappearing yearly, etc. mean that unless some miracle happens the biosphere and civilization will largely collapse during next two centuries, and there will be starvation, misery and violence of every kind on a staggering scale. People's manners, opinions and tendencies to commit violent acts are of no relevance unless they can do something to avoid this catastrophe, and I don't see how that is going to happen. There is no space for arguments, and no point either (yes I'm a fatalist), so I'll just make a few comments as though they were facts. Don't imagine I have a personal stake in promoting one group at the expense of others. I am 78, have no descendants and no close relatives and do not identify with any political, national or religious group and regard the ones I belong to by default as just as repulsive as all the rest. -/- Parents are the worst Enemies of Life on Earth and, taking the broad view of things, women are as violent as men when one considers the fact that women's violence (like most of that done by men) is largely done in slow motion, at a distance in time and space and mostly carried out by proxy -by their descendants and by men. Increasingly, women bear children regardless of whether they have a mate and the effect of stopping one woman from breeding is on average much greater than stopping one man, since they are the reproductive bottleneck. One can take the view that people and their offspring richly deserve whatever misery comes their way and (with rare exceptions) the rich and famous are the worst offenders. Meryl Streep or Bill Gates or J.K Rowling and each of their kids may destroy 50 tons of topsoil each per year for generations into the future, while an Indian farmer and his may destroy 1 ton. If someone denies it that's fine, and to their descendants I say "Welcome to Hell on Earth"(WTHOE). -/- The emphasis nowadays is always on Human Rights, but it is clear that if civilization is to stand a chance, Human Responsibilities must replace Human Rights. Nobody gets rights without being a responsible citizen and the first thing this means is minimal environmental destruction. The most basic responsibility is no children unless your society asks you to produce them. A society or a world that lets people breed at random will always be exploited by selfish genes until it collapses (or reaches a point where life is so horrific it's not worth living). If society continues to maintain Human Rights as primary, to their descendants one can say with confidence "WTHOE". -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other logical theory, action theories may also evolve, and thus knowledge engineers need revision methods to help in accommodating new incoming information about the behavior of actions in an adequate manner. The present work is about changing action domain descriptions in multimodal logic. Its contribution is threefold: first we revisit the semantics of action theory contraction proposed (...) in previous work, giving more robust operators that express minimal change based on a notion of distance between Kripke-models. Second we give algorithms for syntactical action theory contraction and establish their correctness with respect to our semantics for those action theories that satisfy a principle of modularity investigated in previous work. Since modularity can be ensured for every action theory and, as we show here, needs to be computed at most once during the evolution of a domain description, it does not represent a limitation at all to the method here studied. Finally we state AGM-like postulates for action theory contraction and assess the behavior of our operators with respect to them. Moreover, we also address the revision counterpart of action theory change, showing that it benefits from our semantics for contraction. (shrink)

The Internet of Things (IoT) infrastructure forms a gigantic network of interconnected and interacting devices. This infrastructure involves a new generation of service delivery models, more advanced data management and policy schemes, sophisticated data analytics tools, and effective decision making applications. IoT technology brings automation to a new level wherein nodes can communicate and make autonomous decisions in the absence of human interventions. IoT enabled solutions generate and process enormous volumes of heterogeneous data exchanged among billions of nodes. This results (...) in Big Data congestion, data management, storage issues and various inefficiencies. Fog Computing aims at solving the issues with data management as it includes intelligent computational components and storage closer to the data sources. Often, an IoT-enabled infrastructure is shared among many users with various requirements. Sharing resources, sharing operational costs and collective decision making (consensus) among many stakeholders is frequently neglected. This research addresses an essential requirement for adaptive, autonomous and consensus-based Fog computational solutions which are able to support distributed and in-network schemes and policies. These network schemes and policies need to meet the requirements of many users. In this work, innovative consensus-based computational solutions are investigated. These proposed solutions aim to correlate and organise data for effective management and decision making in Fog. Instead of individual decision making, the algorithms aim to aggregate several decisions into a consensus decision representing a collective agreement, benefiting from the individuals variant knowledge and meeting multiple stakeholders requirements. In order to validate the proposed solutions, hybrid research methodology is involved that includes the design of a test-bed and the execution of several experiments. In order to investigate the effectiveness of the paradigm, three experiments were designed and validated. Real-life sensor data and synthetic statistical data was collected, processed and analysed. Bayesian Machine Learning models and Analytics were used to consolidate the design and evaluate the performance of the algorithms. In the Fog environment, the first scenario tests the Aggregation by Distribution algorithm. The solution contribute in achieving a notable efficiency of data delivery obtained with a minimal loss in precision. The second scenario validates the merits of the approach in predicting the activities of high mobility IoT applications. The third scenario tests the applications related to smart home IoT. All proposed Consensus algorithms use statistical analysis to support effective decision making in Fog and enable data aggregation for optimal storage, data transmission, processing and analytics. The final results of all experiments showed that all the implemented consensus approaches surpass the individual ones in different performance terms. Formal results also showed that the paradigm is a good fit in many IoT environments and can be suitable for different scenarios when applying data analysis to correlate data with the design. Finally, the design demonstrates that Fog Computing can compete with Cloud Computing in terms of accuracy with an added preference of locality. (shrink)

This paper proposes a new account of bounded or minimal doxastic rationality (in the sense of Cherniak 1986), based on the notion that beliefs are answers to questions (à la Yalcin 2018). The core idea is that minimally rational beliefs are linked through thematic connections, rather than entailment relations. Consequently, such beliefs are not deductively closed, but they are closed under parthood (where a part is an entailment that answers a smaller question). And instead of avoiding all inconsistency, minimally rational (...) believers only avoid blatant inconsistencies (where some beliefs are blatantly inconsistent when they contradict one another on a particular question). Rather than cohering into a single overall world view, beliefs are more loosely connected in what is best described as a web of questions. This view of minimally rational belief naturally gives rise to an account of deductive inquiry on which deductive reasoning is a matter of posing new questions. (shrink)

For millennia self has been conjectured to be necessary for consciousness. But scant empirical evidence has been adduced to support this hypothesis. Inconsistent explications of “self” and failure to design apt experiments have impeded progress. Advocates of phenomenological psychiatry, however, have helped explicate “self,” and employed it to explain some psychopathological symptoms. In those studies, “self” is understood in a minimalist sense, sheer “for-me-ness.” Unfortunately, explication of the “minimal self” (MS) has relied on conceptual analysis, and applications to psychopathology have (...) been hermeneutic, allowing for many degrees of interpretive latitude. The result is that MS’s current scientific status is analogous to that of the “atom,” at the time when “atom” was just beginning to undergo transformation from a philosophical to a scientific concept. Fortunately, there is now an opportunity to promote a similar transformation for “MS.” Discovery of the brain’s Default Mode Network (DMN) opened the door to neuroimaging investigations of self. Taking the DMN and other forms of intrinsic activity as a starting point, an empirical foothold can be established, one that spurs experimental research and that enables extension of research into multiple phenomena. New experimental protocols that posit “MS” can help explain phenomena hitherto not thought to be related to self, thereby hastening development of a mature science of self. In particular, targeting phenomena wherein consciousness is lost and recovered, as in some cases of Unresponsive Wakefulness Syndrome (UWS), allow for design of neuroimaging probes that enable detection of MS during non-conscious states. These probes, as well as other experimental protocols applied to NREM Sleep, General Anesthesia (GA), and the waking state, provide some evidence to suggest that not only can self and consciousness dissociate, MS might be a necessary precondition for conscious experience. Finally, these findings have implications for the science of consciousness: it has been suggested that “levels of consciousness” (LoC) is not a legitimate concept for the science of consciousness. But because we have the conceptual and methodological tools with which to refine investigations of MS, we have the means to identify a possible foundation—a bifurcation point—for consciousness, as well as the means by which to measure degrees of distance from that foundation. These neuroimaging investigations of MS position us to better assess whether LoC has a role to play in a mature science of consciousness. (shrink)

According to a well-known view in the philosophy of mind, intentional attitudes by their very nature satisfy requirements of rationality (e.g. Davidson 1980; Dennett 1987; Millar 2004). This view (which I shall call Constitutivism) features prominently as the ‘principle of minimal rationality’ in de Sousa’s monograph The Rationality of Emotion (1987). By explicating this principle in terms of the notion of the formal object of an attitude, de Sousa articulates an interesting and original version of Constitutivism, which differs in important (...) respects from other extant versions. In this paper, I explore this version of Constitutivism against the background of recent developments in the theory of rationality and make explicit its ramifications for the long-standing dispute over whether the mind is essentially normative. My focus will be on how to conceive of the form of the rationality requirements that attitudes as such must satisfy according to this principle. I argue that, although de Sousa seems officially to endorse a structuralist conception of rationality, according to which these requirements are requirements of coherence, his considerations on formal objects suggest that they are more aptly conceived in terms of a reasons-responsive conception of rationality. I further argue that which of these two readings we choose makes a significant difference to the prospect of vindicating the essential normativity of mind by invoking the principle of minimal rationality. (shrink)

A minimal truthmaker for a given proposition is the smallest portion of reality which makes this proposition true. Minimal truthmakers are frequently mentioned in the literature, but there has been no systematic account of what they are or of their importance. In this article we shall clarify the notion of a minimal truthmaker and argue that there is reason to think that at least some propositions have minimal truthmakers. We shall then argue that the notion can play a useful role (...) in truthmaker theory, by helping to explain the truth of certain propositions as precisely as possible. (shrink)

The Operator Argument against eternalism holds that having non-vacuous tense operators in the language is incompatible with the claim that every proposition has its truth-value eternally. Assuming that (1) there are non-vacuous tense operators, (2) tense operators operate on propositions and (3) tense operators which operate on eternal entities are vacuous, it may be argued that eternalism is false. In this paper, I examine the Operator Argument. The goal is threefold. First, I want to present some aspects of (...) the debate in a more elaborate way, especially those concerning formal matters. Secondly, I will argue that eternalism can escape the Operator Argument. There are two main strategies for handling the Operator Argument. The first one is based on replacing temporal operators with object-language quantifiers. The second rejects the identification of compositional semantic value with assertoric content. My third goal is to show that none of them is as good as the strategy that adopts Timestamp Semantics (Fritz in Philosl Stud 176:2933–2959, 2019). I am going to argue that the quantificational treatment of tenses is compatible with temporalism and that the arguments for rejecting the identification of compositional semantic value with assertoric content provide, in fact, a motivation for the temporalist position. At the end, I will develop Timestamp Semantics by providing a novel formalization of it, and defend it against three potential counter-arguments. (shrink)

Batterman and Rice ([2014]) argue that minimal models possess explanatory power that cannot be captured by what they call ‘common features’ approaches to explanation. Minimal models are explanatory, according to Batterman and Rice, not in virtue of accurately representing relevant features, but in virtue of answering three questions that provide a ‘story about why large classes of features are irrelevant to the explanandum phenomenon’ ([2014], p. 356). In this article, I argue, first, that a method (the renormalization group) they propose (...) to answer the three questions cannot answer them, at least not by itself. Second, I argue that answers to the three questions are unnecessary to account for the explanatoriness of their minimal models. Finally, I argue that a common features account, what I call the ‘generalized ontic conception of explanation’, can capture the explanatoriness of minimal models. (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)