Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Intensions as Computable Functions
View through CrossRef
Classical intensional semantic frameworks, like Montague’s Intensional Logic (IL), identify intensional identity with logical equivalence. This criterion of co-intensionality is excessively coarse-grained, and it gives rise to several well-known difficulties. Theories of fine-grained intensionality have been been proposed to avoid this problem. Several of these provide a formal solution to the problem, but they do not ground this solution in a substantive account of intensional difference. Applying the distinction between operational and denotational meaning, developed for the semantics of programming languages, to the interpretation of natural language expressions, offers the basis for such an account. It permits us to escape some of the complications generated by the traditional modal characterization of intensions.
Title: Intensions as Computable Functions
Description:
Classical intensional semantic frameworks, like Montague’s Intensional Logic (IL), identify intensional identity with logical equivalence.
This criterion of co-intensionality is excessively coarse-grained, and it gives rise to several well-known difficulties.
Theories of fine-grained intensionality have been been proposed to avoid this problem.
Several of these provide a formal solution to the problem, but they do not ground this solution in a substantive account of intensional difference.
Applying the distinction between operational and denotational meaning, developed for the semantics of programming languages, to the interpretation of natural language expressions, offers the basis for such an account.
It permits us to escape some of the complications generated by the traditional modal characterization of intensions.
Related Results
Computable Economy
Computable Economy
The recent arrival of an innovation supercluster of digital business technologies (web3/ industry 4.0, etc) is driving a deep, global institutional transformation from industrial t...
Pengaruh Promosi dan Electronic Word of Mouth terhadap Minat Berkunjung pada Sarlinda Cafe
Pengaruh Promosi dan Electronic Word of Mouth terhadap Minat Berkunjung pada Sarlinda Cafe
This study aims to determine: (1) the effect of Promotion on Visiting Intensions at Sarlinda Cafe. (2) the effect Electronic Word of Mouth on Visiting Intensions at Sarlinda Cafe. ...
Guiding principles for technical infrastructure to support computable biomedical knowledge
Guiding principles for technical infrastructure to support computable biomedical knowledge
AbstractOver the past 4 years, the authors have participated as members of the Mobilizing Computable Biomedical Knowledge Technical Infrastructure working group and focused on conc...
The most effective proof that there exists a non-computable function from N to N
The most effective proof that there exists a non-computable function from N to N
For n∈N, f(n) denotes the smallest b∈N such that if a system of equations S⊆{1=x_k, x_i+x_j=x_k, x_i·x_j=x_k: i,j,k∈{0,...,n}} has a solution in N^{n+1}, then S has a solution in {...
Use of Electronic Health Records to Characterize Patients with Uncontrolled Hypertension in Two Large Health System Networks
Use of Electronic Health Records to Characterize Patients with Uncontrolled Hypertension in Two Large Health System Networks
ABSTRACT
Background
Improving hypertension control is a public health priority. However, uncertainty remains regarding the opti...
A Characterization of Strongly Computable Finite Factorization Domains
A Characterization of Strongly Computable Finite Factorization Domains
Abstract
In [4], Mileti and others study the prime and irreducible elements of strong finite factoriza-tion domains. The authors define the class of Strongly Computable Str...
Ostrowski-Type Fractional Integral Inequalities: A Survey
Ostrowski-Type Fractional Integral Inequalities: A Survey
This paper presents an extensive review of some recent results on fractional Ostrowski-type inequalities associated with a variety of convexities and different kinds of fractional ...
Examining Health Conditions, Body Functions, Activity and Participation, and Quality of Life among Adults with Learning Disabilities – Towards a Theoretical Model v1
Examining Health Conditions, Body Functions, Activity and Participation, and Quality of Life among Adults with Learning Disabilities – Towards a Theoretical Model v1
Background: The term learning disabilities (LD) refers to a heterogeneous group of neurodevelopmental disorders that affect the brain's ability to perceive or process verbal or non...