We explore the social context of mathematical knowledge: Even though, the community of mathematicians may look homogeneous from the outside, it is actually structured into various sub-communities that differ in preferred notations, the choice of basic assumptions, or e.g. in the choice of motivating examples. We contend that we cannot manage mathematical knowledge for human recipients if we do not take these factors into account. As a basis for a future extension of MKM systems, we analyze the social context of (...) information in terms of Communities of Practice (CoP; a concept from learning theory) and present a concrete extensional model for CoPs in mathematics. (shrink)

We state the consistency problem of extensional partial set theory and prove two complementary results toward a definitive solution. The proof of one of our results makes use of an extension of the topological construction that was originally applied in the paraconsistent case.

This article outlines a theory of naive probability. According to the theory, individuals who are unfamiliar with the probability calculus can infer the probabilities of events in an extensional way: They construct mental models of what is true in the various possibilities. Each model represents an equiprobable alternative unless individuals have beliefs to the contrary, in which case some models will have higher probabilities than others. The probability of an event depends on the proportion of models (...) in which it occurs. The theory predicts several phenomena of reasoning about absolute probabilities, including typical biases. It correctly predicts certain cognitive illusions in inferences about relative probabilities. It accommodates reasoning based on numerical premises, and it explains how naive reasoners can infer posterior probabilities without relying on Bayes's theorem. Finally, it dispels some common misconceptions of probabilistic reasoning. (shrink)

Quine’s “New Foundations” (NF) was first presented in Quine [1937] and later on in Quine [1963]. Ernst Specker [1958, 1962], building upon a previous result of Ehrenfeucht and Mostowski [1956], showed that NF is consistent if and only if there is a model of the Theory of Negative (and positive) Types (TNT) with full extensionality that admits of a “shifting automorphism,” but the existence of a such a model remains an open problem.

Semantic composition in language must be closely related to semantic composition in thought. But the way the two processes are explained differs considerably. Focusing primarily on propositional content, language theorists generally take semantic composition to be a truth‐conditional process. Focusing more on extensional content, cognitive theorists take it to be a form of concept combination. But though deep, this disconnect is not irreconcilable. Both areas of theory assume that extensional (i.e., denotational) meanings must play a role. As this (...) article demonstrates, they also have the potential to fulfill a mediative function. What is shown is that extensional meanings are themselves inherently compositional. On this basis, it becomes possible to model semantic composition without assuming the existence of any specifically linguistic/conceptual apparatus. Examples are presented to demonstrate this direct style of modeling. Abstract connections between composition in thought and language can then be made, raising the prospect of a more unified, theoretical account of semantic composition. (shrink)

In [17], we introduced an extensional variant of generic realizability [22], where realizers act extensionally on realizers, and showed that this form of realizability provides inner models of $\mathsf {CZF}$ (constructive Zermelo–Fraenkel set theory) and $\mathsf {IZF}$ (intuitionistic Zermelo–Fraenkel set theory), that further validate $\mathsf {AC}_{\mathsf {FT}}$ (the axiom of choice in all finite types). In this paper, we show that extensional generic realizability validates several choice principles for dependent types, all exceeding $\mathsf {AC}_{\mathsf {FT}}$. We then (...) show that adding such choice principles does not change the arithmetic part of either $\mathsf {CZF}$ or $\mathsf {IZF}$. (shrink)

In his 2000 book Logical Properties Colin McGinn argues that predicates denote properties rather than sets or individuals. I support the thesis, but show that it is vulnerable to a type-incongruity objection, if properties are (modelled as) functions, unless a device for extensionalizing properties is added. Alternatively, properties may be construed as primitive intensional entities, as in George Bealer. However, I object to Bealer’s construal of predication as a primitive operation inputting two primitive entities and outputting a third primitive entity. (...) Instead I recommend we follow Pavel Tichý in construing both predication and extensionalization as instances of the primitive operation of functional application. (shrink)

In this paper we re-examine the semantics of classical higher-order logic with the purpose of clarifying the role of extensionality. To reach this goal, we distinguish nine classes of higher-order models with respect to various combinations of Boolean extensionality and three forms of functional extensionality. Furthermore, we develop a methodology of abstract consistency methods (by providing the necessary model existence theorems) needed to analyze completeness of (machine-oriented) higher-order calculi with respect to these model classes.

Jaegwon Kim’s principle of Explanatory Exclusion says there can be no more than a single complete and independent explanation of any one event. Accordingly, if we have a complete neurological explanation for some piece of human behavior, the mental explanation must either be excluded, or it must not be distinct from the neurological explanation. Jaegwon Kim argues that mental explanations are not distinct from neurological explanations on account of the fact that they refer to the same objective causal relation between (...) events. A number of critics have argued that this extensional model of explanatory individuation allows for too many descriptions to state the same explanation. In this paper I consider, and ultimately reject, a possible response to these critics called the Constitutive Property Reply. (shrink)

Framing effects occur when different descriptions of the same decision problem give rise to divergent decisions. They can be seen as a violation of the decisiontheoretic version of the principle of extensionality (PE). The PE in logic means that two logically equivalent sentences can be substituted salva veritate. We explore what this notion of extensionality becomes in decision contexts. Violations of extensionality may have rational grounds. Based on some ideas proposed by the psychologist Craig McKenzie and colleagues, we contend that (...) framing effects are justified when the selection of one particular frame conveys choice relevant information. We first discuss this idea from a philosophical point of view, and proceed next to formalize it first in the context of the Bolker–Jeffrey decision theory. Finally, we extend the previous analysis to non-expected utility theories using the Biseparable Preference model introduced by Ghirardato and Marinacci (2001) and therefore show that the analysis is independent of the assumptions of Bayesian decision theory. (shrink)

The original interest of this article lies in existential import. It provides a broader view on the problem by reference to modern, symbolic logic (ch.1). Gradually, however, our interest will change into the amalgamated expressions often used in logic; that is, why are such expressions as “x is a round triangle” applied in logic? We critically discuss this question from an extensional viewpoint, namely model theoretic semantics (ch.2). We also touch on Church’s λ-calculus in the appendix (app.2).

We study a logic for reasoning about agents that pass messages according to a protocol. Protocols are specified extensionally, as sets of sequences of ?legal? actions assigned to each state in a Kripke model. Message-passing events that are licensed by the protocol are modeled as updates in the style of dynamic epistemic logic. We also consider changes to the protocol by introducing message-encoding modalities, corresponding to communications actions that lead to protocol extensions. While in our general framework, messages are arbitrary (...) objects, we also consider the case that the messages that are passed are sentences of the object language itself. We present complete calculi for our logics and clarify the relationship of our proposal to earlier work on public announcement logic. (shrink)

The principal aim of this paper is to present a construction method for nontotal extensional combinatory algebras. This is done in $\S2$ . In $\S0$ we give definitions of some basic notions for partial combinatory algebras from which the corresponding notions for (total) combinatory algebras are obtained as specializations. In $\S1$ we discuss some properties of nontotal extensional combinatory algebras in general. $\S2$ describes a "partial" variant of reflexive complete partial orders yielding nontotal extensional combinatory algebras. Finally, (...) $\S3$ deals with properties of the models constructed in $\S2$ , such as incompletability, having no total submodel and the pathological behaviour with respect to the interpretation of unsolvable λ-terms. (shrink)

The aim of the present paper is to provide a model-theoretic explication of Goodman's concept of extensional isomorphism. After some conceptual clarifications Goodman's concept of isomorphy turns out to be closely related to some variant of set-theoretic definability and some variants of syntactical interpretability.

In “Psychopower and Ordinary Madness” my ambition, as it relates to Bernard Stiegler’s recent literature, was twofold: 1) critiquing Stiegler’s work on exosomatization and artefactual posthumanism—or, more specifically, nonhumanism—to problematize approaches to media archaeology that rely upon technical exteriorization; 2) challenging how Stiegler engages with Giuseppe Longo and Francis Bailly’s conception of negative entropy. These efforts were directed by a prevalent techno-cultural qualifier: the rise of Synthetic Intelligence (including neural nets, deep learning, predictive processing and Bayesian models of cognition). (...) This paper continues this project but first directs a critical analytic lens at the Derridean practice of the ontologization of grammatization from which Stiegler emerges while also distinguishing how metalanguages operate in relation to object-oriented environmental interaction by way of inferentialism. Stalking continental (Kapp, Simondon, Leroi-Gourhan, etc.) and analytic traditions (e.g., Carnap, Chalmers, Clark, Sutton, Novaes, etc.), we move from artefacts to AI and Predictive Processing so as to link theories related to technicity with philosophy of mind. Simultaneously drawing forth Robert Brandom’s conceptualization of the roles that commitments play in retrospectively reconstructing the social experiences that lead to our endorsement(s) of norms, we compliment this account with Reza Negarestani’s deprivatized account of intelligence while analyzing the equipollent role between language and media (both digital and analog). (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention (...) to applications. Firstly, it is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

We define a new class of Kripke structures for the second-order λ-calculus, and investigate the soundness and completeness of some proof systems for proving inequalities as well as equations. The Kripke structures under consideration are equipped with preorders that correspond to an abstract form of reduction, and they are not necessarily extensional. A novelty of our approach is that we define these structures directly as functors A: → Preor equipped with certain natural transformations corresponding to application and abstraction . (...) We make use of an explicit construction of the exponential of functors in the Cartesian-closed category Preor, and we also define a kind of exponential ΠΦs ε T to take care of type abstraction. However, we strive for simplicity, and we only use very elementary categorical concepts. Consequently, we believe that the models described in this paper are more palatable than abstract categorical models which require much more sophisticated machinery . We obtain soundness and completeness theorems that generalize some results of Mitchell and Moggi to the second-order λ-calculus, and to sets of inequalities. (shrink)

What determines the reference of first-person thoughts—thoughts that one would express using the first-person pronoun? I defend a model on which our ways of gaining knowledge of ourselves do, in much the way that our ways of gaining knowledge of objects in the world determine the reference of perceptual demonstrative thoughts. This model—the Demonstrative Model of First-Person Thought—can be motivated by reference to independently plausible general principles about how reference is determined. But it faces a serious objection. There seems to (...) be an explanatory rival to it with a great deal of plausiblility. The rival is The Simple Rule Model, which says that first-person thoughts are governed by the simple rule that any token of one will be about the person whose token it is. I pinpoint a crucial unclarity in The Simple Rule Model, hinging on how we understand the notion of a rule, and argue that no version of the Simple Rule Model is both plausible and a genuine explanatory rival to the Demonstrative Model. I also provide an argument that the Demonstrative Model is extensionally adequate. (shrink)

The following paper advances a new argument for the thesis that scientific and historical knowledge are not different in type. This argument makes use of a formal ontology of history which dispenses with generality, laws and causality. It views the past social world as composed of Wittgenstein’s Tractarian objects: of events, ordered in ontological dependencies. Theories in history advance models of past reality which connect—in experiment—faces of past events in complexes. The events themselves are multi-grained so that we can (...) connect together different faces of theirs without counterfeiting history. This means that, on the basis of the same set of facts, historians can produce different models of past events, in which different dependences are brought forth. A conception of this kind substantiates an objectivist account of the recurrent falsifications of the theories in history. (shrink)

Tarski implicitly postulated that a certain pre-theoretical concept of logical consequence and his technical concept of logical consequence are co-extensional. This chapter makes explicit a few theses about logical consequence or logical truth that sound Tarskian somehow, including one that most deserves the name ‘Tarski's Thesis’. Some of these theses are probably true or close to true but weaker than Tarski's. Some are false but stronger than Tarski's. Tarski's Thesis plausibly postulated that a sentence of a classical language possibly (...) extended with non-traditional extensional logical constants is logically true, if it is true in all classical interpretations of all its non-logical constants. But it is noted that this thesis turns out to be false on most conceptions of logical truth, for some sentences of a classical language extended with extensional logical constants are true in all classical interpretations of all its non-logical constants, but are not necessary. (shrink)

We will present several results on two types of continuous models of -calculus, namely graph models and extensional models. By introducing a variant of Engeler's model construction, we are able to generalize the results of [7] and to give invariants that determine a large family of graph models up to applicative isomorphism. This covers all graph models considered in the litterature so far. We indicate briefly how these invariants may be modified in order to (...) determine extensional models as well.Furthermore, we use our construction to exhibit graph models that are not equationally equivalent. We indicate once again how the construction passes on to extensional models. (shrink)

We shall present two novel ways of deriving simply typed combinatory models. These are of interest in a constructive setting. First we look at extension models, which are certain subalgebras of full function space models. Then we shall show how the space of singletons of a combinatory model can itself be made into one. The two and the algebras in between will have many common features. We use these two constructions in proving: There is a model of (...) constructive set theory in which every closed extensional theory of simple typed combinatory logic is the theory of a full function space model. (shrink)

One takes advantage of some basic properties of every homotopic \(\lambda\)-model (e.g. extensional Kan complex) to explore the higher \(\beta\eta\)-conversions, which would correspond to proofs of equality between terms of a theory of equality of any extensional Kan complex. Besides, Identity types based on computational paths are adapted to a type-free theory with higher \(\lambda\)-terms, whose equality rules would be contained in the theory of any \(\lambda\)-homotopic model.

The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the application of a term/function to any other term/function, including itself. The calculus can be seen as a formal theory with certain pre-established axioms and inference rules, which can be interpreted by models. Dana Scott proposed the first non-trivial model of the extensional (...) lambda calculus, known as $ D_{\infty }$, to represent the $\lambda $-terms as the typical functions of set theory, where it is not allowed to apply a function to itself. Here we propose a construction of an $\infty $-groupoid from any lambda model endowed with a topology. We apply this construction for the particular case $D_{\infty }$, and we see that the Scott topology does not provide enough information about the relationship between higher homotopies. This motivates a new line of research focused on the exploration of $\lambda $-models with the structure of a non-trivial $\infty $-groupoid to generalize the proofs of term conversion to higher-proofs in $\lambda $-calculus. (shrink)

" In Imagination and the Meaningful Brain, psychoanalyst Arnold Modell claims that subjective human experience must be included in any scientific...

Abstract.Since the gene splicing debates of the 1980s, the public has been exposed to an ongoing sequence of genetic and reproductive technologies. Many issue areas have outcomes that lose track of people's inner values or engender opposing religious viewpoints defying final resolution. This essay relocates the discussion of what is an acceptable application from the individual to the societal level, examining technologies that stand to address large numbers of people and thus call for policy resolution, rather than individual fiat, in (...) their application. A major source of guidance is the “Genetic Frontiers” series of professional dialogues and conferences held by the National Conference for Community and Justice from 2002 to 2004. Genetic testing, human gene therapy, genetic engineering of plants and animals, and stem cell technology are examined. While differences in perspective on the beginning of life persist, a stepwise approach to the examination of genetic testing reveals areas of general agreement. Stewardship of life, human co‐creativity with the divine, and social justice help define the bounds of application of genetic engineering and therapy; compassionate care plays a major role in establishing stem cell policy. Active, sustained dialogue is a useful resource for enabling sharing of religious values and crystallization of policies. (shrink)

Aristotle is oftentimes viewed through a strictly philosophical lens as heir to Plato and has having introduced logical rigor where an emphasis on the theory of Forms formerly prevailed. It must be appreciated that Aristotle was the son of a physician, and that his inculcation of the thought of other Greek philosophers addressing health and the natural elements led to an extremely broad set of biologically- and medically-related writings. As this article proposes, Aristotle deepened the fourfold theory of the elements (...) with anatomic and physiologic observations. In books like History of Animals, Parts of Animals, and the lost Anatomai, he actively dissected organisms and recorded his findings. The corpus of medically-related literature Aristotle developed had a direct influence on subsequent Greek thinkers, including Galen, and on Medieval Islamic and modern Western practitioners such as William Harvey. Aristotle's ideas continue to influence modern medical thinkers in Europe and America through both his interpretation by European philosophers gaining the attention of medical humanists, and his writings' enduring impact on medical researchers balancing scientific with more personalistic approaches to medicine. (shrink)

The estrangement between genetic scientists and theologians originating in the 1960s is reflected in novel combinations of human thought (subject) and genes (investigational object), paralleling each other through the universal process known in chaos theory as self-similarity. The clash and recombination of genes and knowledge captures what Philip Hefner refers to as irony, one of four voices he suggests transmit the knowledge and arguments of the religion-and-science debate. When viewed along a tangent connecting irony to leadership, journal dissemination, and the (...) activities of the "public intellectual" and the public at large, the sequence of voices is shown to resemble the passage of genetic information from DNA to mRNA, tRNA, and protein, and from cell nucleus to surrounding environment. In this light, Hefner's inquiry into the voices of Zygon is bound up with the very subject matter Zygon covers. (shrink)