Choose an application

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

Anton Marty (Schwyz, 1847–Prague, 1914) contributed significantly to some of the central themes of Austrian philosophy. This collection contributes to assessing the specificity of his theses in relation with other Austrian philosophers. Although strongly inspired by his master, Franz Brentano, Marty developed his own theory of intentionality, understood as a sui generis relation of similarity. Moreover, he established a comprehensive philosophy of language, or "semasiology", based on descriptive psychology, and in which the utterer’s meaning plays a central role, anticipating Grice’s pragmatic semantics. The present volume, including sixteen articles by scholars in the field of the history of Austrian philosophy and in contemporary philosophy, aims at exposing some of Marty’s most important contributions in philosophy of mind and language, but also in other fields of research such as ontology and metaphysics. As archive material, the volume contains the edition of a correspondence between Marty and Hans Cornelius on similarity. This book will interest scholars in the fields of the history of philosophy in the 19th and 20th centuries, historians of phenomenology, and, more broadly, contemporary theoretical philosophers.

Linguistics --- Philosophy, Austrian --- Philosophy. --- Marty, Anton, --- Marty, Martin Anton Maurus, --- Marty, A. --- Franz Brentano. --- Intention. --- meaning. --- similarity. --- Philosophy --- Marty, Anton

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

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.

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 --- n/a --- Peano's axioms --- Wilkosz's axioms --- Kotas' method --- hybrid deduction-refutation rules --- Peano's axiomatics of natural numbers --- Leśniewski's elementary ontology --- Frege's predication scheme --- Frege's Zahl-Anzahl distinction --- Sette's calculus --- Aristotle's logic