First-Order Logic with Adverbs

Logic and Logical Philosophy:1-36 (forthcoming)
  Copy   BIBTEX

Abstract

This paper introduces two languages and associated logics designed to afford perspicuous representations of a range of natural language arguments involving adverbs and the like: first-order logic with basic adverbs (FOL-BA) and first-order logic with scoped adverbs (FOL-SA). The guiding logical idea is that an adverb can come between a term and the rest of the statement it is a part of, resulting in a logically stronger statement. I explain various interesting challenges that arise in the attempt to implement the guiding idea, and provide solutions for some but not all of them. I conclude by outlining some directions for further research.

Similar books and articles

How to Get Through Without Davidson’s Treatment of Adverbs.Gerold Stahl - 1993 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 8 (1):127-133.
Omitting Types in Fragments and Extensions of First Order Logic.Tarek Sayed Ahmed - 2021 - Bulletin of the Section of Logic 50 (3):249-287.
Extensions of first order logic.María Manzano - 1996 - New York: Cambridge University Press.
The accident of logical constants.Tristan Grøtvedt Haze - 2020 - Thought: A Journal of Philosophy 9 (1):34-42.
Extensionalizing Intensional Second-Order Logic.Jonathan Payne - 2015 - Notre Dame Journal of Formal Logic 56 (1):243-261.
Second-order logic on equivalence relations.Georgi Georgiev & Tinko Tinchev - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):229-246.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.

Analytics

Added to PP
2023-12-27

Downloads
228 (#87,243)

6 months
228 (#11,210)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tristan Grøtvedt Haze
University of Melbourne

Citations of this work

No citations found.

Add more citations

References found in this work

Essence and modality.Kit Fine - 1994 - Philosophical Perspectives 8 (Logic and Language):1-16.
The logical form of action sentences.Donald Davidson - 1967 - In Nicholas Rescher (ed.), The Logic of Decision and Action. University of Pittsburgh Press. pp. 81--95.
English as a Formal Language.Richard Montague - 1970 - In Bruno Visentini (ed.), Linguaggi nella societa e nella tecnica. Edizioni di Communita. pp. 188-221.
Mathematical logic.Stephen Cole Kleene - 1967 - Mineola, N.Y.: Dover Publications.

View all 12 references / Add more references