Results 31 to 40 of about 2,730,800 (71)
Proper names as counterpart‐theoretic individual concepts
Philosophy and Phenomenological Research, EarlyView.Abstract Many philosophers and linguists have been attracted to counterpart theory as a framework for natural language semantics. I raise a novel problem for counterpart theory involving simple declarative sentences with proper names. To resolve this problem, counterpart theorists must introduce the notion of a counterpart in the semantics of the non ...
James Ravi Kirkpatrick
wiley +1 more source
The agentive achievement of acceptance
Philosophy and Phenomenological Research, EarlyView.Abstract Is acceptance an act or a state? Jonathan Cohen is often seen as a proponent of the view that acceptance is a mental act. In contrast, Michael Bratman claims that acceptance is a mental state. This paper argues that the evidence supports a more subtle approach.
Samuel Boardman
wiley +1 more source
Theoria, EarlyView.Abstract This paper argues for the significance of Kaplan's logic LD in two ways: first, by looking at how logic got along before we had LD, and second, by using it to bring out the similarity between David Hume's thesis that one cannot deduce claims about the future on the basis of premises only about the past, and the so‐called "essentiality" of the ...
Gillian Russell
wiley +1 more source
Winged horses, rascals and discourse referents
Theoria, EarlyView.Abstract This paper discusses some remarks Kaplan made in ‘Bob and Carol and Ted and Alice’ concerning empty names. I show how his objections to a particular view involving descriptions derived from Ramsification can be avoided by a nearby alternative framed in terms of discourse reference.
Andreas Stokke
wiley +1 more source
Executing Domain-Specific Models in Eclipse: KLEPTO - KIELER leveraging Ptolemy [PDF]
, 2012 We present a two-level approach to extend the abstract syntax of domain-specific models with concrete semantics in order to execute such models. First, a light-weight execution infrastructure for executable models with a generic user interface allows the
Fuhrmann, Hauke +3 more
core
Improving Model-Based Software Synthesis: A Focus on Mathematical Structures [PDF]
, 2021 Computer hardware keeps increasing in complexity. Software design needs to keep up with this. The right models and abstractions empower developers to leverage the novelties of modern hardware.
Goens Jokisch, Andres Wilhelm
core +1 more source
Where Mathematical Symbols Come From
Topics in Cognitive Science, EarlyView.Abstract There is a sense in which the symbols used in mathematical expressions and formulas are arbitrary. After all, arithmetic would be no different if we would replace the symbols ‘+$+$’ or ‘8’ by different symbols. Nevertheless, the shape of many mathematical symbols is in fact well motivated in practice.
Dirk Schlimm
wiley +1 more source
FAIR and Structured Data: A Domain Ontology Aligned with Standard‐Compliant Tensile Testing
Advanced Engineering Materials, Volume 27, Issue 8, April 2025.The digitalization in materials science and engineering is discussed, emphasizing the importance of digital workflows and ontologies in managing diverse experimental data. Challenges such as quality assurance and data interoperability are tackled with semantic web technologies, focusing and introducing the tensile test ontology (TTO).
Markus Schilling +6 more
wiley +1 more source
Advanced Engineering Materials, Volume 27, Issue 8, April 2025.Integrity constraints enforce consistency and completeness on data. The article discusses a newly developed validator for checking integrity constraints in Shapes Constraint Language (SHACL) through reduction to SPARQL Protocol and RDF Query Language (SPARQL) queries. It can be used with systems for ontology‐based database access.
Özgür L. Özçep +5 more
wiley +1 more source
COPULAR STRUCTURES AND ASYMMETRIC IDENTITY†
Studia Linguistica, Volume 79, Issue 1, Page 180-214, April 2025.Abstract We propose an analysis of copular structures of the type “DP is DP” based on the existence of a silent predicate of asymmetric identity. Our proposal is based on a cognitively grounded notion of identity as identification of one object on the basis of the properties of another.
Denis Delfitto, Gaetano Fiorin
wiley +1 more source