Logical Conversions

نویسنده

  • Paul J. E. Dekker
چکیده

As I have argued elsewhere [10], and as summarized in the first two sections below, it turns out to be both logically and semantically revealing to acknowledge the existence of converse, or conversely construed, quantifiers, which mirror their classical, or classically construed, counterparts. In this paper I argue that classically construed quantifiers in their turn mirror their conversely construed counterparts in transitive verb/direct object constructions. The phenomena can be properly understood if we discharge the domain presupposition which is associated with the classical construal from its default existential import. We propose to, instead, draw from a concept of intentional reification, that goes without existential commitment.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Commuting Conversions vs. the Standard Conversions of the "Good" Connectives

Commuting conversions were introduced in the natural deduction calculus as ad hoc devices for the purpose of guaranteeing the subformula property in normal proofs. In a well known book, Jean-Yves Girard commented harshly on these conversions, saying that ‘one tends to think that natural deduction should be modified to correct such atrocities.’ We present an embedding of the intuitionistic predi...

متن کامل

A Logical Framework with Explicit Conversions

The type theory λP corresponds to the logical framework LF. In this paper we present λH, a variant of λP where convertibility is not implemented by means of the customary conversion rule, but instead type conversions are made explicit in the terms. This means that the time to type check a λH term is proportional to the size of the term itself. We define an erasure map from λH to λP , and show t...

متن کامل

Design of WDM Networks Exploiting OTDM and Light-Splitters

Wavelength routed optical networks allow to design a logical topology, comprising lightpaths and routers, which is overlayed on the physical topology, comprising optical fibers and optical cross-connects, by solving a Routing and Wavelength Assignment (RWA) problem. In this paper we extend the concept of lightpath to the one of Super-LightTree, which uses a simple bit level Time Division Multip...

متن کامل

Exploiting OTDM technology in WDM networks

Wavelength routed optical networks allow to design a logical topology, comprising lightpaths and routers, which is overlayed on the physical topology, comprising optical fibers and optical cross-connects, by solving a Routing and Wavelength Assignment (RWA) problem. In this paper we extend the concept of lightpath to the one of Super-Lightpath, which uses a simple bit level Time Division Multip...

متن کامل

Linear logical relations and observational equivalences for session-based concurrency

We investigate strong normalization, confluence, and behavioral equality in the realmof session-based concurrency. These interrelated issues underpin advanced correctnessanalysis in models of structured communications. The starting point for our study isan interpretation of linear logic propositions as session types for communicating pro-cesses, proposed in prior work. Strong no...

متن کامل

CoCONet: A collision-free container-based core optical network

Electrical-to-optical domain conversions and vice versa (denoted by O/E/O conversions) for each hop in optical core transport networks impose considerable capital and financial overhead on the providers. In this paper, we propose a full-mesh topology driven core network with a central scheduler that handles the task of signaling and coordination among slot transmissions for every hop to elimina...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017