18 papers · ranked by Valyu relevance
Wolfgang Pietsch
Because large language models (LLMs) are impressively successful in predicting text, it appears that they must have access to a 'world model' representing causal and definitional structure. However, the dominant formalisms of modern causal inference -- Judea Pearl's interventionist approach and the Neyman-Rubin…
Sander Beckers
Over a series of seven papers, Andreas & Günther have introduced seven definitions of actual causation and have classified them as belonging to three different, competing, types of accounts: factual difference-making, counterfactual difference-making, and regularity-based. I show that their most recent - factual…
Boris Konev, Michael Ludwig, Dirk Walther, Frank Wolter
We study a logic-based approach to versioning of ontologies. Under this view, ontologies provide answers to queries about some vocabulary of interest. The difference between two versions of an ontology is given by the set of queries that receive different answers. We investigate this approach for terminologies given in…
David Wörner
The identity of indiscernibles (PII) states that indiscernible objects must be identical. Many philosophers have held that the PII turns out to be either true but trivial, or non-trivial but false, depending on how the notion of (in)discernibility is spelled out. In this paper, I propose and defend an account of this…
Authors not listed
While virtual libraries of synthetically accessible compounds have exploded in size to many billions, our capacity to extract valuable drug leads from these vast databases remains limited by computational resources. To overcome this, we developed SLICE SMARTS and Logic In ChEmistry), a powerful new tool designed for…
Authors not listed
While the method of manual inspection reliably produces correct results at the introductory level, it can often appear untidy and unintuitive and lacks teachable depth. This paper presents a novel alternative approach designed to achieve the same outcomes as manual inspection but with enhanced clarity. It serves as…
Selmer Bringsjord, Michael Giancola, Naveen Sundar Govindarajulu, John Slowik + 3 more
'John Slowik' 'James Oswald' 'Paul Bello' 'Micah Clark'] Formal deductive logic, used to express and reason over declarative, axiomatizable content, captures, we now know, essentially all of what is known in mathematics and physics, and captures as well the details of the proofs by which such knowledge has been…
Maryam Ziaei, Mohammad Reza Bonyadi, David C. Reutens
In logical reasoning, difficulties in inhibition of currently-held beliefs may lead to unwarranted conclusions, known as belief bias. Aging is associated with difficulties in inhibitory control, which may lead to deficits in inhibition of currently-held beliefs. No study to date, however, has investigated the…
Arnaud Poret, Claudio Monteiro Sousa, Jean-Pierre Boissel
Due to the scarcity of quantitative details about biological phenomena, quantitative modeling in systems biology can be compromised, especially at the subcellular scale. One way to get around this is qualitative modeling because it requires few to no quantitative information. One of the most popular qualitative…
Authors not listed
In the real world, many reversal phenomena occur—for example, cases in which a statement once regarded as false is later recognized as true. Upside-Down Logic is a framework designed to formalize such reversal phenomena as a logical system. It inverts the truth and falsity of propositions through contextual…
Luis Adrian Urtubey
I aim to promote an alternative agenda for teaching modal logic chiefly inspired by the relationships between modal logic and philosophy. The guiding idea for this proposal is a reappraisal of the interest of modal logic in philosophy, which do not stem mainly from mathematical issues, but which is motivated by central…
Henry Markovits
There is little consensus about the underlying parameters of human reasoning. Two major theories have been proposed that suppose very different mechanisms. The mental model theory proposes that people use working memory intensive processes in order to construct limited models of problem parameters. Probabilistic…
Theodora Achourioti, Andrew J. B. Fugard, Keith Stenning
This paper argues that the goals people have when reasoning determine their own norms of reasoning. A radical descriptivism which avoids norms never worked for any science; nor can it work for the psychology of reasoning. Norms as we understand them are illustrated with examples from categorical syllogistic reasoning…
Authors not listed
Step-by-step thinking is essential in all domains of chemical sciences and engineering. While machine learning tools are broadly used, algorithms that automate reasoning are far less common. We elaborate on seven categories of human reasoning activities and connect each to applications in chemical science and…
Konstantine Arkoudas
GPT-4 was released in March 2023 to wide acclaim, marking a very substantial improvement across the board over GPT-3.5 (OpenAI's previously best model, which had powered the initial release of ChatGPT). Despite the genuinely impressive improvement, however, there are good reasons to be highly skeptical of GPT-4's…
Ajay Subbaroyan, Olivier C. Martin, Areejit Samal
The properties of random Boolean networks as models of gene regulation have been investigated extensively by the statistical physics community. In the past two decades, there has been a dramatic increase in the reconstruction and analysis of Boolean models of biological networks. In such models, neither network…
P. N. Johnson-Laird, Marco Ragni
Everyone reasons about possibilities. This article explains how they could do so using mental models. The theory makes four major claims: 1. Correct inferences are necessary, referring only to facts or possibilities to which the premises refer and not ruling any of them out, for example: She left or hid; Therefore…
Heinrich Wansing
In this paper, Graham Priest’s understanding of dialetheism, the view that there exist true contradictions, is discussed, and various kinds of metaphysical dialetheism are distinguished between. An alternative to dialetheism is presented, namely a thesis called ‘dimathematism’. It is pointed out that dimathematism…