The papers collected in this volume exemplify some of the trends in current approaches to logic, language and computation. Written by authors with varied academic backgrounds, the contributions are intended for an interdisciplinary audience. The first part of this volume addresses issues relevant for multi-agent systems: reasoning with incomplete information, reasoning about knowledge and beliefs, and reasoning about games. Proofs as formal objects form the subject of Part II. Topics covered include: contributions on logical frameworks, linear logic, and different approaches (...) to formalized reasoning. Part III focuses on representations and formal methods in linguistic theory, addressing the areas of comparative and temporal expressions, modal subordination, and compositionality. (shrink)

We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...) and their organization and takes track of the way they are experimentally acquired or intentionally elaborated. A model mainly represents the theoretical knowledge or hypotheses on a domain, while the theory of observations mainly represents the empirical knowledge and the given experimental practices. We propose a precise identity criterion for observations and we explore different links between models and observations by assuming a degree of independence between them. By exploiting some techniques developed in the field of social choice theory and judgment aggregation, we sketch some strategies to solve inconsistencies between a given set of observations and the assumed theoretical hypotheses. The solutions of these inconsistencies can impact both the observations – e.g., the theoretical knowledge and the analysis of the way observations are collected or produced may highlight some unreliable sources – and the models – e.g. empirical evidences may invalidate some theoretical laws. (shrink)

We examine the role of alignment between organizational social consciousness and the informal and formal institutions of a country in increasing female representation on boards. Using fixed-effects and Hausman Taylor regression methodology for endogenous covariate with panel data for the years 2006–2020, we find that the greater the alignment between organizational social consciousness and certain formal and informal institutions, the more progress there is toward gender representation on corporate boards in Europe. We also find that more socially conscious firms make (...) the most progress, often going beyond the minimum regulatory targets. By showing the complementarity of these factors, we address the enduring question of how the interplay of formal and informal institutions directly affects corporate behavior, thus contributing to the institutional, public policy/regulatory, and corporate governance literatures. We note the need for policymakers to go beyond mere codification of rules via quotas and simultaneously work toward raising national and organizational social consciousness levels on issues of gender equality. (shrink)

This paper presents a formalization of informal logic using the Carneades Argumentation System, a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as preponderance of the evidence. CAS also formalizes argumentation schemes. Schemes can be used to check whether a given argument instantiates the types of argument deemed normatively appropriate for the type of dialogue.

In this paper, we propose an argumentation formalism that allows for both deductive and abductive argumentation, where ‘deduction’ is used as an umbrella term for both defeasible and strict ‘forward’ inference. Our formalism is based on an extended version of our previously proposed information graph formalism, which provides a precise account of the interplay between deductive and abductive inference and causal and evidential information. In the current version, we consider additional types of information such as abstractions which allow domain (...) experts to be more expressive in stating their knowledge, where we identify and impose constraints on the types of inferences that may be performed with the different types of information. A new notion of attack is defined that captures a crucial aspect of abductive reasoning, namely that of competition between abductively inferred alternative explanations. Our argumentation formalism generates an abstract argumentation framework and thus allows arguments to be formally evaluated. We prove that instantiations of our argumentation formalism satisfy key rationality postulates. (shrink)

In order to shed light on the issue of crony corruption in the context of economic transition, I focus on the puzzle of China's unique experience of economic transition characterized by the duality forms and effects of crony corruption underlying local corporatism in a dual-track (i.e., market and political tracks) transition. I argue that the duality of local corporatism derives from the duality of crony corruption. First, the early form of local corporatism as state-business public alliance is embedded in informal (...) crony corruption as positive for the purpose of wealth growth in the initial phase of economic transition with public and private interests aligned as compatible. Second, the later form of local corporatism as official-manager private collusion is embedded in quasi-formal crony corruption as negative for the purpose of wealth transfer in the later phase with public and private interests in conflict as incompatible. The duality of crony corruption in the two phases of economic transition is caused by the interplay between formal and informal factors and between economic and political factors. My contribution is twofold. First, I explain China's transition in terms of crony corruption underlying local corporatism. Second, I develop an integrated framework of crony corruption concerning its content, process, antecedent and consequence. (shrink)

This paper presents a formalization of informal logic using the Carneades Argumentation System, a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as preponderance of the evidence. Carneades also formalizes argumentation schemes. Schemes can be used to check whether a given argument instantiates the types of argument deemed normatively appropriate for the type of dialogue.

We apply dialogism to ethical thought to form a theory of Dialogical Ethics (DE). Specifically, DE is defined as the interplay between four historic ethical traditions: Formal (Kantian) Ethics, Content-Sense (Utilitarian) Ethics, Answerability Ethics, and Value/Virtue (Story) Ethics. On a broader level, DE can be understood as the interplay between the ethical ideas of society. We then use DE to analyze a number of problems in business including sweatshop labor and environmental degradation. To counteract these injustices, we propose (...) two recommendations: (1) a rebalancing of Kantian and Utilitarian ethics in business with the ontological focus of Answerability and Value Ethics and (2) a revolution in business education. No longer can business education focus only on techne. Instead, educators must challenge students to develop phronesis, so that they become better able to understand how their actions and how our living stories interacts with the stories of others. (shrink)

Ethics training—an important means to foster ethical decision-making in organisations—is carried out formally as well as informally. There are mixed findings as regards the effectiveness of formal versus informal ethics training. This study is one of its first kinds in which we have investigated the effectiveness of ethics training as it is carried out in the Indian IT sector. We have collected the views of Indian IT industry professionals concerning ethics training, and employed positivist and interpretive research. We first have (...) argued that the importance of the perception towards ethics has bearings not only on the individual ideologies but also on the organisational ethical values. In doing so, first we have conceptualised a theoretical framework: Perception of Ethics Training in Employees and Organisations. Second, we have studied the correlations between various components of this model. Third, we, under the rubric of PETINEO, examined the effectiveness of ethics training programmes for the Indian IT companies. Fourth, we have elaborated upon the results of our study. Our results suggest that the combination of both formal and informal means to undertake ethics training has superior impact on ethical decision-making in the Indian IT industry as compared to the use of any one of them in isolation. (shrink)

As a practicing clinical ethicist at a major teaching hospital, I found it reassuring to learn that ethics consultation activity has increased overall. However, it was disheartening to see tha...

Integrated Information Theory stands out as one of the most promising theories for dealing with the hard problem of consciousness. Founded on five axioms derived from phenomenology, IIT seeks for the physical substrate of consciousness that complies with such axioms according to the criterion of maximally integrated information. Eventually, IIT identifies phenomenal consciousness with maximal Φ or, what is the same thing, with the strongest cause-effect power in the system. Among the scholars critical of this theory, some point to the (...) so-called Intrinsicality Problem, namely that consciousness cannot be an intrinsic property of the system because maximal Φ crucially depends on the possible existence of bigger values of Φ if the initial system is appropriately linked to or embedded in larger systems. Although proposals in the recent literature aim to solve the IP by going beyond reductionism and physicalism, none of them tackle the real issue, i.e., the insufficiency of IIT’s causal-metaphysical structure. This papers endeavors to provide a solution to the IP in IIT within a hylomorphist ontology that includes formal causation. Complementing IIT with formal causation provides the theory with a criterion of individuation that solves the IP and, by relaxing identification between maximal Φ and consciousness, it lends a more robust metaphysical structure. To wit, maximal Φ is a necessary but not sufficient condition for the existence of consciousness. (shrink)

A framework for pragmatic analysis is proposed which treats discourse as a game, with context as a scoreboard organized around the questions under discussion by the interlocutors. The framework is intended to be coordinated with a dynamic compositional semantics. Accordingly, the context of utterance is modeled as a tuple of different types of information, and the questions therein — modeled, as is usual in formal semantics, as alternative sets of propositions — constrain the felicitous flow of discourse. A requirement of (...) Relevance is satisfied by an utterance (whether an assertion, a question or a suggestion) iff it addresses the question under discussion. Finally, it is argued that the prosodic focus of an utterance canonically serves to reflect the question under discussion (at least in English), placing additional constraints on felicity in context. (shrink)

Recent research on corporate social responsibility (CSR) suggests the need for further exploration into the relationship between small and medium-sized enterprises (SMEs) and CSR. SMEs rarely use the language of CSR to describe their activities, but informal CSR strategies play a large part in them. The goal of this article is to investigate whether differences exist between the formal and informal CSR strategies through which firms manage relations with and the claims of their stakeholders. In this context, formal CSR strategies (...) seem to characterize large firms while informal CSR strategies prevail among micro, small, and medium-sized enterprises. We use a sample of 3,626 Italian firms to investigate our research questions. Based on a multistakeholder framework, the analysis provides evidence that small businesses* use of CSR, involving strategies with an important impact on the bottom line, reflects an attempt to secure their license to operate in the communities; while large firms rarely make attempts to integrate their CSR strategies into explicit management systems. (shrink)

Researchers in areas such as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. In all these areas, attention is now being focused on the content of information rather than on just the formats and languages used to (...) represent information. The clearest example of this development is provided by the many initiatives growing up around the project of the Semantic Web. And, as the need for integrating research in these different fields arises, so does the realisation that strong principles for building well-founded ontologies might provide significant advantages over ad hoc, case-based solutions. The tools of formal ontology address precisely these needs, but a real effort is required in order to apply such philosophical tools to the domain of information systems. Reciprocally, research in the information sciences raises specific ontological questions which call for further philosophical investigations. The purpose of FOIS is to provide a forum for genuine interdisciplinary exchange in the spirit of a unified effort towards solving the problems of ontology, with an eye to both theoretical issues and concrete applications. This book contains a wide range of areas, all of which are important to the development of formal ontologies. (shrink)

FOIS is the flagship conference of the International Association for Ontology and its Applications, a non-profit organization which promotes interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science. This book presents the papers delivered at FOIS 2023, the 13th edition of the Formal Ontology in Information Systems conference. The event was held as a sequentially-hybrid event, face-to-face in Sherbrooke, Canada, from 17 to 20 July 2023, and online from 18 to 20 (...) September 2023. In total, 62 articles from 19 different countries were submitted, out of which 25 were accepted for inclusion in the conference and for publication; corresponding to an acceptance rate of 40 percent. The contributions are separated into the book’s three sections: (1) Foundational ontological issues; (2) Methodological issues around the development, alignment, verification and use of ontologies; and (3) Domain ontologies and ontology-based applications. In these sections, ontological aspects from a wide variety of fields are covered, primarily from various engineering domains including cybersecurity, manufacturing, petroleum engineering, and robotics, but also extending to the humanities, social sciences, medicine, and dentistry. A noticeable trend among the contributions in this edition of the conference is the recognition that improving the tools to analyze, align, and improve ontologies is of paramount importance in continuing to advance the field of formal ontology. The book will be of interest to all formal and applied ontology researchers, and to those who use formal ontologies and information systems as part of their work. (shrink)

This book is an introduction to the current developments in model-theoretic semantics, which has become an essential part of the work in theoretical linguistics over the last decade. The author examines the model structure of Montague's theory and then presents elaborations on this basic model that have been of particular importance in the last few years: generalized quantifiers, the introduction of more structure in the domain of individuals, properties as primitive elements in the model, situations and similar 'smaller' worldlike entities. (...) Nothing is presupposed about knowledge of the mathematical and logical tools used in formal semantics, and Bach presents the informal with a minimum of formalism. (shrink)

In Figuig Berber, like in many other Berber languages, it is possible to express the indirect object by a lexical expression and by a pronominal clitic in the same sentence. This construction, called “dative doubling” in the literature, is in variation with constructions that do not have a pronominal clitic. In this article, dative doubling is studied in two corpora, one written corpus (Benamara 2011), and one spoken corpus, collected by the author. It is shown that dative doubling is all (...) but absent in the written corpus, while it is quite frequent in the spoken corpus. In the spoken corpus, there is a clear correlation with information structure. Dative doubling is only rarely found with indirect objects that express new information, while it appears more than half of the times when indirect objects express old information. In addition, it is obligatory when expressing old information with the verb ini ‘to say’. (shrink)

Any theory of information needs to comply with what we call the implementation, formalization, and representation constraints. These constraints are justified by basic considerations concerning scientific modelling and methodology. In the first part of this paper, we argue that the implementation and formalization constraints cannot be satisfied because the relation between Shannon information and IIT must be clarified. In the second part of the paper, we focus on the representation constraint. We argue that IIT cannot succeed in satisfying this constraint (...) for semantic contents without offering models for concepts, conceptual roles, and context sensitivity. In the final part of the paper, further complications are raised with respect to the distinction between consciousness and attention, which apply more specifically to the representation constraint. We conclude with some recommendations as to how IIT may succeed in solving these problems, highlighting the advantages and enormous potential of IIT as a scientific theory. (shrink)

This paper explores the relationship between informal reasoning, creativity in mathematics, and problem solving. It underscores the importance of environments that promote interaction, hypothesis generation, examination, refutation, derivation of new solutions, drawing conclusions, and reasoning with others, as key factors in enhancing mathematical creativity. Drawing on argumentation logic, the paper proposes a novel approach to uncover specific characteristics in the development of formalized proving using “proof-events.” Argumentation logic can offer reasoning mechanisms that facilitate these environments. This paper proposes how argumentation (...) can be implemented to discover certain characteristics in the development of formalized proving with “proof-events”. The concept of a proof-event was introduced by Goguen who described mathematical proof as a multi-agent social event involving not only “classical” formal proofs, but also other informal proving actions such as deficient or alleged proofs. Argumentation is an integral component of the discovery process for a mathematical proof since a proof necessitates a dialogue between provers and interpreters to clarify and resolve gaps or assumptions. By formalizing proof-events through argumentation, this paper demonstrates how informal reasoning and conflicts arising during the proving process can be effectively simulated. The paper presents an extended version of the proof-events calculus, rooted in argumentation theories, and highlights the intricate relationships among proof, human reasoning, cognitive processes, creativity, and mathematical arguments. (shrink)

When modeling informal proofs like that of Euclid’s Elements using a sound logical system, we go from proofs seen as somewhat unrigorous – even having gaps to be filled – to rigorous proofs. However, metalogic grounds the soundness of our logical system, and proofs in metalogic are not like formal proofs and look suspiciously like the informal proofs. This brings about what I am calling here the groundedness problem: how can we decide with certainty that our metalogical proofs are rigorous (...) and sustain our logical system? In this paper, I will expose this problem. I will not try to solve it here. (shrink)

Agrobiodiversity is an evident outcome of a long-lasting human–nature relationship, as the continuous use, conservation and management of crops has resulted in biological as well as cultural diversity of seeds and breeds. This paper aims to understand the interlocking of formal and informal seed supply routes by considering the dynamic flow of seeds within networks across the intersections of gender, ethnicity and age in South India as social categories structuring human–nature relations. This changing relationship under formal and informal institutional settings (...) has consequences on performance for men and women in rice seed systems. Undertaking an empirical analysis of the organization of seed management and exchange, we seek to shed light on the gendered organization of agrobiodiversity as a social network. The study builds on Net-Map interviews conducted in 2012, embedded in the larger BioDIVA project in the district of Wayanad in Kerala, India. Based on network analysis, the interactive method employed has enabled identification of important actors in the seed system and the characteristics of their relationships. We look into the gendered structure of information exchange regarding seed varieties and actual seed transactions, while also examining clusters of actors collaborating regarding seed supply. Finally, we identify the institutional gap concerning seed sources left by formal and informal institutions, like the availability of varieties. We show how informal and formal seed systems coexist and overlap due to actors moving between systems and argue that the degree and areas of overlap are shaped by gendered human–nature relations. (shrink)

In Italy in recent years, an exponential increase in the frequency of medical malpractice claims relating to the issue of informed consent has substantially altered not only medical ethics, but medical practice as well. Total or partial lack of consent has become the cornerstone of many malpractice lawsuits, and continues to be one of the primary cudgels against defendant physicians in Italian courtrooms. Physicians have responded to the rising number of claims with an increase in ‘defensive medicine’ and a prevailing (...) preoccupation with the purely formal aspects of consent. The result is a plethora of consent forms, believed to be a guarantee of ‘informed consent’, as well as a growing reliance on informed consent as a shield against judicial action brought by the patient. Physicians ‘inform’ patients without really sharing information, often delegating the task of communication to other professionals who are not doctors. Italian judges always condemn the physician when information to the patient has been inadequate, thus leading insurance companies to consider the lack of valid informed consent as the total responsibility of the physician and/or the hospital. It is necessary to change tack, to remove this idea of consent which permeates the defensive culture of medical practice. Italian physicians need to be trained, first of all, to become aware that information and consent are two distinct processes, albeit closely connected. Valid communication demands a higher level of professionalism from physicians. (shrink)

Hyundai Motor Company (HMC) has departed from the general tendency in the neoliberal era toward labor casualization. Nonregular workers at HMC have succeeded in having their employment status converted from precarious to permanent. I investigate why informal workers at HMC have been more successful in regularizing their status than informal workers in the shipbuilding industry. I contend that the deskilled labor process in automobile production provides favorable conditions for informal workers to organize themselves and stage disruptive protests. These differences in (...) the labor process, however, cannot fully explain the success of HMC given the failure in other automobile factories. I argue that self-organization and protests led by rank-and-file informal workers as well as solidarity from left-leaning formal workers played decisive roles in formalizing informal workers at HMC. I conclude by stressing the importance of structural conditions and workers’ collective actions in explaining the divergent outcomes in limiting dualization. (shrink)

Classical logic yields counterintuitive results for numerous propositional argument forms. The usual alternatives (modal logic, relevance logic, etc.) generate counterintuitive results of their own. The counterintuitive results create problems—especially pedagogical problems—for informal logicians who wish to use formal logic to analyze ordinary argumentation. This paper presents a system, PL– (propositional logic minus the funny business), based on the idea that paradigmatic valid argument forms arise from justificatory or explanatory discourse. PL– avoids the pedagogical difficulties without sacrificing insight into argument.

According to a prevalent view among philosophers formal logic is the philosopher’s main tool to assess the validity of arguments, i.e. the philosopher’s ars iudicandi. By drawing on a famous dispute between Russell and Strawson over the validity of a certain kind of argument – of arguments whose premises feature definite descriptions – this paper casts doubt on the accuracy of the ars iudicandi conception. Rather than settling the question whether the contentious arguments are valid or not, Russell and Strawson, (...) upon discussing the proper logical analysis of definite descriptions, merely contrast converse informal validity assessments rendered explicit by nonequivalent logical for-malizations. (shrink)

This volume collects the papers presented at the 9th edition of the Formal Ontology in Information Systems conference, FOIS 2016, held July 6–9, 2016, in Annecy, France. As in the previous editions, FOIS 2016 included keynote addresses, full paper presentations, an Ontology Competition, an Early Career Symposium in its scientific program and was preceded by the Interdisciplinary Summer School on Ontological Analysis, now at its third edition and held June 27–July 1 in Bolzano-Bozen, Italy.

This paper presents a way in which formal logic can be understood and reformulated in terms of argumentation that can help us unify formal and informal reasoning. Classical deductive reasoning will be expressed entirely in terms of notions and concepts from argumentation so that formal logical entailment is equivalently captured via the arguments that win between those supporting concluding formulae and arguments supporting contradictory formulae. This allows us to go beyond Classical Logic and smoothly connect it with human reasoning, thus (...) providing a uniform argumentation-based view of both informal and formal logic. (shrink)

Formal Ontology in Information Systems is the flagship conference of the International Association for Ontology and its Applications. Its interdisciplinary research focus lies at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general.As in previous years, FOIS 2014 was a nexus of interdisciplinary research and communication. The current proceedings (...) is divided into four main sections, dealing with: foundations; processes, agency and dispositions; methods and tools; and applications. The last of these covers a broad spectrum of areas, including in particular biology and medicine, engineering, and economy. For the first time in its history, the conference hosted a special track: an ontology competition, the aim of which was to encourage authors to make their ontologies publicly available and to allow them to be evaluated according to a set of predetermined criteria. Papers discussing these ontologies can also be found in this volume.The book will be of interest to all those whose work involves the application of ontologies, and who are looking for a current overview of developments in formal ontology. (shrink)

Recent research on corporate social responsibility (CSR) is suggesting the need for filling the knowledge gap in the relationship between small and mediumsized enterprises (SMEs) and CSR. SMEs rarely use the language of CSR to describe what they are doing, but informal CSR strategies deeply characterize their businesses. The goal of this paper is to investigate whether a distinction exists between formal and informal CSR strategies, whereas formal CSR strategies should be a prerogative by large firms and informal CSR strategies (...) should be a condition of micro, small, and medium-sized enterprises. A sample of 3,626 Italian firms is used to investigate the research questions. Based on a multi-stakeholder framework, the analysis provides evidence that small businesses reveal their aptitude towards CSR through strategies with an important impact on the bottom line as an attempt to strengthen their license to operate in the communities; large firms are far away from integrating their CSR strategies with explicit management systems. (shrink)

Informal instructional approaches have long been an important component of a complete education in general and of music education in particular. But informal approaches have often been subject to bandwagon over-enthusiasm, with proponents inflating their virtues beyond what the concept appears to warrant. In this paper I will, first, examine the theoretical underpinnings of informal learning practices, and compare them to those of more formal learning practices to clarify what might be distinctive and valuable about using informal instructional practices in (...) formal music educational settings; second, take a critical look at one empirical study in which informal learning practices were brought into the formal setting, examining some of the favorable and unfavorable aspects of the methods used; and third, briefly argue that informal instructional practices in music education can, along with formal practices, contribute to the formation of an individual learner's identity and agency through engagement with music. (shrink)

Just as ontology developed over the centuries as part of philosophy, so in recent years ontology has become intertwined with the development of the information sciences. Researchers in various fields have come to realize that a solid foundation for their projects calls for an explicit theorization of the types of entities and relations that make up their respective domains of inquiry, and as the need for integrating such projects arises, so does the need to identify common ontological principles over ad (...) hoc, case-based solutions. This volume collects the papers presented at the third international conference devoted to current research in this area, including invited papers by P. Gärdenfors and A. L. Thomasson. (shrink)

Faced with the disenchantment and disengagement expressed by their employees, business leaders are considering ways of incorporating more benevolence into managerial practices. Nevertheless, ‘benevolence’—care and concern for the well-being of others—has not yet been studied in an organizational profit-focused context. In this paper, we seek to investigate the emergence and practice of benevolence with an eye on profit and performance. We begin by investigating the main ethical approaches to benevolence—virtue ethical, utilitarian, and deontological. Then, based on an empirical study, we (...) identify two distinct types of benevolence. On the one hand, formal benevolence is defined and monitored by the organizational processes and actions of leaders; it is understood by all concerned to be bounded by organizational performance. On the other hand, informal benevolence exists at the margin of these processes, in interpersonal and discretionary relationships. We set out to analyze these two types of benevolence and the complementarity between them. We also discuss to what extent they can be managed, teasing out some implications for managers and some potential avenues for further research. (shrink)

The title of this book refers to the tension between formal and informal elements in the ways analytical philosophy is practiced. The authors examine questions of the scopes and limits of both kinds of research methods.

Perception of time is susceptible to distortions; among other factors, it has been suggested that the perceived duration of a stimulus is affected by the observer’s expectations. It has been hypothesized that the duration of an oddball stimulus is overestimated because it is unexpected, whereas repeated stimuli have a shorter perceived duration because they are expected. However, recent findings suggest instead that fulfilled expectations about a stimulus elicit an increase in perceived duration, and that the oddball effect occurs because the (...) oddball is a target stimulus, not because it is unexpected. Therefore, it has been suggested that top-down attention is sometimes sufficient to explain this effect, and sometimes only necessary, with an additional contribution from saliency. However, how the expectedness of a target stimulus and its salient features affect its perceived duration is still an open question. In the present study, participants’ expectations about and the saliency of target stimuli were orthogonally manipulated with stimuli presented on a short (Experiment 1) or long (Experiment 2) temporal scale. Four repetitive standard stimuli preceded each target stimulus in a task in which participants judged whether the target was longer or shorter in duration than the standards. Engagement of top-down attention to target stimuli increased their perceived duration to the same extent irrespective of their expectedness. A small but significant additional contribution to this effect from the saliency of target stimuli was dependent on the temporal scale of stimulus presentation. In Experiment 1, saliency only significantly increased perceived duration in the case of expected target stimuli. In contrast, in Experiment 2, saliency exerted a significant effect on the overestimation elicited by unexpected target stimuli, but the contribution of this variable was eliminated in the case of expected target stimuli. These findings point to top-down attention as the primary cognitive mechanism underlying the perceptual extraction and processing of task-relevant information, which may be strongly correlated with perceived duration. Furthermore, the scalar properties of timing were observed, favoring the pacemaker-accumulator model of timing as the underlying timing mechanism. (shrink)

We discuss Kunen’s algorithmic implementation of a proof for the Paris–Harrington theorem, and the author’s and da Costa’s proposed “exotic” formulation for the P = NP hypothesis. Out of those two examples we ponder the relation between mathematics within an axiomatic framework, and intuitive or informal mathematics.

The issue of the relationship between formal and informal logic depends strongly on how one understands these two designations. While there is very little disagreement about the nature of formal logic, the same is not true regarding informal logic, which is understood in various (often incompatible) ways by various thinkers. After reviewing some of the more prominent conceptions of informal logic, I will present my own, defend it and then show how informal logic, so understood, is complementary to formal logic.

The now standard definition of logical consequence is model-theoretic. Many writers have tried to justify, or to criticise, the model-theoretic definition by arguing that it extensionally captures, or fails to capture, our intuitions about logical consequence, such as its modal character or its being truth-preservation in virtue of form. One popular means of comparing the extension of model-theoretic consequence with some intuitive notion proceeds by adapting Kreisel's squeezing argument. But these attempts get Kreisel wrong, and try to achieve more than (...) he ever intended. This suggests that the model-theoretic definition should be viewed quite differently as an explication of our intuitions about logical consequence. I introduce Kreisel's squeezing argument in Section 1. Then in Section 2, I show how it is adapted by two prominent writers on logical consequence, Etchemendy (1990) and Shapiro (2005). Finally, in Section 3, I argue that these adaptations fail. (shrink)