Circumstantialists already have a logical semantics for impossibilities. They expand their logical space of possible worlds by adding impossible worlds. These are impossible circumstances serving as indices of evaluation, at which impossibilities are true. A variant of circumstantialism, namely modal Meinongianism (noneism), adds impossible objects as well. These are so-called incomplete objects that are necessarily non-existent. The opposite of circumstantialism, namely structuralism, has some catching-up to do. What might a structuralist logical semantics for impossibilities without impossibilia look like? This paper makes a structuralist counterproposal. We present a semantics based on a procedural interpretation of the typed λ-calculus. The fundamental idea is that talk about impossibilities should be construed in terms of procedures: some yield as their product a condition that could not possibly have a satisfier, while the rest fail to yield a product altogether. Dispensing with a ‘bottom’ of impossibilia requires instead a ‘top’ consisting of structured hyperintensions, intensions, intensions defining other intensions, a typed universe, and dual (de dicto and de re) predication. We explain how the theory works by going through several examples.

Impossibilities without impossibilia

Carrara, Massimiliano
2024

Abstract

Circumstantialists already have a logical semantics for impossibilities. They expand their logical space of possible worlds by adding impossible worlds. These are impossible circumstances serving as indices of evaluation, at which impossibilities are true. A variant of circumstantialism, namely modal Meinongianism (noneism), adds impossible objects as well. These are so-called incomplete objects that are necessarily non-existent. The opposite of circumstantialism, namely structuralism, has some catching-up to do. What might a structuralist logical semantics for impossibilities without impossibilia look like? This paper makes a structuralist counterproposal. We present a semantics based on a procedural interpretation of the typed λ-calculus. The fundamental idea is that talk about impossibilities should be construed in terms of procedures: some yield as their product a condition that could not possibly have a satisfier, while the rest fail to yield a product altogether. Dispensing with a ‘bottom’ of impossibilia requires instead a ‘top’ consisting of structured hyperintensions, intensions, intensions defining other intensions, a typed universe, and dual (de dicto and de re) predication. We explain how the theory works by going through several examples.
2024
File in questo prodotto:
File Dimensione Formato  
Impossibilities without impossibilia.pdf

accesso aperto

Tipologia: Published (publisher's version)
Licenza: Creative commons
Dimensione 3.14 MB
Formato Adobe PDF
3.14 MB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/3541456
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 3
  • OpenAlex ND
social impact