421,071 Hits in 2.7 sec

Making Theory Reasoning Simpler [chapter]

Giles Reger, Johannes Schoisswohl, Andrei Voronkov
2021 Lecture Notes in Computer Science  
This resulted in four further simplification rules for theory reasoning.  ...  Our previous work proposed an instantiation rule for theory reasoning that produced pragmatically useful instances.  ...  This paper introduces a set of simplification rules for reasoning in the theory of (any combination of linear or non-linear real, rational, or integer) arithmetic, i.e. rules that make reasoning in arithmetic  ... 
doi:10.1007/978-3-030-72013-1_9 fatcat:scvyq5encvhmbib3e437pij4g4

Why Simpler Arguments are Better

Moti Mizrahi
2015 Argumentation: an international journal on reasoning  
In this paper, I argue that, other things being equal, simpler arguments are better.  ...  I sketch three arguments in support of this claim: an argument from mathematical proofs, an argument from scientific theories, and an argument from the conjunction rule.  ...  Now, granted that scientists prefer simpler explanations, and hence simpler scientific theories, and that their preference for simpler theories is rational, it is reasonable to infer that, other things  ... 
doi:10.1007/s10503-015-9367-1 fatcat:pv2g34r3bvbixnejumkjy7br7e

The Simplest Hypothesis

Gilbert Harman
1988 Crítica. Revista Hispanoamericana de Filosofía  
The first question was "What makes one hypothesis simpler than another". I have made a proposal about that.  ...  So, we have a reason to prefer accepting simpler hypotheses to accepting more complex hypotheses. But to accept a simpler hypothesis for this sort of reason is not to engage in wishful thinking.  ... 
doi:10.22201/iifs.18704905e.1988.675 fatcat:4z6srulnxrfdjgsrzexlwu6mmq


2007 Worldviews, Science and Us  
Regardless of the reasons for elaboration, we are well aware of this tendency in our fellows and make use of this knowledge.  ...  Within this set of 'best' theories it was examined whether the simpler theories predicted the out-of-sample data better than the more complex theories.  ... 
doi:10.1142/9789812707420_0005 fatcat:tnrqcsm66na5he5xhz27rorquu

Philosophers should prefer simpler theories

Darren Bradley
2017 Philosophical Studies  
Huemer (Philos Q 59:216-236, 2009) objects that the reasons to prefer simpler theories in science do not apply in philosophy.  ...  Foremost among these theoretical virtues is simplicity-so perhaps we should prefer simpler philosophical theories to more complex ones.  ...  Presumably we need a theory of what makes an explanation good (and best) which says that simpler explanations are good.  ... 
doi:10.1007/s11098-017-0994-2 fatcat:gh5y4bjysrbblgfps26hqtvnre

The Interpretive-Sensory Access Theory of Self-Knowledge: Simplicity and Coherence with Surrounding Theories

Paulius Rimkevičius
2019 Problemos  
processing theory.  ...  I argue that the question of simplicity should be considered in light of the well-established theories surrounding the ISA theory. I claim that the ISA theory then proves to be the simplest.  ...  These two originally given reasons why the ISA theory is simpler than its rivals are now widely acknowledged by the opponents of the ISA theory.  ... 
doi:10.15388/problemos.96.12 fatcat:23mzevvyrzfbfgccbapd34kbgm


Richard Swinburne
2005 Faith and Philosophy  
The 'background evidence' k which makes e make h probable is all the various data which make Newton's theory and the other auxiliary theories probable.  ...  Given that simplicity makes for prior probability, and a theory is simpler the fewer entities it postulates, it is far simpler to postulate one God than an infinite number of Universes, each differing  ... 
doi:10.5840/faithphil200522525 fatcat:waw2hqrwbbhnfopjbfpsnlhgka

The Curve Fitting Problem: A Bayesian Approach

Prasanta S. Bandyopadhayay, Robert J. Boik, Prasun Basu
1996 Philosophy of Science  
Following Harman, we contend that if a consideration makes a difference in the probability of embracing a theory, then it is an epistemic reason for embracing the theory.  ...  Our discussion about the Sue example shows that a simpler theory has an evidential role to play in theory choice (since it has a greater predictive accuracy than its complex counterparts), does not make  ... 
doi:10.1086/289960 fatcat:uthndvvzwrgeder6hvfu2ci4w4

A simple theism for a mixed world: response to Bradley

2007 Religious Studies: An International Journal for the Philosophy of Religion  
I explain the sense in which a simpler theory leaves less to be explained, justify my claim that God's perfect goodness is entailed by his other divine properties, and show that not merely is theism simpler  ...  While I acknowledge that I did not make one argument of mine very clear and for this reason can fully understand why Bradley makes the objection that he does, I argue that none of his objections to my  ...  But he then uses this understanding of simplicity to suggest that a theory (his ' Epicurean ' theory) is simpler than another theory (my traditional theism) in virtue of being able to explain data unexplained  ... 
doi:10.1017/s0034412507009006 fatcat:4nm55vf3zne3rdqrpmk752myaq

'Identity' as a mereological term

Jeroen Smid
2016 Synthese  
I argue that this entails that mereological theories can be ideologically simpler than nihilistic theories that do not use the notion of parthood-contrary to what has been argued by Ted Sider.  ...  Moreover, if one accepts an extensional mereology, there are good philosophical reasons apart from ideological simplicity to give a mereological definition of identity.  ...  The obvious reason is that such a definition decreases the number of primitive terms in mereology thus making the overall theory ideologically simpler.  ... 
doi:10.1007/s11229-016-1056-6 fatcat:smkdf5gwavgtfblc5nurwehdym

A Defence of the Control Principle

Martin Sand
2020 Philosophia  
A simpler theory of blameworthiness is more likely to be true, and not being falsely judged blameworthy is desirable.  ...  I will establish a defence of the control principle based on the value of simplicity for selecting a theory of blameworthiness.  ...  This desire makes reasonable to prefer theories of blameworthiness that are more likely true than others, and this appertains to simpler theories. This brings us to premise 2).  ... 
doi:10.1007/s11406-020-00242-1 fatcat:t6pqvvmspfemnfpmloonjehdcy

Can Ockham's razor cut through the mind-body problem? A critical examination of Churchland's "Raze dualism" argument for materialism

Christopher J. Anderson
2001 Journal of Theoretical and Philosphical Psychology  
It states that materialism is to be considered the superior solution to the mind-body problem because it is simpler than the dualist alternative.  ...  In other words, the complex theory should be discarded when faced with simpler and equally accurate theories.  ...  This premise states that if two metaphysical theories explain the evidence equally well, we should prefer the simpler one.  ... 
doi:10.1037/h0091198 fatcat:sx4um7lmwjbutmjkr3qv7ipkqa

Estimating the Use of Higher-Order Theory of Mind Using Computational Agents

Harmen de Weerd, Denny Diepgrond, Rineke Verbrugge
2018 The B.E. Journal of Theoretical Economics  
When people make decisions in a social context, they often make use of theory of mind, by reasoning about unobservable mental content of others.  ...  We find that while many children and adults appear to make use of theory of mind, participants are also often classified as using a simpler reactive strategy based only on the actions of the directly preceding  ...  People can even use their theory of mind to reason about the way others make use of theory of mind.  ... 
doi:10.1515/bejte-2016-0184 fatcat:fmei4h5qxjg4hp75al7cynolam

Three Potential Problems for Powers' One-Fallacy Theory

Matthew Zuckero
2003 Informal Logic  
I argue that there is a simpler explanation of these 'hard' cases than positing ambiguities that are not obviously there.  ...  applied as counterexamples to Powers' theory.  ...  Rational-2 people make mistakes in reason other than simply confusing ideas.  ... 
doi:10.22329/il.v23i3.2175 fatcat:mkn4goocxzdifeqnufnhq4bzie

Mathematics and Aesthetic Considerations in Science

M. Colyvan
2002 Mind  
He argues that mathematics allows for simpler theories of the world but this does not mean that, according to these theories, the world is a simpler place.  ...  That a theory can recursively generate a wide range of predicates, that a theory has a particularly elegant proof procedure, that a theory is capable of making a large number of fine distinctions are all  ... 
doi:10.1093/mind/111.441.69 fatcat:oeaqljnys5gibmhoagw3ms6hxq
« Previous Showing results 1 — 15 out of 421,071 results