This paper begins an analysis of the real line using an inconsistencytolerant (paraconsistent) logic. We show that basic field and compactness properties hold, by way of novel proofs that make no use of consistencyreliant inferences; some techniques from constructive analysis are used instead. While no inconsistencies are found in the algebraic operations on the real number field, prospects for...

In the first part of this paper we discuss some aspects of Detlefsen's attempt to save Hilbert's Program from the consequences of GodePs Second Incompleteness Theorem. His arguments are based on his interpretation of the long standing and well known controversy on what, exactly, finitistic means are. In his paper [1] Detlefsen takes the position that there is a form of the cj-rule which is a fi...

2 Special relativity 4 2.1 Motivation for special relativistic kinematics in place of Newtonian kinematics . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Language . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.3 Axiomatization Specrel of special relativity in first-order logic 15 2.4 Characteristic differences between Newtonian and special relativistic kinematics . . . ...

In biological evolution, adaptations to one environment can in some cases reverse adaptations to another environment. To study this "reverse evolution" on a genotypic level, we measured the fitness of E. coli strains with each possible combination of five mutations in an antibiotic-resistance gene in two distinct antibiotic environments. While adaptations to one environment generally lower fitn...

the sociology of law is concerned with explaining the relationship between law and society and studying of the social organization of law (as an order or a system), the social interactions of legal practitioners and people in this area and the meaning that people actually give to sociolegal realities. among the founding fathers of sociology, max weber is one of the most famous thinkers that eve...

A novel source-reverse transform for digital images is presented for image structure representation and analysis based on an electro-static analogy. In this transform, the image is taken as the potential field and the virtual source is reversed imitating the Gauss’s law. Region border detection is implemented based on the virtual field source representation of image structure. Moreover, the ene...