Results 81 to 90 of about 5,812 (235)

Verbal Metadisputes

Philosophy and Phenomenological Research, EarlyView.
ABSTRACT Many philosophical disputes have become so intractable that philosophers question whether there is a fact of the matter as to which side is right or whether these disputes are entirely verbal. Yet these “metadisputes” have also become intractable. This raises the question: Could they, too, be verbal? What would that even mean? Using tools from
Alexander W. Kocurek
wiley   +1 more source

The Semantics of Axioms from the Perspective of three Muslim Philosophers (Avicenna, Suhrawardi, Mulla Sadra) [PDF]

حکمت اسرا, 2013
The explanation of the significance of axioms in the intellectual system of Muslim philosophers is one of the most essential philosophical issues which have received little attention in some aspects despite its great significance and its unique role in ...
Ja’efar Shanazari, Fatemeh Zaare’e
doaj  

Deterministic Theories

Philosophy and Phenomenological Research, EarlyView.
ABSTRACT Determinism is (roughly) the thesis that the past determines the future. But efforts to define it precisely have exposed deep methodological disagreements. Standard possible‐worlds formulations of determinism presuppose an “agreement” relation between worlds, but this relation can be understood in multiple ways, none of which is particularly ...
Hans Halvorson, J. B. Manchak, James Owen Weatherall   +2 more
wiley   +1 more source

The Problem of Programming Language Concurrency Semantics [PDF]

, 2015
Despite decades of research, we do not have a satisfactory concurrency semantics for any general-purpose programming language that aims to support concurrent systems code.
Kyndylan Nienhuis, Kayvan Memarian, Pichon-Pharabod, Jean, Sewell, Peter, Mark Batty, Batty, Mark, Jean Pichon-Pharabod, Memarian, Kayvan, Nienhuis, Kyndylan, Peter Sewell   +9 more
core   +1 more source

Semi-Substructural Logics à la Lambek with Symmetry

Bulletin of the Section of Logic
This work studies the proof theory and ternary relational semantics of left (right) skew monoidal closed categories and skew monoidal bi-closed categories, both symmetric and non-symmetric, from the perspective of non-associative Lambek calculus ...
Cheng-Syuan Wan
doaj   +1 more source

High Standards

Philosophy and Phenomenological Research, EarlyView.
ABSTRACT Evaluative adjectives are gradable. The standard for falling under a gradable adjective “F” is either context‐relative or absolute. Some philosophers have recently used general linguistic tests to argue that “rational” and (moral) “good” are maximum‐degree absolute gradable adjectives: Only what's perfectly morally good strictly counts as ...
Pekka Väyrynen
wiley   +1 more source

C Program Verification: VC Explanation and the Standard Library

Моделирование и анализ информационных систем, 2011
The C program verification project is being developed in IIS. Its latest extension is twofold. First, the labeled variant of axiomatic semantics of the C-kernel language was proposed. The labels, introduced in the calculus, correspond to various concepts
A. V. Promsky
doaj  

A Machine Proof of the Filter-Method Construction for Real Numbers

Mathematics
This paper presents a machine verification of a real number theory where real numbers are constructed using concepts related to filters. The theory encompasses a special filter, namely the non-principal arithmetical ultrafilter whose existence can be ...
Guowei Dou, Wensheng Yu
doaj   +1 more source

Emotion and the Advocacy Coalition Framework: An Affective Dynamics Perspective

Policy Studies Journal, EarlyView.
ABSTRACT Despite extensive evidence that emotion and cognition are deeply intertwined, the Advocacy Coalition Framework (ACF) lacks an analytically independent emotional mechanism in its causal architecture—an omission that may be particularly consequential in policy subsystems structured around morally charged, identity‐laden policy disputes.
Moshe Maor
wiley   +1 more source

C Program Verication in the Multilanguage System Spectrum

Моделирование и анализ информационных систем, 2010
This paper presents the expendable multi-language analysis and verication system SPECTRUM, which is being developed within the framework of the project SPEC- TRUM. The project prospects are discussed using the example of C program verication. The project
V. A. Nepomniashy, I. S. Anureev, M. M. Atuchin, I. V. Maryasov, A. A. Petrov, A. V. Promsky   +5 more
doaj