In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel (...) 3-valued logic G3. From this, the three logics coincide up-to language, taking into acccount that 1 is the only designated truth-value in these logics. -/- From the algebraic point of view, Canals-Frau and Figallo have studied the 3-valued modal implicative semilattices, where the modal operator is the well-known Moisil-Monteiro-Baaz Δ operator, and the supremum is definable from this. We prove that the subvariety obtained from this by adding a bottom element 0 is term-equivalent to the variety generated by the 3-valued algebra of G'3. The algebras of that variety are called G'3-algebras. From this result, we obtain the equations which axiomatize the variety of G'3-algebras. Moreover, we prove that this variety is semisimple, and the 3-element and the 2-element chains are the unique simple algebras of the variety. Finally an extension of G'3 to first-order languages is presented, with an algebraic semantics based on complete G'3-algebras. The corresponding soundness and completeness theorems are obtained. (shrink)

The evaluation of arguments was not the sole concern of logicians in ancient India. Early Nyāya and the later Navya-Nyāya provide an interesting example of the interaction between logic and ontology. In their attempt to develop a kind of property-location logic Naiyāyikas had to consider what kind of restrictions they should impose on the residence relation between a property and its locus. Can we admit circular residence relations or infinitely descending chains of properties, each depending on its successor as its (...) locus? Early Naiyāyikas and to some extent also Navya-Naiyāyikas regard these phenomena as a kind of absurdity and they want to rule them out. Their intuitions about properties are close to well-founded systems of set theory, whereas the author of the Navya-Nyāya work Upādhidarpaṇa is a proponent of a non-well-founded property concept. Despite certain similarities with sets properties are still regarded as intensional objects in Navya-Nyāya. In the pre.. (shrink)

The present paper is about three concepts which are crucially involved in Gaṅgeśa's interpretation of a Mīmāṃsā argument against the well-known design inference of the existence of God in Nyāya, namely the concepts “cognition” (jñāna), “certitude” (niścaya) and “doubt” (saṃśaya). According to Maheśa Chandra, the author of the Navya-Nyāya manual Brief Notes on the Modern Nyāya System of Philosophy and its Technical Terms, certitude and doubt are the two varieties of cognition. He illustrates the verbal expression of certitudes by means (...) of declaratives and the verbal expression of doubts by means of interrogatives (functioning as polar or alternative questions). He notes also that different credence levels might be associated with the alternatives involved in a speaker’s doubt. A biassed question in the form of a tag interrogative might be an appropriate way to express such a doubt. In Western logic the idea to treat declaratives and interrogatives on a par, which is anticipated by the Navya-Naiyāyikas' use of the unifying concept of “cognition”, goes back to Frege’s distinction between the semantic content (the “thought”) of a sentence and its force and it was recently elaborated by Ciardelli, Farkas, Groenendijk, Roelofsen et al., the founders of a new branch in logic called “inquisitive logic”. In the present paper we will discuss Maheśa Chandra's succinct exposition of the Navya-Naiyāyikas' innovative approach from the perspective of this type of logic. As an offshoot of our analysis we will try to elucidate Gaṅgeśa's apologetic concerns about the well-known design inference of the existence of God in Nyāya and its liability to be vitiated by a dubious upādhi. (shrink)

In classical India, debates over rational theology naturally become the occasion for fundamental questions about the scope and power of inference itself. This is well evinced in the classical proofs for God by the Hindu Nyāya tradition and the opposing arguments of classical Buddhists and Mīmāsā philosophers. This paper calls attention to, and provides analysis of, a number of key nodes in these debates, particularly questions of inferential boundaries and whether inductive reasoning has the power to support inferences to wholly (...) unique entities (like God). (shrink)