In this article, we develop a bimodal perspective on possibility semantics, a framework allowing partiality of states that provides an alternative modelling for classical propositional and modal logics. In particular, we define a full and faithful translation of the basic modal logic K over possibility models into a bimodal logic of partial functions over partial orders, and we show how to modulate this analysis by varying across logics and model classes that have independent topological motivations. This relates the two realms (...) under comparison both semantically and syntactically at the level of derivations. Moreover, our analysis clarifies the interplay between the complexity of translations and axiomatizations of the corresponding logics: adding axioms to the target bimodal logic simplifies translations, or vice versa, complex translations can simplify frame conditions. We also investigate a transfer of first-order correspondence theory between possibility semantics and its bimodal counterpart. Finally, we discuss the conceptual trade-off between giving translations and giving new semantics for logical systems, and we identify a number of further research directions to which our analysis gives rise. (shrink)

This book explores the interplay between logic and science, describing new trends, new issues and potential research developments.

A series of experiments was performed in which subjects indicated whether two four-dot patterns were the same, although possibly viewed from different directions, or different, paired at random. Analyses of responses times and error rates suggest that the subjects' performance in this affine matching task is based on non-accidental properties such as convexity, parallelism, collinearity, and proximity, rather than on real affine invariants such as the ratio of triangular areas.

Bijdragen over de actuele betekenis van de filosofie, met name de Reformatorische Wijsbegeerte.

An important factor in judging whether two retinal images arise from the same object viewed from different positions may be the presence of certain properties or cues that are 'qualitative invariants' with respect to the natural transformations, particularly affine transformations, associated with changes in viewpoint. To test whether observers use certain affine qualitative cues such as concavity, convexity, collinearity, and parallelism of the image elements, a 'same-different' discrimination experiment was carried out with planar patterns that were defined by four points (...) either connected by straight line segments (line patterns) or marked by dots (dot patterns). The first three points of each pattern were generated randomly; the fourth point fell on their diagonal bisector. According to the position of that point, the patterns were concave, triangular (three points being collinear), convex, or parallel sided. In a 'same' trial, an affine transformation was applied to one of two identical patterns; in a 'different' trial, the affine transformation was applied after the point lying on the diagonal bisector was perturbed a short, fixed distance along the bisector, inwards for one pattern and outwards for the other. Observers' ability to discriminate 'same' from 'different' pairs of patterns depended strongly on the position of the fourth, displaced, point: performance varied rapidly when the position of the displaced point was such that the patterns were nearly triangular or nearly parallel sided, consistent with observers using the hypothesised qualitative cues. The experimental data were fitted with a simple probabilistic model of discrimination performance that used a combination of these qualitative cues and a single quantitative cue. (shrink)

Er zijn een aantal redenen om de binnen de Reformatorische Wijsbegeerte door H. van Riessen ontwikkelde filosofie van de techniek aan te vullen. Het ging Van Riessen alleen om de moderne techniek: “de reformatorische benadering van de moderne techniek en waarom deze wezenlijk verschilde van de techniek van alle tijden. Dat verschil zit in de wetenschappelijke basis van de moderne techniek.” Zijn definitie was beperkt: “De ‘moderne techniek’ is de, in een economische verbandstructuur vervlochten en daardoor gecoördineerde, en overigens in (...) wetenschappelijke zin ontplooide, vrije, beheersende vorming met technische operatoren, met als doel, de productie van die cultuurobjecten, die voor deze vorming geschikt zijn.” En zijn 7de en 8ste stelling luidden: “De transformatie van energie door middel van technische operatoren is karakteristiek voor de moderne, wetenschappelijk ontplooide techniek” en “De kenmerkende methode der wetenschappelijke ontplooide techniek is die van de neutraliserende functiedeling en functie-integratie.”. (shrink)

This provocative study forges new and creative connections between Deleuzian philosophy and contemporary film studies.

Modal Logic Modal notions go beyond the merely true or false by embedding what we say or think in a larger conceptual space referring to what might be or might have been, should be or should have been, or can still come to be. Modal expressions occur in a remarkably wide … Continue reading Modal Logic →.

REFERENCES Barwise, J. & R. Cooper (1981) — 'Generalized Quantifiers and Natural Language', Linguistics and Philosophy 4:2159-219. Van Benthem, J. (1983a) — ' Five Easy Pieces', in Ter Meulen (ed.), 1-17. Van Benthem, J. (1983b) ...

Reasoning with quantifier expressions in natural language combines logical and arithmetical features, transcending strict divides between qualitative and quantitative. Our topic is this cooperation of styles as it occurs in common linguistic usage and its extension into the broader practice of natural language plus ‘grassroots mathematics’.We begin with a brief review of by changing the semantics of counting in natural ways. A first approach replaces cardinalities by abstract but well-motivated values of ‘mass’ or other mereological aggregating notions. A second approach (...) keeps the cardinalities but generalizes the meaning of counting to work in models that allow dependencies between variables.Finally, we return to our starting point in natural language, confronting the architecture of our formal systems with linguistic quantifier vocabulary and syntax, as well as with natural reasoning modules such as the monotonicity calculus. In addition to these encounters with formal semantics, we discuss the role of counting in semantic evaluation procedures for quantifier expressions and determine, for instance, which binary quantifiers are computable by finite ‘semantic automata’. We conclude with some general thoughts on yet further entanglements of logic and counting in formal systems, on rethinking the qualitative/quantitative divide, and on connecting our analysis to empirical findings in cognitive science. (shrink)

Minimal predicates P satisfying a given first-order description φ(P) occur widely in mathematical logic and computer science. We give an explicit first-order syntax for special first-order ‘PIA conditions’ φ(P) which guarantees unique existence of such minimal predicates. Our main technical result is a preservation theorem showing PIA-conditions to be expressively complete for all those first-order formulas that are preserved under a natural model-theoretic operation of ‘predicate intersection’. Next, we show how iterated predicate minimization on PIA-conditions yields a language MIN(FO) equal (...) in expressive power to LFP(FO), first-order logic closed under smallest fixed-points for monotone operations. As a concrete illustration of these notions, we show how our sort of predicate minimization extends the usual frame correspondence theory of modal logic, leading to a proper hierarchy of modal axioms: first-order-definable, first-order fixed-point definable, and beyond. (shrink)

We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion S4 ⊕ S4. We axiomatize the modal logic of products of spaces with horizontal, vertical, and standard product topologies.We prove that both of these logics are complete for the product of rational numbers ℚ × ℚ with the appropriate topologies.

The relation between logic and philosophy of science, often taken for granted, is in fact problematic. Although current fashionable criticisms of the usefulness of logic are usually mistaken, there are indeed difficulties which should be taken seriously -- having to do, amongst other things, with different "scientific mentalities" in the two disciplines. Nevertheless, logic is, or should be, a vital part of the theory of science. To make this clear, the bulk of this paper is devoted to the key notion (...) of a "scientific theory" in a logical perspective. First, various formal explications of this notion are reviewed, then their further logical theory is discussed. In the absence of grand inspiring programs like those of Klein in mathematics or Hilbert in metamathematics, this preparatory ground-work is the best one can do here. The paper ends on a philosophical note, discussing applicability and merits of the formal approach to the study of science. (shrink)

Contemporary historians of logic tend to credit Bernard Bolzano with the invention of the semantic notion of consequence, a full century before Tarski. Nevertheless, Bolzano's work played no significant rôle in the genesis of modern logical semantics. The purpose of this paper is to point out three highly original, and still quite relevant themes in Bolzano's work, being a systematic study of possible types of inference, of consistency, as well as their meta-theory. There are certain analogies with Tarski's concerns here, (...) although the main thrust seems to be different, both philosophically and technically. Thus, if only obliquely, we also provide some additional historical perspective on Tarski's achievement. (shrink)

Providing a possible worlds semantics for a logic involves choosing a class of possible worlds models, and setting up a truth definition connecting formulas of the logic with statements about these models. This scheme is so flexible that a danger arises: perhaps, any logic whatsoever can be modelled in this way. Thus, the enterprise would lose its essential 'tension'. Fortunately, it may be shown that the so-called 'incompleteness-examples' from modal logic resist possible worlds modelling, even in the above wider sense. (...) More systematically, we investigate the interplay of truth definitions and model conditions, proving a preservation theorem characterizing those types of truth definition which generate the minimal modal logic. (shrink)

In this analysis we discuss the change in criteria for triage of patients during three different phases of a pandemic like COVID-19, seen from the critical care point of view. Availability of critical care beds has become a hot topic, and in many countries, we have seen a huge increase in the provision of temporary intensive care bed capacity. However, there is a limit where the hospitals may run out of resources to provide critical care, which is heavily dependent on (...) trained staff, just-in-time supply chains for clinical consumables and drugs and advanced equipment. In the first phase, we can still do clinical prioritisation and decision-making as usual, based on the need for intensive care and prognostication: what are the odds for a good result with regard to survival and quality of life. In the next, the resources are mostly available, but the system is stressed by many patients arriving over a short time period and auxiliary beds in different places in the hospital being used. We may have to abandon admittance of patients with doubtful prognosis. In the last phase, usual medical triage and priority setting may not be sufficient to decrease inflow and there may not be enough intensive care unit beds available. In this phase different criteria must be applied using a utilitarian approach for triage. We argue that this is an important transition where society, and not physicians, must provide guidance to support triage that is no longer based on medical priorities alone. (shrink)

1 Logic in philosophy The century that was Logic has played an important role in modern philosophy, especially, in alliances with philosophical schools such as the Vienna Circle, neopositivism, or formal language variants of analytical philosophy. The original impact was via the work of Frege, Russell, and other pioneers, backed up by the prestige of research into the foundations of mathematics, which was fast bringing to light those amazing insights that still impress us to-day. The Golden Age of the 1930s (...) deeply affected philosophy, and heartened the minority of philosophers with a formalanalytical bent. As Brand Blanshard writes in Reason and Analysis (1964) – I quote from memory here, to avoid the usual disappointment when re-reading an original text. (shrink)

For a Euclidean space \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathbb{R}^n $$ \end{document}, let Ln denote the modal logic of chequered subsets of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathbb{R}^n $$ \end{document}. For every n ≥ 1, we characterize Ln using the more familiar Kripke semantics, thus implying that each Ln is a tabular logic over the well-known modal system Grz of Grzegorczyk. We show that the logics Ln form a decreasing chain (...) converging to the logic L∞ of chequered subsets of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathbb{R}^\infty $$ \end{document}. As a result, we obtain that L∞ is also a logic over Grz, and that L∞ has the finite model property. We conclude the paper by extending our results to the modal language enriched with the universal modality. (shrink)

Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic (...) logics as well. Finally, we discuss how our basic update rule can be parameterized for different update policies, or learning methods. (shrink)