For—according to the lore—any attempt at pullingoff this featwill reduce themtomaterial implicationand that is decidedlynot agoodwayof assigning truth-conditions to ordinary indicative if s. That is too bad since it seems like they are bounded from above by strict implication (they are true when their antecedents straight out imply their consequents), are bounded from below by material implicat...

* MICHAEL GLANZBERG Cappelen and Hawthorne's Relativism and Monadic Truth (2009) offers an extended defense of a thesis they call simplicity, which, in brief, holds that propositions are true or false simpliciter. Propositions are cast in their traditional roles as the contents of assertions, and as the semantic values of declarative sentences in contexts. Simplicity stands in sharp contrast to...

There is an error in the last sentence of the “Validation on factual statements” section of the Results. The sentence should read: With this method we estimate that, in the four subject areas, true statements are assigned higher truth values than false ones with probability 95%, 98%, 100%, and 95%, respectively. Fig 4 is incorrect. Please view the corrected figure below. For each confusion matr...

In most of the approaches of computer-aided detection of breast cancer, one of the preprocessing steps applied to the mammogram is the removal/suppression of pectoral muscle, as its presence within the mammogram may adversely affect the outcome of cancer detection processes. Through this study, we propose an efficient automatic method using the watershed transformation for identifying the pecto...

Physics is introduced as a semantics of a formal set theory. We consider a metatheory of a formal set theory S. We name this metatheory MS, indicating that it is a Meta-theory of S as well as a Meta-Scientific theory as Ronald Swan [1] refers to. The following arguments are all made in MS. We define in MS φ = the class of all well-formed formulae of S. This φ is a countable set in the context o...

In recent work on context-dependency, it has been argued that certain types of sentences give rise to a notion of relative truth. In particular, sentences containing predicates of personal taste and moral or aesthetic evaluation as well as epistemic modals are held to express a proposition (relative to a context of use) which is true or false not only relative to a world of evaluation, but othe...

First-order Peano Arithmetic (PA) is incomplete. So the question naturally arises: what kinds of sentences belonging to PA’s language LA can we actually establish to be true even though they are unprovable in PA? There are two familiar classes of cases. First, there are sentences like the canonical Gödel sentence for PA. Second, there are sentences like the arithmetization of Goodstein’s Theore...