The grammatical paradigm used to be a model for entire areas of cognitive science. Its primary tenet was that theories are axiomatic-like systems. A secondary tenet was that their predictions should be tested quickly and in great detail with introspective judgments. While the grammatical paradigm now often seems passé, we argue that in fact it continues to be as efficient as ever. Formal models are essential because they are explicit, highly predictive, and typically modular. They make numerous critical (...) predictions, which must be tested efficiently; introspective judgments do just this. We further argue that the grammatical paradigm continues to be fruitful. Within linguistics, implicature theory is a recent example, with a combination of formal explicitness, modularity, and interaction with experimental work. Beyond traditional linguistics, the grammatical paradigm has proven fruitful in the study of gestures and emojis; literature (“Free Indirect Discourse”); picture semantics and comics; music and dance cognition; and even reasoning and concepts. We argue, however, that the grammatical paradigm must be adapted to contemporary cognitive science. Computational methods are essential to derive quantitative predictions from formal models (Bayesian pragmatics is an example). And data collection techniques offer an ever richer continuum of options, from introspective judgments to large-scale experiments, which makes it possible to optimize the cost/benefit ratio of the empirical methods that are chosen to test theories. (shrink)

A formal model of metaphor is introduced. It models metaphor, first, as an interaction of “frames” according to the frame semantics, and then, as a wave function in Hilbert space. The practical way for a probability distribution and a corresponding wave function to be assigned to a given metaphor in a given language is considered. A series of formal definitions is deduced from this for: “representation”, “reality”, “language”, “ontology”, etc. All are based on Hilbert space. A few (...) statements about a quantum computer are implied: The sodefined reality is inherent and internal to it. It can report a result only “metaphorically”. It will demolish transmitting the result “literally”, i.e. absolutely exactly. A new and different formal definition of metaphor is introduced as a few entangled wave functions corresponding to different “signs” in different language formally defined as above. The change of frames as the change from the one to the other formal definition of metaphor is interpreted as a formal definition of thought. Four areas of cognition are unified as different but isomorphic interpretations of the mathematical model based on Hilbert space. These are: quantum mechanics, frame semantics, formal semantics by means of quantum computer, and the theory of metaphor in linguistics. (shrink)

John Stuart Mill advocated for increased interactions between individuals of dissenting opinions for the reason that it would improve society. Whether Mill and similar arguments that advocate for opinion diversity are valid depends on background assumptions about the psychology and sociality of individuals. The field of opinion dynamics is a burgeoning testing ground for how different combinations of sociological and psychological facts contribute to phenomena that affect opinion diversity, such as polarization. This paper applies some recent results from the (...) opinion dynamics literature to assess the impacts of the Millian suggestion. The goal is to understand how the scope of the validity of Mill-style arguments depends on plausible assumptions that can be formalized using agent-based models, a common modeling approach in opinion dynamics. The most salient insight is that homophily (increased interactions between like-minded individuals) does not sufficiently explain decreased opinion diversity. Hence, decreasing homophily by increasing interactions between individuals of dissenting opinions is not the simple solution that a Millian-style argument may advocate. (shrink)

This paper disucsses the Boolean algebraic axiomatic system of situations suggested by the Polish logician Roman Suszko (1919-1979). The paper will specifically examine the adequacy of the axioms, definitions and theorems of Suszko’s system as a model for Ludwig Wittgenstein’s Tracatus Logico-Philosophicus. It will be shown how the formal properties of Suszko’s system - the atomicity and completeness of the Boolean algebraic system - can be employed in order to clarify key concepts of the situational part of the Tractarian (...) ontology. After considering the formal reconstruction of the Tractarian concepts of teh world and logical space, a controversial issue pertaining to necessary facts in the Tracatus will be addressed. This will be followed by a formal clarification of the Tractarian concepts of logical place and possible worlds, the latter being identified as combinations of states and affairs, which are, according to the Tractarian ontology, the simplest kinds of situations. (shrink)

Our research concerns a formal representation of Bolzano’s original concepts of Substanz and Adhärenz. The formalized intensional theory enables to articulate a question about the consistency of a part of Bolzano’s metaphysics and to suggest an answer to it in terms of contemporary model theory. The formalism is built as an extension of Zalta’s theory of abstract objects, describing two types of predication, viz. attribution and representation. Bolzano was aware about this distinction. We focus on the consistency of this (...) formalism and the description of its semantics. Firstly, we explore the possibility to reconstruct a Russellian antinomy based on the concept of the Bolzano’s Inbegriff of all adherences. Our aim is to show limitations of his theory that prevent a contradiction when the Inbegriff consists of non-self-referential adherences. Next, we discuss two competing semantics for the proposed theory: Scott’s and Aczel’s semantics. The first one yields a problematic result, that there are no models for the considered theory, containing a non-empty collection of all adherences. This is due to the fact that Scott’s structures verify the formula on reloading abstracts in extensional contexts. We show that Aczel’s semantics does not contain this difficulty. There are described Aczel’s models with a non-empty set of all adherences. The self-referentiality of such a collection becomes irrelevant here. Finally, we show that there are Aczel’s structures verifying the formula on reloading abstracts and we exclude them from the class of models intended for our theory. (shrink)

Formal models of scientific inquiry, aimed at capturing socio-epistemic aspects underlying the process of scientific research, have become an important method in formal social epistemology and philosophy of science. In this introduction to the special issue we provide a historical overview of the development of formal models of this kind and analyze their methodological contributions to discussions in philosophy of science. In particular, we show that their significance consists in different forms of ‘methodological iteration’ whereby (...) the models initiate new lines of inquiry, isolate and clarify problems with existing knowledge claims, and stimulate further research. (shrink)

Given a classical theory T, a Kripke model K for the language L of T is called T-normal or locally PA just in case the classical L-structure attached to each node of K is a classical model of T. Van Dalen, Mulder, Krabbe, and Visser showed that Kripke models of Heyting Arithmetic (HA) over finite frames are locally PA, and that Kripke models of HA over frames ordered like the natural numbers contain infinitely many PA-nodes. We show that (...) Kripke models of the latter sort are in fact PA-normal. This result is extended to a somewhat larger class of frames. (shrink)

The paper introduces, compares and contrasts formal models of source reliability proposed in the epistemology literature, in particular the prominent models of Bovens and Hartmann and Olsson :127–143, 2011). All are Bayesian models seeking to provide normative guidance, yet they differ subtly in assumptions and resulting behavior. Models are evaluated both on conceptual grounds and through simulations, and the relationship between models is clarified. The simulations both show surprising similarities and highlight relevant differences between (...) these models. Most importantly, however, our evaluations reveal that important normative concerns arguably remain unresolved. The philosophical implications of this for testimony are discussed. (shrink)

This paper presents an account of how to evaluate formal models of science: models and simulations in social epistemology designed to draw normative conclusions about the social structure of scientific research. I argue that such models should be evaluated according to their representational and predictive accuracy. Using these criteria and comparisons with familiar models from science, I argue that most formal models of science are incapable of supporting normative conclusions.

Legal scholarship exploring the nature of evidence and the process of juridical proof has had a complex relationship with formal modeling. As evident in so many fields of knowledge, algorithmic approaches to evidence have the theoretical potential to increase the accuracy of fact finding, a tremendously important goal of the legal system. The hope that knowledge could be formalized within the evidentiary realm generated a spate of articles attempting to put probability theory to this purpose. This literature was both (...) insightful and frustrating. Much light was shed on the legal system, but it also quickly became evident that the tools of probability theory were in many ways ill-constructed for the task. Fundamental incompatibilities between the structure of legal decision making and the extant formal tools were identified, and it became evident that many of the purported explanations of legal phenomena were internally inconsistent. As a consequence, interest in this type of formal modeling declined, and attention was directed toward different kinds of explanations of the phenomena. Perhaps under the influence of a recent trend toward various types of formal modeling in legal scholarship, a recent burst of articles, rather than attempting to explain the macro structure of trials, which was the previous object of interest, attempts to quantify the probative value of various items of evidence in ways consistent with the formal features of various probability theories, and then to study decision making from that perspective. For example, the value of evidence is often purported to be its likelihood ratio, that is, the probability of discovering or receiving the evidence given a hypothesis (e.g., the defendant did it) divided by the probability of discovering or receiving the evidence given the negation of the hypothesis (the defendant didn't do it). Alternatively, the value of evidence is purported (more contextually) to be the information gain it provides, defined as the increase in probability it provides for a hypothesis above the probability of the hypothesis based on the other available evidence. Both conceptions then assume that all of the various probability assessments conform or ought to conform to the dictates of Bayes' theorem (that maintains consistency among such assessments); empirical studies are then done testing the extent to which this is so and proposing how the law can increase the probability that it is so. The general criticisms of using Bayes' theorem as a formal model of juridical proof are well known and were integral to the last wave of interest in formal modeling of the evidentiary process. This paper thus for the most part puts aside that more general issue, and focuses specifically on mathematical modeling of the value of particular items of evidence. The paper demonstrates that formal modeling has only limited value in explaining the value of legal evidence, much more limited than those constructing and discussing the models assume, and thus that the conclusions they draw about the value of evidence are unwarranted. This is done through a discussion of four recent examples that attempt to quantify evidence relating to, respectively, carpet fibers, infidelity, DNA random-match evidence, and character evidence used to impeach a witness. This article thus makes two contributions. First, and most importantly, it is another demonstration of the complex relationship between algorithmic tools and legal decision making. Second, at a minimum it points out serious pitfalls for analytical or empirical studies of juridical proof. (shrink)

In the past few years, social epistemologists have developed several formal models of the social organisation of science. While their robustness and representational adequacy has been analysed at length, the function of these models has begun to be discussed in more general terms only recently. In this article, I will interpret many of the current formal models of the scientific community as representing the latest development of what I will call the ‘Kuhnian project’. These (...) class='Hi'>models share with Kuhn a number of questions about the relation between individuals and communities. At the same time, they also inherit some of Kuhn’s problematic characterisations of the scientific community. In particular, current models of the social organisation of science represent the scientific community as essentially value-free. This may put into question both their representational adequacy and their normative ambitions. In the end, it will be shown that the discussion on the formal models of the scientific community may contribute in fruitful ways to the ongoing debates on value judgements in science. (shrink)

This article presents a formal dialogue game for adjudication dialogues. Existing AI & law models of legal dialogues and argumentation-theoretic models of persuasion are extended with a neutral third party, to give a more realistic account of the adjudicator’s role in legal procedures. The main feature of the model is a division into an argumentation phase, where the adversaries plea their case and the adjudicator has a largely mediating role, and a decision phase, where the adjudicator decides (...) the dispute on the basis of the claims, arguments and evidence put forward in the argumentation phase. The model allows for explicit decisions on admissibility of evidence and burden of proof by the adjudicator in the argumentation phase. Adjudication is modelled as putting forward arguments, in particular undercutting and priority arguments, in the decision phase. The model reconciles logical aspects of burden of proof induced by the defeasible nature of arguments with dialogical aspects of burden of proof as something that can be allocated by explicit decisions on legal grounds. (shrink)

This paper argues that formal models of coherence are useful for constructing a legal epistemology. Two main formal approaches to coherence are examined: coherence-based models of belief revision and the theory of coherence as constraint satisfaction. It is shown that these approaches shed light on central aspects of a coherentist legal epistemology, such as the concept of coherence, the dynamics of coherentist justification in law, and the mechanisms whereby coherence may be built in the course of (...) legal decision-making. (shrink)

In the academic community, predatory publishers are exploiting academic integrity and the open access publishing model. Academicians receive numerous spam e-mail messages inviting article submissions each day which deceive authors by promising fast review and publication. The content of these emails present arguments in a way to appear as legitimate and valid to grab the attention of authors. Therefore, the aim of this paper is to advance insights into the arguments deployed by fake journals in their attempt to convey specific (...) indexicalities of identity and truthfulness. As a result of thematic analysis of 50 email messages from such journals, this research drew on two main themes-explicit and implicit arguments and their most frequent subcategories which were formal lexicon/grammar and fast peer- reviewed process. These arguments were, further, mapped on to Toulmin’s Model of Argumentation to find out more about the strength of the information used to support their claim. Utilizing Toulmin’s model, the findings highlighted the fact that there were instances of discursive deviations or “hidden rebuttals” that revealed the predatory journals’ ingenuity. (shrink)

The article outlines the prospects of using J. Hintikka’s interrogative epistemology for modelling cognitive operations carried out by a cognizing agent to create a machine capable of full cognition. It was established that modeling is divided into two objectives: modeling the cognitive operations and modeling the strategic reasoning. Interrogative epistemology presents a solution to the first objective. It relies on a game-theoretic formal apparatus that allows one to correctly describe all types of possible moves within the framework of a (...) particular cognitive game. The second objective cannot be accomplished in a general epistemological theory framework since strategic considerations about the organization of research and even the concept of knowledge inevitably depend on the broader context of an agent’s practical activity. Therefore, interrogative epistemology does not claim a universal and complete description of the process of cognition, focusing on other tasks: primarily on identifying hidden premises that cognitive agents use in their reasoning. For the same reason, interrogative epistemology deems the possibility of the existence of a cognizing machine as formally unsubstantiated and questionable. However, arguments are given in favor of the fact that interrogative epistemology serves as an acceptable conceptual framework for clarifying the nature of the difficulties that arise with attempts to accomplish the second objective and improving the quality of philosophical discourse in the field of artificial intelligence research. The author substantiates this position by arguing that the ability to cognize presupposes the ability to perform all the essential functions that are usually called mental. (shrink)

This special issue on Formal Models of Awareness contains five papers that concentrate on different approaches to the notion of awareness. They include syntactic and semantic approaches to modelling awareness and an alternative view from the multi-agent systems perspective where awareness is identified as the ability to perceive and understand actions of other agents.Velázquez-Quesada studies a logic of plausibility acknowledgement models used to interpret the notions of implicit and explicit beliefs. The models use the notion of (...) a formula being acknowledged as true that is similar to syntactic awareness in that the set of formulas acknowledged as true by an agent is not assumed to be closed under logical consequence. However it has a different meaning . A dynamic epistemic logic over such models is cons .. (shrink)

This unique book presents a comprehensive and rigorous treatment of the theory of computability which is introductory yet self-contained. It takes a novel approach by looking at the subject using computation models rather than a limitation orientation, and is the first book of its kind to include software. Accompanying software simulations of almost all computational models are available for use in conjunction with the text, and numerous examples are provided on disk in a user-friendly format. Its applications to (...) computer science itself include interesting links to programming language theory, compiler design theory, and algorithm design. The software, numerous examples, and solutions make this book ideal for self-study by computer scientists and mathematicians alike. (shrink)

(2013). Formal Models of Reasoning in Cognitive Psychology. Argument & Computation: Vol. 4, Formal Models of Reasoning in Cognitive Psychology, pp. 1-3. doi: 10.1080/19462166.2013.767559.

This paper formalizes part of a well-known psychological model of emotions. In particular, the logical structure underlying the conditions that trigger emotions are studied and then hierarchically organized. The insights gained therefrom are used to guide a formalization of emotion triggers, which proceeds in three stages. The first stage captures the conditions that trigger emotions in a semiformal way, i.e., without committing to an underlying formalism and semantics. The second stage captures the main psychological notions used in the emotion model (...) in dynamic doxastic logic. The third stage introduces a BDI-based framework (belief–desire–intention) with achievement goals, which is used to firmly ground the preceding stages. The result is a formalization of emotion triggers for BDI agents with achievement goals. The idea of proceeding in these stages is to provide different levels of commitment to formalisms, so that it remains relatively easy to extend or replace the used formalisms without having to start from scratch. Finally, we show that the formalization renders properties of emotions that are in line with the psychological model on which it is based. (shrink)

Collective Intelligence (CI) can be formalized as a specific1 computational process through the use of a molecular model of computations and mathematical logic, in terms of interacting information_molecules, which are chaotically or quasi-chaotically displacing and running natural-based inference processes in their own environment. The formal definition of Collective Intelligence as a property of a social structure of beings of any nature is surprisingly short and abstract (which is astonishing) from definitions of Life. The formal definition of Collective Intelligence (...) proposed by the author in the last few years seems to be valid for the whole spectrum of beings, in human social structures to ants in colonies, and even for bacterial colonies. It has recently been found that the CI definition also has an engineering value. The theory of CI can also be used to better understand Evolution because it allows us to locate and relate Life and Intelligence in Evolution. Moreover, this approach presents Evolution as something more complex than can be concluded from Darwinism. Probably the most surprising fact is that a simple extrapolation of the definition of Collective Intelligence brings us to the conclusion that most probably the first elementary Collective Intelligence emerged on Earth in the "chemical soup of primeval molecules," much before Life emerged. Collective Intelligence can be defined with fewer and weaker conditions than Life requires. Perhaps the emergence of that early elementary Collective Intelligence provided the basic momentum to build Life as we now know it. Thus Evolution caused Intelligence to create Life. Our hypothesis is consistent with biochemistry theories that "primeval biochemical molecules" started to interact, "firing" the Collective Intelligence of their "elementary chemical social structure" for survival. This successful action boosted further growth of complexity in that "elementary social structure," which finally resulted in the emergence of "well-defined Life." Furthermore, it provided a self-propagating cycle of growth of individual and collective Intelligence and individual and collective Life. The Collective Intelligence of ants, wolves, humans, and so forth today is only a higher level of Collective Intelligence development. Thus the present Evolution is a computational process of unidentified complexity where Life, Intelligence, and perhaps other as yet undiscovered components play temporary roles. In this paper we provide formalization and a proposed partial proof for this hypothesis. (shrink)

A semantics is presented for belief-revision in the face of common announcements to a group of agents that have beliefs about each other's beliefs. The semantics is based on the idea that possible worlds can be viewed as having an internal structure, representing the belief independent features of the world, and the respective belief states of the agents in a modular fashion. Modularity guarantees that changing one aspect of the world (a belief independent feature or a belief state) has no (...) effect on any other aspect of the world. This allows us to employ an AGM-style selection function to represent revision. The semantics is given a complete axiomatisation (identical to the axiomatisation found by Gerbrandy and Groeneveld for a semantics based on non-wellfounded set theory) for the special case of expansion. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Adjudicating the Debate Over Two Models of Nature AppreciationSheila Lintott (bio)It seems commonplace to point out that we aesthetically appreciate a wide variety of objects: that is, art objects are not the only good candidates for aesthetic appreciation.1 We know from experience that one can aesthetically appreciate not only Georgia O'Keefe's White Trumpet Flower, but also a white trumpet flower. Similarly, we can aesthetically appreciate both a pictorial (...) representation of the human form and that form instantiated in certain prime specimens. We do so, moreover, without classifying either flowers or human beings as art objects. Yet, the paradigm of aesthetic appreciation today, in both everyday life and in educative contexts, is the appreciation of art, which explains why we tend to try to understand what makes aesthetic appreciation appropriate in terms of what makes art appreciation appropriate. This approach may not be entirely mistaken, for beginning with the familiar is always a good plan. However, it must be done with care, otherwise important differences between our relationships with the art we appreciate and with the nature we appreciate may be overlooked, thereby obscuring salient differences in the appreciation of each.In this essay, I focus on the issue of the appropriate aesthetic appreciation of nature and offer an overview of a contemporary debate on the topic. I begin with a general discussion of art and nature appreciation. I then summarize Kendall Walton's theory of appropriate art appreciation and explain his skepticism regarding the possibility of appropriate and inappropriate nature appreciation. Next, I discuss two models according to which Walton is mistaken, as the philosophers who present these models, Allen Carlson and Noël Carroll, do so to illustrate how nature appreciation can be properly considered appropriate or inappropriate. It may seem that given the recent proliferation of models of nature appreciation, the last thing we should seek is yet another model. However, in the end, I shall argue the need for a new and different kind of model, one that is a revisionist and extensionist model of nature appreciation. [End Page 52]Art and Nature AppreciationConcerning the perceptual activity of the audience, how we ought to appreciate artworks is largely uncontroversial. Perhaps this is why Carlson opens his attempt to understand the aesthetic appreciation of nature with a presentation of the aesthetic appreciation of art, explaining that "with art objects there is a straightforward sense in which we know both what and how to aesthetically appreciate."2 Although not all artworks offer "straightforward" examples of aesthetic appreciation, Carlson's general point is reasonably motivated. As Kendall Walton succinctly explains: "Paintings and sculptures are to be looked at; sonatas and songs are to be heard. What is important about these works of art, as works of art, is what can be seen or heard in them."3 That we ought to look at paintings and listen to sonatas seems obvious for at least two reasons. First, via formal education and informal interactions, we have grown familiar with the conventions of art appreciation; second, such conventions find experiential reinforcement when, for example, our auditory sense is tickled by a Mozart concerto.4Underlying our relative lack of confidence when it comes to nature appreciation is the obvious fact that nature, unlike art, is not an artifact. Nature was not made by beings like us; it was made neither for our use, nor for our entertainment, nor for our appreciation.5 As Carlson puts it, "art objects are our own creations; it is for this reason that we know what is and what is not part of a work, which of its aspects are of aesthetic significance, and how to appreciate them" (ANE, 41). We need, therefore, a model of nature appreciation that will serve as a source of education regarding how best to appreciate nature and will offer the confidence we lack and the guidance we seek.It might seem that we should simply apply our knowledge of art to nature appreciation — that is, appreciate nature as if it were art. However, as numerous philosophers have noticed, this approach is mistaken.6 The mistake is both theoretical and practical. Theoretically, it is a category error... (shrink)

A semantics is presented for belief revision in the face of common announcements to a group of agents that have beliefs about each other’s beliefs. The semantics is based on the idea that possible worlds can be viewed as having an internal-structure, representing the belief independent features of the world, and the respective belief states of the agents in a modular fashion. Modularity guarantees that changing one aspect of the world (a belief independent feature or a belief state) has no (...) effect on any other aspect of the world. This allows us to employ an AGM-style selection function to represent revision. The semantics is given a complete axiomatisation (identical to the axiomatisation found by Gerbrandy and Groeneveld for a semantics based on non-wellfounded set theory) for the special case of expansion. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Adjudicating the Debate Over Two Models of Nature AppreciationSheila Lintott (bio)It seems commonplace to point out that we aesthetically appreciate a wide variety of objects: that is, art objects are not the only good candidates for aesthetic appreciation.1 We know from experience that one can aesthetically appreciate not only Georgia O'Keefe's White Trumpet Flower, but also a white trumpet flower. Similarly, we can aesthetically appreciate both a pictorial (...) representation of the human form and that form instantiated in certain prime specimens. We do so, moreover, without classifying either flowers or human beings as art objects. Yet, the paradigm of aesthetic appreciation today, in both everyday life and in educative contexts, is the appreciation of art, which explains why we tend to try to understand what makes aesthetic appreciation appropriate in terms of what makes art appreciation appropriate. This approach may not be entirely mistaken, for beginning with the familiar is always a good plan. However, it must be done with care, otherwise important differences between our relationships with the art we appreciate and with the nature we appreciate may be overlooked, thereby obscuring salient differences in the appreciation of each.In this essay, I focus on the issue of the appropriate aesthetic appreciation of nature and offer an overview of a contemporary debate on the topic. I begin with a general discussion of art and nature appreciation. I then summarize Kendall Walton's theory of appropriate art appreciation and explain his skepticism regarding the possibility of appropriate and inappropriate nature appreciation. Next, I discuss two models according to which Walton is mistaken, as the philosophers who present these models, Allen Carlson and Noël Carroll, do so to illustrate how nature appreciation can be properly considered appropriate or inappropriate. It may seem that given the recent proliferation of models of nature appreciation, the last thing we should seek is yet another model. However, in the end, I shall argue the need for a new and different kind of model, one that is a revisionist and extensionist model of nature appreciation. [End Page 52]Art and Nature AppreciationConcerning the perceptual activity of the audience, how we ought to appreciate artworks is largely uncontroversial. Perhaps this is why Carlson opens his attempt to understand the aesthetic appreciation of nature with a presentation of the aesthetic appreciation of art, explaining that "with art objects there is a straightforward sense in which we know both what and how to aesthetically appreciate."2 Although not all artworks offer "straightforward" examples of aesthetic appreciation, Carlson's general point is reasonably motivated. As Kendall Walton succinctly explains: "Paintings and sculptures are to be looked at; sonatas and songs are to be heard. What is important about these works of art, as works of art, is what can be seen or heard in them."3 That we ought to look at paintings and listen to sonatas seems obvious for at least two reasons. First, via formal education and informal interactions, we have grown familiar with the conventions of art appreciation; second, such conventions find experiential reinforcement when, for example, our auditory sense is tickled by a Mozart concerto.4Underlying our relative lack of confidence when it comes to nature appreciation is the obvious fact that nature, unlike art, is not an artifact. Nature was not made by beings like us; it was made neither for our use, nor for our entertainment, nor for our appreciation.5 As Carlson puts it, "art objects are our own creations; it is for this reason that we know what is and what is not part of a work, which of its aspects are of aesthetic significance, and how to appreciate them" (ANE, 41). We need, therefore, a model of nature appreciation that will serve as a source of education regarding how best to appreciate nature and will offer the confidence we lack and the guidance we seek.It might seem that we should simply apply our knowledge of art to nature appreciation — that is, appreciate nature as if it were art. However, as numerous philosophers have noticed, this approach is mistaken.6 The mistake is both theoretical and practical. Theoretically, it is a category error... (shrink)

This article provides an overview of different formal models that could be of interest to epistemologists interested in assertion. It also says something about where they fit into the general picture of assertion as a phenomenon involving both an asserter and an assertee. The author’s perspective is that of the philosopher rather than that of the logician. A semiformal level of description is employed, partly because some models are highly complex and merely introducing the basic formal (...) machinery, let alone some elementary results or proofs, would consume too much space. The term “formal” is used in a broad sense to include theories that have mathematical or logical elements, even if they are not completely formal. The discussions cover Bayesian models of assertion and logical models. (shrink)

Awareness is a concept that has been frequently studied in the context of Computer Supported Cooperative Work. However, other fields of computer science can benefit from this concept. Recent research in the multi-agent systems field has highlighted the relevance of complex interaction models such as multi-party communication and context awareness for simulation and adaptive systems. In this article, we present a generic interaction model that enables to use these different models in a standardized way. Emerging as a first-order (...) abstraction, the environment, in the sense of a common medium for the agents, is a suitable paradigm to support the agents’ awareness. We present an operational model, called Environment as Active Support of Interaction, to take into account all the agents that can be interested in a communication. This model is then extended for the regulation of multiagent systems interactions. Priority policies are given to manage the rules governing the context (un-)awareness of the agents. We also present a new AUML connector to create protocols that take into account the agent awareness to implement proactive behaviour, and several communication scenarios are proposed to show practical applications of this model. (shrink)

When discussing dialogue, argumentation researchers rarely draw the distinction between the story world and interactional world. While mediators often help to shape the interactions among agonists in the emerging flow of spoken discourse, writers of postulated dialogues narrate them, constructing a story world that depicts the agonists, depicts their utterances and their circumstances. In this paper, I ask where the agonists of the dialogue model of argument interact, and I show that they often interact in the story world of postulated (...) dialogues. Postulated dialogues are story problem conversations. Common in textbooks, exams, and standardized tests, story problems create hypothetical situations to illustrate formal relationships among variables, and are designed to be read in a theoretical attitude that treats the characters, objects, and circumstances that they depict as given. When argumentation researchers examine postulated dialogues, they tend to adopt a theoretical attitude, limiting their analysis to the conversation between the agonists depicted in the story world. Reading this way makes it easier to overlook the interactional world where the writing and reading of the texts takes place, obscuring the fact that they are narrated dialogues, often written by researchers. Reading this way also makes it easier to confirm the traditional participation framework of the dialogue model of argument. (shrink)

Having a satisfactory definition of behavioural deception is important for understanding several types of evolutionary questions. No definition offered in the literature so far is adequate on all fronts. After identifying characteristics that are important for a definition, a new definition of behavioural deception is offered. The new definition, like some other proposed attempts, relies on formal game-theoretic models of signalling. Unlike others, it incorporates explicit consideration of the population in which the potentially deceptive interactions occur. The general (...) structure of the definition satisfies many of the characteristics that were problematic for other definitions, and others are satisfied by explicitly incorporating information about the population in which interactions occur. Examples are given for chick begging in the Sir Philip Sidney game and other situations. 1 Introduction2 Deception in Formal Models2.1 Formal models of signalling2.2 Deception as dishonesty2.3 Deception as negative value of information2.4 Deception as misinformation with payoff conditions3 A Revised Definition3.1 Technical definitions3.2 Begging behaviour and the Sir Philip Sidney game3.3 ‘Universal’ deception and a possible objection3.4 One-on-one interactions3.5 Lucky errors4 Discussion and Conclusions. (shrink)

The opportunity cost model (OCM) aims to explain various phenomena, among which the finding that performance degrades if executive functions are used repeatedly (). We argue that an OCM account of resource depletion requires two unlikely assumptions, and we discuss an alternative that does not require these assumptions. This alternative model describes the interplay between executive function and motivation.

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

The standard model of precedential constraint holds that a court is equally free to modify a precedent of its own and a precedent of a superior court—overruling aside, it does not differentiate horizontal and vertical precedents. This paper shows that no model can capture the U.S. doctrine of precedent without making that distinction. A precise model is then developed that does just that. This requires situating precedent cases in a formal representation of a hierarchical legal structure, and adjusting the (...) constraint that a precedent imposes based on the relationship of the precedent court and the instant court. The paper closes with suggestions for further improvements of the model. (shrink)

In his doctor's thesis [1], Henkin has shown that if a formal logic is consistent, and sufficiently complex, then it must admit a non-standard model. In particular, he showed that there must be a model in which that portion of the model which is supposed to represent the positive integers of the formal logic is not in fact isomorphic to the positive integers; indeed it is not even well ordered by what is supposed to be the relation of (...) ≦.For the purposes of the present paper, we do not need a precise definition of what is meant by a standard model of a formal logic. The non-standard models which we shall discuss will be flagrantly non-standard, as for instance a model of the sort whose existence is proved by Henkin. It will suffice if we and our readers are in agreement that a model of a formal logic is not a standard model if either: The relation in the model which represents the equality relation in the formal logic is not the equality relation for objects of the model. That portion of the model which is supposed to represent the positive integers of the formal logic is not well ordered by the relation ≦. That portion of the model which is supposed to represent the ordinal numbers of the formal logic is not well ordered by the relation ≦. (shrink)

This paper's purpose is to set forth the conditions of explanation in the domain of formal modelling of social action. Explanation is defined as an adequate account of the underlying factors bringing about a phenomenon. The modelling of a social phenomenon can claim explanatory value in this sense if the following two conditions are fulfilled. (1) The generative mechanisms involved translate the effects of real factors abstracted from their phenomenal context, not those of purely ideal ones. (2) The explanatory (...) hypotheses, which account for the effects of explanatory factors, and the purely descriptive hypotheses, which introduce conceptual simplifications and summarise complex secondary mechanisms, are relatively independent from each other with regard to the phenomenon represented. This condition subjects the model to testing by alternatives through the development of purely descriptive hypotheses in the sense of explanatory or analytical realism. (shrink)

Formal models of theory contraction entered the philosophicalliterature with the prototype model by Alchourrón, Gärdenfors,and Makinson (Alchourrón et al. 1985). One influential modelinvolves theory contraction with respect to a relation calledepistemic entrenchment which orders the propositions of a theoryaccording to their relative degrees of theoretical importance.Various postulates have been suggested for characterizingepistemic entrenchment formally. I argue here that threesuggested postulates produce inappropriately bizarre results whenapplied to scientific theories. I argue that the postulates callednoncovering, continuing up, and continuing down, (...) implyrespectively that, (i) no scientific law is more epistemicallyentrenched than any of its instances, (ii) two distinct instances ofthe same scientific law must have different degrees of epistemicentrenchment, and (iii) any two scientific laws must have differentdegrees of epistemic entrenchment. I also argue that continuingup and continuing down each lead to incoherency. (shrink)

Formal models of theory contraction entered the philosophicalliterature with the prototype model by Alchourrón, Gärdenfors,and Makinson (Alchourrón et al. 1985). One influential modelinvolves theory contraction with respect to a relation calledepistemic entrenchment which orders the propositions of a theoryaccording to their relative degrees of theoretical importance.Various postulates have been suggested for characterizingepistemic entrenchment formally. I argue here that threesuggested postulates produce inappropriately bizarre results whenapplied to scientific theories. I argue that the postulates callednoncovering, continuing up, and continuing down, (...) implyrespectively that, (i) no scientific law is more epistemicallyentrenched than any of its instances, (ii) two distinct instances ofthe same scientific law must have different degrees of epistemicentrenchment, and (iii) any two scientific laws must have differentdegrees of epistemic entrenchment. I also argue that continuingup and continuing down each lead to incoherency. (shrink)

(2013). Hierarchical Bayesian models as formal models of causal reasoning. Argument & Computation: Vol. 4, Formal Models of Reasoning in Cognitive Psychology, pp. 36-45. doi: 10.1080/19462166.2012.700321.

The philosophy of mathematics has long been concerned with deter- mining the means that are appropriate for justifying claims of mathemat- ical knowledge, and the metaphysical considerations that render them so. But, as of late, many philosophers have called attention to the fact that a much broader range of normative judgments arise in ordinary math- ematical practice; for example, questions can be interesting, theorems important, proofs explanatory, concepts powerful, and so on. The as- sociated values are often loosely classied as (...) aspects of \mathematical understanding." Meanwhile, in a branch of computer science known as \formal ver- ication," the practice of interactive theorem proving has given rise to software tools and systems designed to support the development of com- plex formal axiomatic proofs. Such eorts require one to develop models of mathematical language and inference that are more robust than the the simple foundational models of the last century. This essay explores some of the insights that emerge from this work, and some of the ways that these insights can inform, and be informed by, philosophical theories of mathematical understanding. (shrink)

What makes our utterances mean what they do? In this work I formulate and justify a structural constraint on possible answers to this key question in the philosophy of language, and I show that accepting this constraint leads naturally to the adoption of an algebraic formalization of truth-theoretic semantics. I develop such a formalization, and show that applying algebraic methodology to the theory of meaning yields important insights into the nature of language. ;The constraint I propose is, roughly, this: the (...) meaning of an utterance of a natural language sentence is derived from the place of that sentence within a system that includes other sentences, and is structured in virtue of primitive semantic facts about complete sentences. This constraint calls for a formal semantics program where the meaning of natural language sentences is represented by an appropriate assignment of the elements of an algebraic structure to sentences, an assignment that represents facts concerning complete sentences. I call the above constraint 'The Algebraic Thesis', and the corresponding formal semantics program 'Algebraic Semantics.' ;I introduce AT by carving it out of the holistic views of language of Quine and Davidson, and I show that it is independent of other important features of these philosophers' views. I then argue for AT, taking into account recent work by Brandom, Dummett, Fodor and Lepore, Gaifman and Perry. In developing Algebraic Semantics I present structures of two basic types: Boolean algebras and cylindric algebras; these structures are construed in the context of AT in a novel way: they are treated as applying to classes of sentences as numbers apply to physical objects in measurement. Applying algebraic methodology to formal semantics and to the theory of meaning, I develop these results: ; An account of the semantics of necessity and possibility that avoids both Quine's dismissal of these notions and their reduction by David Lewis to quantification over possible worlds; ; The application of the model-theoretic notion of expansion to capture the process of our learning progressively more of the meaning of expressions in our first languages. (shrink)

This article describes the Vaccine/Injury Project Corpus, a collection of legal decisions awarding or denying compensation for health injuries allegedly due to vaccinations, together with models of the logical structure of the reasoning of the factfinders in those cases. This unique corpus provides useful data for formal and informal logic theory, for natural-language research in linguistics, and for artificial intelligence research. More importantly, the article discusses lessons learned from developing protocols for manually extracting the logical structure and generating (...) the logic models. It identifies sub-tasks in the extraction process, discusses challenges to automation, and provides insights into possible solutions for automation. In particular, the framework and strategies developed here, together with the corpus data, should allow “top–down” and contextual approaches to automation, which can supplement “bottom-up” linguistic approaches. Illustrations throughout the article use examples drawn from the Corpus. (shrink)

One way of dealing with the proliferation of conjectures that accompany the diverse study of the evolution of language is to develop precise and testable models which reveal otherwise latent implications. We suggest how verbal theories of the role of individual development in language evolution can benefit from formal modeling, and vice versa.

Formal dialectic has its roots in ancient dialectic. We can trace this influence in Charles Hamblin’s book on fallacies, in which he introduced his first formal dialectical systems. Earlier, Paul Lorenzen proposed systems of dialogical logic, which were in fact formal dialectical systems avant la lettre, with roles similar to those of the Greek Questioner and Answerer. In order to make a comparison between ancient dialectic and contemporary formal dialectic, I shall formalize part of the Aristotelian (...) procedure for Academic debates. The resulting system will be compared (1) with Van Eemeren and Grootendorst’s system of rules of Critical Discussion (the pragma-dialectical discussion procedure), which must, however, first itself be reconstructed as a formal dialectical system, and (2) with a Hamblin-type system, and (3) a Lorenzen-type system. When drawing comparisons, it will become clear that there is a line to be drawn from Aristotle to formal dialectic and pragma-dialectics, extending to contemporary computational models of argument. (shrink)