English
Related papers

Related papers: Truth as value and duty: lessons of mathematics

200 papers

A definition of what counts as an explanation of mathematical statement, and when one explanation is better than another, is given. Since all mathematical facts must be true in all causal models, and hence known by an agent, mathematical…

Artificial Intelligence · Computer Science 2024-02-16 Joseph Y. Halpern

Truth values of Modus Ponens and Modus Tollens rules for propositions having linguistic truth value that may be represented by lattice(Fig1, Fig2) are computed in this paper. The results show that the truth values are not always absolutely…

Logic · Mathematics 2018-10-09 Bithi Chattaraj , Sumita Basu

In this paper we suggest how the mathematical concept of hyperstructures may be a useful tool in the study of the higher, hierachical structure of languages.

General Mathematics · Mathematics 2018-06-15 Nils A. Baas

The article demonstrates that logic is not necessarily singleton and does not always have the standard interpretation of negation. Appropriate generalizations of logic are suggested. Positive logic and multivalued negation operations are…

Logic · Mathematics 2024-01-30 Volodymyr M. Zhuravlov

Doing mathematics implies three levels of manipulation: manipulating the abstract, manipulating symbols and manipulating logic. Teaching mathematics therefore involves the teacher proposing situations in which pupils can explore a small…

History and Overview · Mathematics 2023-07-06 Gilles Aldon

This talk reviews some mathematical and physical ideas related to the notion of dimension. After a brief historical introduction, various modern constructions from fractal geometry, noncommutative geometry, and theoretical physics are…

Algebraic Geometry · Mathematics 2007-05-23 Yuri I. Manin

We define constructive truth for arithmetic and for intuitionistic analysis, and investigate its properties. We also prove that the set of constructively true (first order) arithmetical statements is Pi-1-2 and Sigma-1-2 hard, and we…

Logic · Mathematics 2007-05-23 Dmytro Taranovsky

Logic has its origins in basic questions about the nature of the real world and how we describe it. This article seeks to bring out the physical and epistemological relevance of some of the more recent technical work in logic and…

Logic · Mathematics 2011-09-08 S. Barry Cooper

This is a brief overview of the role of mathematicians in the so-called "Luzin Case" as well as some analysis of the mathematical and humanitarian roots of the affair.

History and Overview · Mathematics 2012-09-27 S. Kutateladze

Mathematics has become inescapable in modern, digitized societies: there is hardly any area of life left that isn't affected by it, and we as mathematicians play a central role in this. Our actions affect what others, in particular our…

History and Overview · Mathematics 2024-07-18 Maurice Chiodo , Dennis Müller

Mathematics is changing. Computers are verifying proofs, checking calculations, and exploring complex structures that would overwhelm human effort. Yet curiosity-driven research is where tomorrow's breakthroughs are quietly prepared. In…

History and Overview · Mathematics 2026-03-17 Claire Burrin

We revisit Smullyan's paper ``Truth and Provability'' (2013) for three purposes. First, we introduce the notion of Smullyan models to give a precise definition for Smullyan's framework discussed in that paper. Second, we clarify the…

Logic · Mathematics 2025-01-20 Taishi Kurahashi , Kohei Tominaga

Mathematical understanding is built in many ways. Among these, illustration has been a companion and tool for research for as long as research has taken place. We use the term illustration to encompass any way one might bring a mathematical…

History and Overview · Mathematics 2023-12-29 Rémi Coulon , Gabriel Dorfsman-Hopkins , Edmund Harriss , Martin Skrodzki , Katherine E. Stange , Glen Whitney

By considering probability distributions over the set of assignments the expected truth values assignment to propositional variables are extended through linear operators, and the expected truth values of the clauses at any given…

Logic in Computer Science · Computer Science 2010-07-07 Guillermo Morales-Luna

Following the processing of individual topics of elementary school mathematics as content of empirical theories the question is adressed wether the associated conception of mathematics finds itself under established concepts, and how it can…

History and Overview · Mathematics 2016-02-24 Hans Joachim Burscheid , Horst Struve

These Notes deal with various areas of mathematics, and seek reciprocal combinations, explore mutual relations, ranging from abstract objects to problems in physics.

Mathematical Physics · Physics 2023-03-28 Edoardo Niccolai

People sometimes change their opinions when they discuss things with other people. Researchers can use mathematics to study opinion changes in simplifications of real-life situations. These simplified settings, which are examples of…

Physics and Society · Physics 2024-08-07 Grace J. Li , Jiajie Luo , Kaiyan Peng , Mason A. Porter

Fairness for Machine Learning has received considerable attention, recently. Various mathematical formulations of fairness have been proposed, and it has been shown that it is impossible to satisfy all of them simultaneously. The literature…

Computers and Society · Computer Science 2019-12-10 Megha Srivastava , Hoda Heidari , Andreas Krause

This is an explanation and defense of "mathematical conceptualism" for a general mathematical and philosophical audience. I make a case that it is cogent, rigorous, attractive, and better suited to ordinary mathematical practice than all…

Logic · Mathematics 2007-05-23 Nik Weaver

The objective of this article is to stimulate discussions in mathematical society about the role of mathematical departments in the life of the community. University community is the center of knowledge and promotes the intellectual…

History and Overview · Mathematics 2010-09-13 Liliana Costa , Evgeny Lakshtanov
‹ Prev 1 4 5 6 7 8 10 Next ›