Choose an application

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

This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs.

Philosophy --- Metaphysics --- Logic --- Philosophy of language --- Linguistics --- filosofie --- linguïstiek --- taalfilosofie --- metafysica --- logica

Choose an application

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

The Liar Paradox challenges logicians’ and semanticists’ theories of truth and meaning. Modern accounts of paradoxes in formal semantics offer solutions through the hierarchy of object language and metalanguage. Yet this solution to the Liar presupposes that sentences have unique meaning. This assumption is non-controversial in formal languages, but an account of how “hidden meaning” is made explicit is necessary to any complete analysis of natural language. Since the Liar Paradox presents itself as a sentence uniting contradictory meanings, appreciating how they can be united in a single sentence may provide new insights into this and other paradoxes. This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did not assume Uniqueness of Meaning. Stephen Read, author of the target paper, attempts to formally state a theory of truth that dates back to the 14th century logician Thomas Bradwardine; the theory offers a solution to the Liar Paradox in which the Liar sentence turns out to be false. The rest of the volume consists of papers discussing and/or challenging Read’s – and Bradwardine’s -- views one the one hand, and papers addressing the doctrinal and historical background of medieval theories of truth on the other hand. It also includes a critical edition of Heytesbury’s treatise on insolubles, closely related to Bradwardine’s view. Including formal, philosophical and historical discussions, this volume intends to renew the debate about paradoxes and theory of truth, and to show that the interest of earlier medieval work is not merely historical but, on the contrary, still relevant for modern, formal semantic theory. It is of interest for both professional philosophers and advanced students of philosophy.

Liar paradox. --- Truth. --- Semantics (Philosophy) --- Antinomy of the liar --- Epimenidean paradox --- Liar antinomy --- Paradox of Epimenides --- Paradox of Russell --- Paradox of the liar --- Russell's paradox --- Logic --- Paradox --- Intension (Philosophy) --- Logical semantics --- Semantics (Logic) --- Semeiotics --- Significs --- Syntactics --- Unified science --- Language and languages --- Logic, Symbolic and mathematical --- Logical positivism --- Meaning (Psychology) --- Philosophy, Modern --- Semiotics --- Signs and symbols --- Symbolism --- Analysis (Philosophy) --- Definition (Philosophy) --- Conviction --- Belief and doubt --- Philosophy --- Skepticism --- Certainty --- Necessity (Philosophy) --- Pragmatism --- Logic. --- Linguistics --- Semantics. --- Philosophy, medieval. --- Philosophy of Language. --- Medieval Philosophy. --- Philosophy. --- Medieval philosophy --- Scholasticism --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Lexicology --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Language and languages—Philosophy. --- Medieval philosophy. --- Semiotics. --- Philosophy, Medieval. --- Semiology (Linguistics) --- Semantics --- Structuralism (Literary analysis)

Choose an application

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

OndrejMajer,Ahti-VeikkoPietarinen,andTeroTulenheimo 1 Games and logic in philosophy Recent years have witnessed a growing interest in the unifying methodo- gies over what have been perceived as pretty disparate logical ˜systems', or else merely an assortment of formal and mathematical ˜approaches' to phi- sophical inquiry. This development has largely been fueled by an increasing dissatisfaction to what has earlier been taken to be a straightforward outcome of ˜logical pluralism' or ˜methodological diversity'. These phrases appear to re ect the everyday chaos of our academic pursuits rather than any genuine attempt to clarify the general principles underlying the miscellaneous ways in which logic appears to us. But the situation is changing. Unity among plurality is emerging in c- temporary studies in logical philosophy and neighbouring disciplines. This is a necessary follow-up to the intensive research into the intricacies of logical systems and methodologies performed over the recent years. The present book suggests one such peculiar but very unrestrained meth- ological perspective over the eld of logic and its applications in mathematics, language or computation: games. An allegory for opposition, cooperation and coordination, games are also concrete objects of formal study.

Mathematical logic --- Logic --- Operational research. Game theory --- Lexicology. Semantics --- Philosophy of language --- games --- semantiek --- speltheorie --- taalfilosofie --- wiskunde --- logica

Choose an application

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

The Liar Paradox challenges logicians' and semanticists' theories of truth and meaning. Modern accounts of paradoxes in formal semantics offer solutions through the hierarchy of object language and metalanguage. Yet this solution to the Liar presupposes that sentences have unique meaning. This assumption is non-controversial in formal languages, but an account of how hidden meaning  is made explicit is necessary to any complete analysis of natural language. Since the Liar Paradox presents itself as a sentence uniting contradictory meanings, appreciating how they can be united in a single sentence may provide new insights into this and other paradoxes. This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did not assume Uniqueness of Meaning. Stephen Read, author of the target paper, attempts to formally state a theory of truth that dates back to the 14th century logician Thomas Bradwardine; the theory offers a solution to the Liar Paradox in which the Liar sentence turns out to be false. The rest of the volume consists of papers discussing and/or challenging Read's - and Bradwardine's -- views one the one hand, and papers addressing the doctrinal and historical background of medieval theories of truth on the other hand. It also includes a critical edition of Heytesbury's treatise on insolubles, closely related to Bradwardine's view. Including formal, philosophical and historical discussions, this volume intends to renew the debate about paradoxes and theory of truth, and to show that the interest of earlier medieval work is not merely historical but, on the contrary, still relevant for modern, formal semantic theory. It is of interest for both professional philosophers and advanced students of philosophy.

Philosophy --- Logic --- Lexicology. Semantics --- Philosophy of language --- semantiek --- filosofie --- taalfilosofie --- logica --- middeleeuwen --- anno 500-1499