Choose an application

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

Identity (Philosophical concept) --- Reality. --- Metaphysics. --- Predicate (Logic) --- Reality --- Metaphysics --- Philosophy --- Philosophy & Religion --- Speculative Philosophy --- God --- Ontology --- Philosophy of mind --- Truth --- Nominalism --- Pluralism --- Pragmatism --- Predicables (Logic) --- Predication (Logic) --- Categories (Philosophy) --- Language and logic --- Logic --- Identity --- Comparison (Philosophy) --- Resemblance (Philosophy)

Choose an application

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

Plural predication is a pervasive part of ordinary language. We can say that some people are fifty in number, are surrounding a building, come from many countries, and are classmates. These predicates can be true of some people without being true of any one of them; they are non-distributive predications. However, the apparatus of modern logic does not allow a place for them. Thomas McKay here explores the enrichment of logic with non-distributive plural predication and quantification. His book will be of great interest to philosophers of language, linguists, metaphysicians, and logicians.

Logic --- Lexicology. Semantics --- Grammar --- Philosophy of language --- Grammar, Comparative and general --- Language and languages --- Logic. --- Predicate (Logic) --- Semantics (Philosophy) --- Number. --- Philosophy. --- Predicate (Logic). --- Semantics (Philosophy). --- Intension (Philosophy) --- Logical semantics --- Semantics (Logic) --- Semeiotics --- Significs --- Syntactics --- Unified science --- Logic, Symbolic and mathematical --- Logical positivism --- Meaning (Psychology) --- Philosophy, Modern --- Semiotics --- Signs and symbols --- Symbolism --- Analysis (Philosophy) --- Definition (Philosophy) --- Predicables (Logic) --- Predication (Logic) --- Categories (Philosophy) --- Language and logic --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Dual (Grammar) --- Number (Grammar) --- Plural (Grammar) --- Number --- Methodology --- Linguistics --- Philology

Choose an application

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

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.

Algebra, Boolean. --- Logic, Symbolic and mathematical. --- Logic. --- Mathematics -- Philosophy. --- Mathematics. --- Predicate (Logic). --- Mathematics --- Physical Sciences & Mathematics --- Mathematical Theory --- Predicate (Logic) --- Boolean algebra --- Boole's algebra --- Predicables (Logic) --- Predication (Logic) --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Mathematical logic. --- Semantics. --- Mathematical Logic and Foundations. --- Mathematical Logic and Formal Languages. --- Algebraic logic --- Set theory --- Categories (Philosophy) --- Language and logic --- Logic --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Computer science. --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- Informatics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Syllogism

Choose an application

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

Aristotle was the founder not only of logic but also of modal logic. In the Prior Analytics he developed a complex system of modal syllogistic which, while influential, has been disputed since antiquity--and is today widely regarded as incoherent. Combining analytic rigor with keen sensitivity to historical context, Marko Malink makes clear that the modal syllogistic forms a consistent, integrated system of logic, one that is closely related to other areas of Aristotle's philosophy. Aristotle's modal syllogistic differs significantly from modern modal logic. Malink considers the key to understanding the Aristotelian version to be the notion of predication discussed in the Topics--specifically, its theory of predicables (definition, genus, differentia, proprium, and accident) and the ten categories (substance, quantity, quality, and so on). The predicables introduce a distinction between essential and nonessential predication. In contrast, the categories distinguish between substantial and nonsubstantial predication. Malink builds on these insights in developing a semantics for Aristotle's modal propositions, one that verifies the ancient philosopher's claims of the validity and invalidity of modal inferences. While it acknowledges some limitations of this reconstruction, Aristotle's Modal Syllogistic brims with bold ideas, richly supported by close readings of the Greek texts.

Logic, Ancient. --- Modality (Logic) --- Syllogism. --- Predicate (Logic) --- Logique ancienne --- Modalité (Logique) --- Syllogisme --- Prédicat (logique) --- Aristotle. --- Aristotle. -- Prior analytics. --- Predicables (Logic) --- Predication (Logic) --- Ancient logic --- Categories (Philosophy) --- Language and logic --- Logic --- Argumentation --- Reasoning --- Logic, Symbolic and mathematical --- Modal logic --- Nonclassical mathematical logic --- Bisimulation --- Aristoteles --- Aristote --- Aristotle --- Aristotile --- Logic, Ancient --- Syllogism --- Aristoteles. --- Arisṭāṭṭil --- Aristo, --- Aristotel --- Aristotele --- Aristóteles, --- Aristòtil --- Arisṭū --- Arisṭūṭālīs --- Arisutoteresu --- Arystoteles --- Ya-li-shih-to-te --- Ya-li-ssu-to-te --- Yalishiduode --- Yalisiduode --- Ἀριστοτέλης --- Αριστοτέλης --- Аристотел --- ארסטו --- אריםטו --- אריסטו --- אריסטוטלס --- אריסטוטלוס --- אריסטוטליס --- أرسطاطاليس --- أرسططاليس --- أرسطو --- أرسطوطالس --- أرسطوطاليس --- ابن رشد --- اريسطو --- Pseudo Aristotele --- Pseudo-Aristotle --- アリストテレス