Bazsites.com Semantics Of Logic

Directory Topics

On the Web

The Meanings of Logical Constants - Essay by Gilbert Harman, arguing for Prawitz's approach to the semantics of logic based upon a conceptual role semantics.
Assigning Meaning to Proofs - Report by Robert Constable, subtitled `A semantic basis for problem solving environments'. Constable's aim is to use metamathematical results to guide the making of framewroks for constructive logic, as part of the NuPrl project.
On the Meaning of the Logical Constants and the Justifications of the Logical Laws - Lecture notes of Per Martin-Löf. Argues that a close analysis of the concepts of proof, judgement and justification yield a direct, constructive account of the meaning of logical judgements.
The Meanings of Logical Constants - Essay by Gilbert Harman, arguing for Prawitz's approach to the semantics of logic based upon an inferential role semantics.
Stewart, Charles - Boston University - Programming language theory, optimal reductions, graph reduction, linear logic, semantics of logic, formulae-as-types correspondence, continuation semantics.
Hyland, J. Martin E. - University of Cambridge - Categorical logic, game semantics and logic in computer science.
Interpreting Formal Logic - Article by Jaroslav Peregrin.
Torino, University of - Department of Informatics. Research groups concentrate on knowledge representation and reasoning, machine learning, natural language processing, databases and information systems, decision making models and management systems, informatic technology, linear programming, integer linear programming, game theory, logic programming and automated reasoning, mathematical logic, performance analysis, modelling in biology and medicine, cooperative systems, multidimensional signal processing, security and computer networks, semantics and logics of computation.
Hintikka, Jaakko - Professor of Philosophy, Boston University. Pioneer of game-theoretical semantics in logic, branching quantifiers, and a prominent critic of the thesis that formalisation means formalisation in (Fregean) first-order logic.
Events as Grammatical Objects: The Converging Perspectives of Lexical Semantics, Logical Semantics and Syntax - Abstract of the book by Carol L. Tenny and James Pustejovsky.

Wikipedia Articles

Kripke semantics - Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke, beginning when he was a teenager. It was first made for modal logics, and later adapted to ...
Game semantics - Game semantics (German: dialogische Logik) is an approach to the semantics of logic that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player. Paul Lorenzen was the first to introduce a game semantics for logic, doing so in the late 1950s.
Truth-conditional semantics - Truth-conditional semantics is an approach to semantics of natural language that sees the meaning of a sentence being the same as, or reducible to, the truth conditions of that sentence. This approach to semantics is principally associated with Donald Davidson, and carries out for the semantics of natural language what Tarski's semantic theory ...
Semantics of logic - The truth conditions of various sentences we may encounter in arguments will depend upon their meaning, and so conscientious logicians cannot completely avoid the need to provide some treatment of the meaning of these sentences. The semantics of logic refers to the approaches that logicians have introduced to understand and determine that part of meaning in which they are interested; the logician traditionally is not interested in the sentence as uttered but in the proposition, an idealised sentence suitable for logical manipulation.
Glue Semantics - Glue Semantics, or simply Glue (Dalrymple et al. 1993; Dalrymple 1999, 2001) is a linguistic theory of semantic composition and the syntax-semantics interface which assumes that meaning composition is constrained by a set of instructions stated within a formal logic, Linear logic.