Many contemporary logicians acknowledge a plurality of logical theories and accept that theory choice is in part motivated by evidence. However, just as there no agreement on theories, also consensus what constitutes In this paper, I outline Jean Piaget’s psychological reasoning show how he used it to diagnose solve one the paradoxes material implication. assess use psychology source evidence f...

Proteomics is an emerging field of modern biotechnology and an attractive research area in bioinformatics. Protein annotation by mass spectrometry has recently been utilized for the classification and prediction of diseases. In this paper we apply the theory of linear predictive coding and its decision logic for the prediction of major adverse cardiac risk using mass spectra. The new method was...

Evidence is given that implication (and its special case, negation) carry the logical strength of a system of formal logic. This is done by proving normalization and cut elimination for a system based on combinatory logic or λ-calculus with logical constants for and, or, all, and exists, but with none for either implication or negation. The proof is strictly finitary, showing that this system i...

Philo of Megara (d. 3rd century BCE) is one the first philosophers who assigned truth values to conditional propositions that can be symbolized as “If A, then B”. He determined minimum criterion for a proposition not bear false value. According this criterion, doesn’t have true antecedent and consequent regarded conditional. Philon’s conception modal terms helps us understand his theory conditi...

In Abstract Algebraic Logic the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this kind of process one considers the Leibniz relation of indiscernible, i.e. logically equivalent, formulae. Such approach has resulted in a classification of logics partly based on generalizations of equivalence connectives: ...

adequate coverage is one of the main problems for distributed wireless sensor networks and the effectiveness of that highly depends on the sensor deployment scheme. given a finite number of sensors, optimizing the sensor deployment will provide sufficient sensor coverage and save power of sensors for movement to target location to adequate coverage. in this paper, we apply fuzzy logic system to...

The 20th century witnessed not only incredible advances in the model theory and proof theory of classical logic, but also a corresponding advance of non-classical (or, as they are also called, non-standard) logics—i.e. the logics that either non-trivially extend, or actually compete with, classical logic of the Aristotelian, Stoic and Boolean tradition. Since the beginning of the 20th century, ...

This is a connected scries of arguments concerning paraconsistent logic. It is argued first that paraconsistency is an option worth pursuing in automated reasoning, then that the most popular paraconsistent logic, fde, is inadequate for the reconstruction of essential first order arguments. After a case is made for regarding quantifiers as dyadic rather than monadic operators, it is shown that ...

Implications in a category can be presented as epimorphisms: an object satisfies the implication iff it is injective w.r.t. that epimorphism. G. Roçu formulated a logic for deriving an implication from other implications. We present two versions of implicational logics: a general one and a finitary one (for epimorphisms with finitely presentable domains and codomains). In categories Alg Σ of al...

In a previous work we studied, from the perspective of Abstract Algebraic Logic, the implicationless fragment of a logic introduced by O. Arieli and A. Avron using a class of bilattice-based logical matrices called logical bilattices. Here we complete this study by considering the Arieli-Avron logic in the full language, obtained by adding two implication connectives to the standard bilattice l...