Inferential Semantics

@inproceedings{Dosen2014InferentialS,
  title={Inferential Semantics},
  author={K. Dosen},
  year={2014}
}
Prawitz’s views concerning inferences and their validity are examined in the light of opinions about general proof theory and proof-theoretic semantics inspired by categorial proof theory. The frame for these opinions, and for the ensuing examination of those of Prawitz, is provided by what has been qualified as a dogmatic position that prooftheoretic semantics shares with model-theoretic semantics. 
6 Citations
Logic, Mathematics, and the A Priori, Part I: A Problem for Realism
This is Part I of a two-part study of the foundations of mathematics through the lenses of (i) apriority and analyticity, and (ii) the resources supplied by Core Logic. Here we explain what is meantExpand
Logic, Mathematics, and the A Priori, Part II: Core Logic as Analytic, and as the Basis for Natural Logicism
This is Part II of a two-part study of the foundations of mathematics through the lenses of (i) apriority and analyticity, and (ii) the resources supplied by Core Logic. [In Part I we explained whatExpand
1 INFERENCE AND COMPULSION
§1 Seven factors that characterize a conception of inference How can an inference be compelling? The question presupposes a sufficiently clear, non-empty notion of inference. A first approximation isExpand
Philosophy of Mathematics for the Masses : Extending the scope of the philosophy of mathematics
One of the important discussions in the philosophy of mathematics, is that centered on Benacerraf’s Dilemma. Benacerraf’s dilemma challenges theorists to provide an epistemology and semantics for mExpand
A Logical Theory of Truthmakers and Falsitymakers
The thing in question is aptly called a truthmaker. To date, no one really knows what such a thing may be. In the 1980s three seminal publications appeared, which put truthmakers and truthmaking atExpand
Double-Line Harmony in a Sequent Setting
This paper concentrates on how to capture harmony in sequent calculi. It starts by considering a proposal made by Tennant and some objections to it which have been presented by Steinberger. Then itExpand

References

SHOWING 1-10 OF 19 REFERENCES
The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
TLDR
It is argued that consequence is a basic semantical concept which is directly governed by elementary reasoning principles such as definitional closure and definitional reflection, and not reduced to a categorical concept. Expand
Introduction: Proof-theoretic Semantics
TLDR
In proof-theoretic semantics, proofs are not merely treated as syntactic objects as in Hilbert’s formalist philosophy of mathematics, but as entities in terms of which meaning and logical consequence can be explained. Expand
Popper's theory of deductive inference and the concept of a logical constant
This paper deals with Popper's little-known work on deductive logic, published between 1947 and 1949. According to his theory of deductive inference, the meaning of logical signs is determined byExpand
Abstraction and Application in Adjunction
The postulates of comprehension and extensionality in set theory are based on an inversion principle connecting set-theoretic abstraction and the property of having a member. An exactly analogousExpand
Qu'est-ce que l'inférence ? Une relecture du Tractatus logico-philosophicus
"In mathematical logic, one must distinguish between the ""axiomatic"" conception of logic, which was that of Frege, Russell, and Hilbert and a more ""pragmatic"" conception in terms of acts ofExpand
Adjointness in Foundations
TLDR
This article sums up a stage of the development of the relationship between category theory and proof theory and shows how already in 1967 category theory had made explicit a number of conceptual advances that were entering into the everyday practice of mathematics. Expand
Introduction to higher order categorical logic
Preface Part I. Introduction to Category Theory: Part II. Cartesian Closed Categories and Calculus: Part III. Type Theory and Toposes: Part IV. Representing Numerical Functions in Various CategoriesExpand
Frege: Philosophy of Language
* Preface to the First Edition * Preface to the Second Edition * Textual References * Introduction * Sense and Tone * Quantifiers * The Hierarchy of Levels * Proper Names * Sense and ReferenceExpand
Die Grundlagen der Arithmetik : eine logisch mathematische Untersuchung über den Begriff der Zahl
Auf die Frage, was die Zahl Eins sei, oder was das Zeichen 1 bedeute, wird man meistens die Antwort erhalten: nun, ein Ding. Und wenn man dann darauf aufmerksam macht, dass der Satz "die Zahl EinsExpand
Untersuchungen über das logische Schließen. I
The present invention relates to a process for sizing cellulose fibers or cellulose fiber containing materials and to a composition for carrying out the process. More particularly the inventionExpand
...
1
2
...