Francesco Paoli
Biographic Data
| ID | 1278429 |
|---|---|
| NAME | Francesco Paoli |
| GIVEN NAMES | Francesco |
| FAMILY NAME | Paoli |
| SIGNATURE | PAOLI F |
| AFFILIATIONS | University of Cagliari |
| ORCID | 0000-0001-7915-3832 |
| VERIFIED | Yes |
| TOTAL WORKS | 7 |
| TOTAL CITATIONS | 10 |
| WORKS AS AUTHOR | 7 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 2003 |
| LATEST PUBLICATION YEAR | 2026 |
| H-INDEX | 3 |
Logical Metainferentialism
Logical inferentialism is the view that the meaning of logical constants is implicitly defined by the operational rules that govern their behaviour in proofs—particularly in sequent calculus proofs, according to an increasingly dominant tendency. A tenable articulation of this view presupposes a clarification of certain crucial aspects, such as the criteria for rule harmony and what constitutes a normal proof. Sequent calculus inferentialists typ…
Semantics for McCall's CC1
McCall's 4-valued logic CC1 is one of the earliest and most influential systems of connexive logic. CC1 has been criticised because its truth values lack an intuitive interpretation. In this paper, we propose that the semantic value of a sentence in this logic is represented as an ordered pair consisting of a classical truth value (true or false) and a content polarity (positive or negative). In particular, the truth value of a connexive entailme…
Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems
Here, we discuss historical, philosophical and technical problems associated with relating logic and relating semantics. To do so, we proceed in three steps. First, Section 1 is devoted to providing an introduction to both relating logic and relating semantics. Second, we address the history of relating semantics and some of the main research directions and their philosophical applications. Third, we discuss some technical problems related to rel…
The original sin of proof-theoretic semantics
Is multiset consequence trivial
New Directions in Logic and the Philosophy of Science
A Really Fuzzy Approach to the Sorites Paradox
A Really Fuzzy Approach to the Sorites Paradox
New Directions in Logic and the Philosophy of Science
Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems
Here, we discuss historical, philosophical and technical problems associated with relating logic and relating semantics. To do so, we proceed in three steps. First, Section 1 is devoted to providing an introduction to both relating logic and relating semantics. Second, we address the history of relating semantics and some of the main research directions and their philosophical applications. Third, we discuss some technical problems related to rel…
The original sin of proof-theoretic semantics
Is multiset consequence trivial
Logical Metainferentialism
Logical inferentialism is the view that the meaning of logical constants is implicitly defined by the operational rules that govern their behaviour in proofs—particularly in sequent calculus proofs, according to an increasingly dominant tendency. A tenable articulation of this view presupposes a clarification of certain crucial aspects, such as the criteria for rule harmony and what constitutes a normal proof. Sequent calculus inferentialists typ…
Semantics for McCall's CC1
McCall's 4-valued logic CC1 is one of the earliest and most influential systems of connexive logic. CC1 has been criticised because its truth values lack an intuitive interpretation. In this paper, we propose that the semantic value of a sentence in this logic is represented as an ordered pair consisting of a classical truth value (true or false) and a content polarity (positive or negative). In particular, the truth value of a connexive entailme…
Epistemology (4 works) · Logic, programming, and type systems (4 works) · Logic, Reasoning, and Knowledge (4 works) · Philosophy (4 works) · Advanced Algebra and Logic (3 works) · Logical consequence (3 works) · Metaphysics (3 works) · Philosophy of language (3 works) · Philosophy of science (3 works) · Semantics (computer science) (3 works)