Results 61 to 70 of about 481 (199)

Fixpointed Idempotent Uninorm (Based) Logics

Mathematics, 2019
Idempotent uninorms are simply defined by fixpointed negations. These uninorms, called here fixpointed idempotent uninorms, have been extensively studied because of their simplicity, whereas logics characterizing such uninorms have not.
Eunsuk Yang
doaj   +1 more source

Room for Improvement: Why Finitist Arguments Do Not Check Out

Analytic Philosophy, EarlyView.
ABSTRACT We examine several new and underexplored arguments for the finitude of the past and the impossibility of Hilbert's Hotel. The first argument concludes that Hilbert's Hotel is impossible due to an alleged contradiction arising from the causal powers of infinitely many guests.
Joseph C. Schmid, Troy Dana
wiley   +1 more source

On the Darboux Problem for Partial Fractional Random Differential Equations Involving Unbounded Delay in Fréchet Spaces

Fractal and Fractional
This paper investigates the qualitative and topological behavior of random solutions for a class of partial fractional random differential equations governed by the Darboux problem.
Mohamed Helal, Mohammed Rabih
doaj   +1 more source

Against Modal Humeanism

Analytic Philosophy, EarlyView.
ABSTRACT Ted Sider defends mereological nihilism against the possibility of gunk. He argues that if we accept modal Humeanism, then the possibility of gunk poses no threat to nihilism. This paper argues that Sider's argument fails because nihilism remains vulnerable to the possibility of gunk, even under modal Humeanism.
Sanggu Lee
wiley   +1 more source

Meaning and Reference in Programming Languages

Philosophies
This paper provides an analysis of the meaning–reference problem, as traditionally advanced in the philosophy of language, for imperative programming languages.
Nicola Angius
doaj   +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  

How Many Worlds Could There Be? David Lewis and Advanced Modalizing

Analytic Philosophy, EarlyView.
ABSTRACT Advanced modalizing, namely, possibilities and necessities concerning modal space itself, is problematic for a Lewis‐style analysis of modality. A popular solution, proposed by Divers, postulates explicit semantic clauses for a collapse of advanced modalizing, to the conclusion that all such matters are, if true in the first place, both ...
Lorenzo Azzano, Ciro De Florio, Aldo Frigerio   +2 more
wiley   +1 more source

On the Naturalistic Grounds of Grounding

Ratio, EarlyView.
ABSTRACT This paper examines whether grounding can be naturalized. We adopt a tripartite framework—Ocat (scientific catalogue of existents), Otyp (ontological types), and metaphysics (natures/modal profiles)—and show that classifying as such the relata of putative grounding claims forces a dilemma.
Raoni Arroyo, Jonas R. Becker Arenhart
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  

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