English
Related papers

Related papers: Falsification or Confirmation: From Logic to Psych…

200 papers

This article introduces the concept of weaponization of conscience as a complex system and tactic employed by fraudsters to camouflage their activity, coerce others, or to deceive their victims. This study adopts a conceptual approach,…

Cryptography and Security · Computer Science 2024-06-13 Michelle Espinoza

The study of opinions, their formation and change, is one of the defining topics addressed by social psychology, but in recent years other disciplines, like computer science and complexity, have tried to deal with this issue. Despite the…

Artificial Intelligence · Computer Science 2011-06-22 Francesca Giardini , Walter Quattrociocchi , Rosaria Conte

Automated fact checking systems have been proposed that quickly provide veracity prediction at scale to mitigate the negative influence of fake news on people and on public opinion. However, most studies focus on veracity classifiers of…

Computation and Language · Computer Science 2022-06-15 Shih-Chieh Dai , Yi-Li Hsu , Aiping Xiong , Lun-Wei Ku

In real-world applications, knowledge bases consisting of all the information at hand for a specific domain, along with the current state of affairs, are bound to contain contradictory data coming from different sources, as well as data…

Logic in Computer Science · Computer Science 2014-01-08 Paulo Shakarian , Gerardo I. Simari , Marcelo A. Falappa

Fact-checking is the process of evaluating the veracity of claims (i.e., purported facts). In this opinion piece, we raise an issue that has received little attention in prior work -- that some claims are far more difficult to fact-check…

Computation and Language · Computer Science 2022-02-08 Prakhar Singh , Anubrata Das , Junyi Jessy Li , Matthew Lease

Modern recommender systems face an increasing need to explain their recommendations. Despite considerable progress in this area, evaluating the quality of explanations remains a significant challenge for researchers and practitioners. Prior…

Artificial Intelligence · Computer Science 2022-11-18 Yuanshun Yao , Chong Wang , Hang Li

Agents' judgment depends on perception and previous knowledge. Assuming that previous knowledge depends on perception, we can say that judgment depends on perception. So, if judgment depends on perception, can agents judge that they have…

Neurons and Cognition · Quantitative Biology 2012-02-21 Ahmed M. Mahran

Real-life conjectures do not come with instructions saying whether they they should be proven or, instead, refuted. Yet, as we now know, in either case the final argument produced had better be not just convincing but actually verifiable in…

Computers and Society · Computer Science 2015-07-21 João Marcos

The need for formal definition of the very basis of mathematics arose in the last century. The scale and complexity of mathematics, along with discovered paradoxes, revealed the danger of accumulating errors across theories. Although,…

Logic in Computer Science · Computer Science 2018-09-10 Artem Yushkovskiy

Despite its centrality in the philosophy of cognitive science, there has been little prior philosophical work engaging with the notion of representation in contemporary NLP practice. This paper attempts to fill that lacuna: drawing on ideas…

Computation and Language · Computer Science 2023-11-21 Jacqueline Harding

In this paper I argue that aim-oriented empiricism (AOE), a conception of natural science that I have defended at some length elsewhere, is a kind of synthesis of the views of Popper, Kuhn and Lakatos, but is also an improvement over the…

History and Philosophy of Physics · Physics 2012-08-28 Nicholas Maxwell

In contrast to software reverse engineering, there are hardly any tools available that support hardware reversing. Therefore, the reversing process is conducted by human analysts combining several complex semi-automated steps. However,…

Cryptography and Security · Computer Science 2019-10-02 Carina Wiesen , Nils Albartus , Max Hoffmann , Steffen Becker , Sebastian Wallat , Marc Fyrbiak , Nikol Rummel , Christof Paar

The scientific study of consciousness is currently undergoing a critical transition in the form of a rapidly evolving scientific debate regarding whether or not currently proposed theories can be assessed for their scientific validity. At…

Artificial Intelligence · Computer Science 2021-08-16 Jake R. Hanson , Sara I. Walker

Prior research demonstrates that performance of language models on reasoning tasks can be influenced by suggestions, hints and endorsements. However, the influence of endorsement source credibility remains underexplored. We investigate…

Computation and Language · Computer Science 2026-05-28 Priyanka Mary Mammen , Emil Joswin , Shankar Venkitachalam

In recent years, numerous arguments have emerged suggesting that the LCDM (Lambda Cold Dark Matter) model may be inconsistent with observational data, requiring more or less radical revisions. Notable examples include the Hubble tension,…

History and Philosophy of Physics · Physics 2025-05-13 Alain Blanchard

We describe a new method of finding interpolants for classical logic using certain refutation system as a starting point. Refutation can be thought of as an alternative approach to the analysis of formal systems: instead of focusing on…

Logic in Computer Science · Computer Science 2026-03-18 Adam Trybus , Karolina Rożko , Tomasz Skura

If an active citizen should increasingly be a computationally enlightened one, replacing the autonomy of reason with the heteronomy of algorithms, then I argue in this article that we must begin teaching the principles of critiquing the…

Computers and Society · Computer Science 2025-05-19 David M. Berry

Negation is a common linguistic phenomenon. Yet language models face challenges with negation in many natural language understanding tasks such as question answering and natural language inference. In this paper, we experiment with seamless…

Computation and Language · Computer Science 2024-06-12 MohammadHossein Rezaei , Eduardo Blanco

This article discusses the logical errors in the liar paradox, G\"odel's incompleteness theorems, Russell's paradox, and the halting problem. In order to avoid these errors, a redefinition of logic has been presented, which is concluded as…

General Mathematics · Mathematics 2023-08-21 Xuezhi Yang

Most work on scholarly document processing assumes that the information processed is trustworthy and factually correct. However, this is not always the case. There are two core challenges, which should be addressed: 1) ensuring that…

Digital Libraries · Computer Science 2021-06-01 Isabelle Augenstein