Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This is a comprehensive study of the English word or, and the logical operators variously proposed to present its meaning. Although there are indisputably disjunctive uses of or in English, it is a mistake to suppose that logical disjunction represents its core meaning. Or is descended from the Anglo-Saxon word meaning second, a form which survives in such expressions as "every other day." Its disjunctive uses arise through metalinguistic applications of an intermediate adverbial meaning which is conjunctive rather than disjunctive in character. These conjunctive uses have puzzled philosophers and logicians, and have been discussed extensively under such headings as "free choice permission." This study examines the textbook myths that have clouded our understanding of how or and other "logical" vocabulary comes to have something approaching its logical meaning in natural languages. It considers the various historical conceptions of disjunction and its place in logic from the Stoics to the present day.

Disjonction (Logic) --- Disjonction (Logique) --- Disjunctie (Logica) --- Or (Engels woord) --- Or (Mot anglais) --- Or (The English word) --- Disjunction (Logic) --- English language --- Disjunctive propositions --- Proposition (Logic) --- Etymology --- Disjunction (Logic). --- Or (The English word).

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The book provides a contemporary view on different aspects of the deductive systems in various types of logics including term logics, propositional logics, logics of refutation, non-Fregean logics, higher order logics and arithmetic.

Research & information: general --- Mathematics & science --- quine --- logic --- ontology --- multiple conclusion rule --- disjunction property --- metadisjunction --- axiomatizations of arithmetic of natural and integers numbers --- second-order theories --- Peano's axioms --- Wilkosz's axioms --- axioms of integer arithmetic modeled on Peano and Wilkosz axioms --- equivalent axiomatizations --- metalogic --- categoricity --- independence --- consistency --- logic of typical and atypical instances (LTA) --- logic of determination of objects (LDO) --- quasi topology structure (QTS) --- concept --- object --- typical object --- atypical object --- lattice --- filter --- ideal --- discussive logics --- the smallest discussive logic --- discussive operators --- seriality --- accessibility relation --- Kotas' method --- modal logic --- deontic logic --- ontology of situations --- semantics of law --- formal theory of law --- Wittgenstein --- Wolniewicz --- non-Fregean logic --- identity connective --- sentential calculus with identity --- situational semantics --- deduction --- (dual) tableau --- Gentzen system --- deductive refutability --- refutation systems --- hybrid deduction-refutation rules --- derivative hybrid rules --- soundness --- completeness --- natural deduction --- meta-proof theory --- synthetic tableaux --- principle of bivalence --- cut --- first-order theory --- universal axiom --- Peano's axiomatics of natural numbers --- Leśniewski's elementary ontology --- Frege's predication scheme --- Frege's Zahl-Anzahl distinction --- term logic --- Franz Brentano --- Lewis Carroll --- logic trees --- logic diagrams --- paraconsistent logic --- paraconsistency --- Sette's calculus --- the law of explosion --- the principle of ex contradictione sequitur quodlibet --- semantic tree --- distribution --- Aristotle's logic --- syllogistic --- Jan Łukasiewicz --- axiomatic system --- axiomatic refutation --- temporal logic --- intuitionistic logic --- minimal system --- knowledge --- sequent-type calculi --- nonmonotonic logics --- default logic --- rejection systems --- Kripke models --- logics of evidence and truth --- quine --- logic --- ontology --- multiple conclusion rule --- disjunction property --- metadisjunction --- axiomatizations of arithmetic of natural and integers numbers --- second-order theories --- Peano's axioms --- Wilkosz's axioms --- axioms of integer arithmetic modeled on Peano and Wilkosz axioms --- equivalent axiomatizations --- metalogic --- categoricity --- independence --- consistency --- logic of typical and atypical instances (LTA) --- logic of determination of objects (LDO) --- quasi topology structure (QTS) --- concept --- object --- typical object --- atypical object --- lattice --- filter --- ideal --- discussive logics --- the smallest discussive logic --- discussive operators --- seriality --- accessibility relation --- Kotas' method --- modal logic --- deontic logic --- ontology of situations --- semantics of law --- formal theory of law --- Wittgenstein --- Wolniewicz --- non-Fregean logic --- identity connective --- sentential calculus with identity --- situational semantics --- deduction --- (dual) tableau --- Gentzen system --- deductive refutability --- refutation systems --- hybrid deduction-refutation rules --- derivative hybrid rules --- soundness --- completeness --- natural deduction --- meta-proof theory --- synthetic tableaux --- principle of bivalence --- cut --- first-order theory --- universal axiom --- Peano's axiomatics of natural numbers --- Leśniewski's elementary ontology --- Frege's predication scheme --- Frege's Zahl-Anzahl distinction --- term logic --- Franz Brentano --- Lewis Carroll --- logic trees --- logic diagrams --- paraconsistent logic --- paraconsistency --- Sette's calculus --- the law of explosion --- the principle of ex contradictione sequitur quodlibet --- semantic tree --- distribution --- Aristotle's logic --- syllogistic --- Jan Łukasiewicz --- axiomatic system --- axiomatic refutation --- temporal logic --- intuitionistic logic --- minimal system --- knowledge --- sequent-type calculi --- nonmonotonic logics --- default logic --- rejection systems --- Kripke models --- logics of evidence and truth