Results 21 to 30 of about 563,191 (177)
Evidence, Proofs, and Derivations [PDF]
, 2019 The traditional view of evidence in mathematics is that evidence is just proof and proof is just derivation. There are good reasons for thinking that this view should be rejected: it misrepresents both historical and current mathematical practice ...
Aberdein, Andrew
core +2 more sources
Ergodicity of inhomogeneous Markov chains through asymptotic pseudotrajectories [PDF]
, 2016 In this work, we consider an inhomogeneous (discrete time) Markov chain and are interested in its long time behavior. We provide sufficient conditions to ensure that some of its asymptotic properties can be related to the ones of a homogeneous ...
Benaïm, Michel +2 more
core +7 more sources
Dialectical Argumentation with Argumentation Schemes: An Approach to Legal Logic [PDF]
Artificial Intelligence and Law, 2003 This paper describes an approach to legal logic based on the formal analysis of argumentation schemes. Argumentation schemes - a notion borrowed from the field of argumentation theory - are a kind of generalized rules of inference, in the sense that they express that given certain premises a particular conclusion can be drawn.
openaire +3 more sources
On the use of shot noise for photon counting [PDF]
, 2015 Lieu et al. (2015) have recently claimed that it is possible to substantially improve the sensitivity of radio astronomical observations. In essence, their proposal is to make use of the intensity of the photon shot noise as a measure of the photon ...
Zmuidzinas, Jonas
core +2 more sources
Advances in the Theory of Argumentation Schemes and Critical Questions
Informal Logic, 2008 This paper begins a working through of Blair’s (2001) theoretical agenda concerning argumentation schemes and their attendant critical questions, in which we propose a number of solutions to some outstanding theoretical issues.
David Godden, Douglas Walton
doaj +1 more source
Similarity, precedent and argument from analogy [PDF]
, 2010 In this paper, it is shown (1) that there are two schemes for argument from analogy that seem to be competitors but are not, (2) how one of them is based on a distinctive type of similarity premise, (3) how to analyze the notion of similarity using story
A Wyner +44 more
core +3 more sources
Hard Lefschetz for Chow groups of generalized Kummer varieties
, 2016 The main result of this note is a hard Lefschetz theorem for the Chow groups of generalized Kummer varieties. The same argument also proves hard Lefschetz for Chow groups of Hilbert schemes of abelian surfaces. As a consequence, we obtain new information
Laterveer, Robert
core +1 more source
Renormalization and resummation in finite temperature field theories [PDF]
, 2004 Resummation, ie. reorganization of perturbative series, can result in an inconsistent perturbation theory, unless the counterterms are reorganized in an appropriate way.
A. Jakovác +4 more
core +2 more sources
Defeasible Classifications and Inferences from Definitions
Informal Logic, 2010 We contend that it is possible to argue reasonably for and against arguments from classifications and definitions, provided they are seen as defeasible (subject to exceptions and critical questioning).
Douglas Walton, Fabrizio Macagno
doaj +1 more source
Unary Primitive Recursive Functions
, 2006 In this article, we study some new characterizations of primitive recursive functions based on restricted forms of primitive recursion, improving the pioneering work of R. M. Robinson and M. D. Gladstone in this area. We reduce certain recursion schemes (
Daniel E. Severin +6 more
core +3 more sources