Results 201 to 210 of about 109,843 (305)

Linearism, Universalism and Scope Ambiguities

Analytic Philosophy, EarlyView.
ABSTRACT In this paper, I distinguish two possible families of semantics of the open future: Linearism, according to which future tense sentences are evaluated with respect to a unique possible future history, and Universalism, according to which future tense sentences are evaluated universally quantifying on the histories passing through the moment of
Aldo Frigerio
wiley   +1 more source

Public Policy by Syllogism? Does Logic Hold the Answer to Better Policy Outcomes? [PDF]

Eval Rev
Drew J, Villano R, McQuestin D, Miyazaki M.   +3 more
europepmc   +1 more source

Separation Predicates: A Taste of Separation Logic in First-Order Logic

, 2012
François Bobot, Jean-Christophe Filliâtre   +1 more
openalex   +2 more sources

All About Carnap's Babylon

Analytic Philosophy, EarlyView.
ABSTRACT Carnap's Logical Syntax of Language (1937) contains an unfortunate passage, the ‘Babylon passage’, explaining what it is for a linguistic expression to be about a subject matter. Past criticism has only addressed Carnap's mistaken claim that the occurrence of a denoting term is necessary and sufficient for a linguistic expression to be about ...
C. Naomi Osorio‐Kupferblum
wiley   +1 more source

Performance Evaluation of Cooperative Driving Automation Services Enabled by Edge Roadside Units. [PDF]

Sensors (Basel)
Jung US, Mun C.
europepmc   +1 more source

Rigid and Flexible Quantification in Plural Predicate Logic

, 2017
Lucas Champollion, Justin Bledin, Haoze Li   +2 more
openalex   +2 more sources

Sufficient Reason Vindicated

Analytic Philosophy, EarlyView.
ABSTRACT I give an argument for a version of the principle of sufficient reason from several plausible principles about negative facts and sufficient conditions. I then give an argument for a slightly weaker version of the principle without the reference to negative facts.
Stephen Harrop
wiley   +1 more source

From Data Completion to Problems on Hypercubes: A Parameterized Analysis of the Independent Set Problem. [PDF]

Algorithmica
Eiben E, Ganian R, Kanj I, Ordyniak S, Szeider S.   +4 more
europepmc   +1 more source

AI Alignment Versus AI Ethical Treatment: 10 Challenges

Analytic Philosophy, EarlyView.
ABSTRACT A morally acceptable course of AI development should avoid two dangers: creating unaligned AI systems that pose a threat to humanity and mistreating AI systems that merit moral consideration in their own right. This paper argues these two dangers interact and that if we create AI systems that merit moral consideration, simultaneously avoiding ...
Adam Bradley, Bradford Saad
wiley   +1 more source

Formal analysis of signal protocol based on logic of events theory. [PDF]

Sci Rep
Li Z, Xiao M, Xu R.
europepmc   +1 more source