Results 41 to 50 of about 127 (109)

Pourquoi le Grundgedanke (T. 4.0312) de Wittgenstein est si “Fondamental”?

Principia: An International Journal of Epistemology, 1998
La pensée fondamentale de Wittgenstein affirme que les constantes logiques ne représentent pas, ne fonctionnent pas sémantiquement comme des noms. En apparence triviale, cette pensée, nous le montrerons, à des ramifications étonnantes dans la philosophie
André Leclerc
doaj  

Reduction algorithms for solving large systems of logical equations [PDF]

Computer Science Journal of Moldova, 2000
Large systems of logical equations are considered in this paper, each depending on a restricted number of variables. A method of reduction is suggested that reduces the number of roots in separate equations, which in its turn saves time spent for finding
A.Zakrevskij
doaj  

Logical Metainferentialism

Ergo, An Open Access Journal of Philosophy
Logical inferentialism is the view that the meaning of logical constants is implicitly defined by the operational rules that govern their behaviour in proofs—particularly in sequent calculus proofs, according to an increasingly dominant tendency.
Bogdan Dicher, Francesco Paoli
doaj   +2 more sources

O spójności (hiper)syntaktycznej i fraktalach

Stylistyka, 2010
The text consists of two parts: the first is longer and concems the much discussed links between the grammar of natural language and logie, the second - the existence o f surprising geometrical objects called fractals.
Anna Pietryga
doaj  

Preuves et jeux sémantiques

Philosophia Scientiæ, 2004
Hintikka makes a distinction between two kinds of games: truthconstituting games and truth-seeking games. His well-known game-theoretical semantics for first-order classical logic and its independence-friendly extension belongs to the first class of ...
Denis Bonnay
doaj   +1 more source

BITERNARY OPPOSITION AS AN ELEMENT OF MULTIPOLAR SOCIO-CULTURAL SYSTEM DESCRIPTION LANGUAGE IN POSTSTRUCTURAL ANTHROPOLOGY

Концепт: философия, религия, культура, 2019
The target of research is the structuralist and poststructuralist paradigm of describing and explaining cultural constants through binary or ternary semiotic codes. The author’s hypothesis, based on anthropological theories of V. Turner and Cl.
I. P. Davydov
doaj   +1 more source

Logical constants

, 2016
[Abridged abstract] The goal is to give structural proof-theoretical analyses of logical constants, and thereby provide a criterion for what a logical constant is. Another goal is to illustrate the thesis that structural assumptions of logic are basic and that alternative logics (later called substructural logics) differ from each other only in their ...
Dosen, K, Dosen, Kosta
openaire   +1 more source

Czy fizyczne teorie efektywne są wiarygodną strategią osiągnięcia teorii finalnej?

Zagadnienia Filozoficzne w Nauce, 2020
The paper presents the methodology of effective theories as a strategy used in the process of development of modern physics to reach a final theory. We present the definition and characteristic features of an effective theory, as well as the answer to ...
Marek Szydłowski, Paweł Tambor
doaj  

Fault-tolerant Quantum Error Correction Using a Linear Array of Emitters [PDF]

Quantum
We propose a fault-tolerant quantum error correction architecture consisting of a linear array of emitters and delay lines. In our scheme, a resource state for fault-tolerant quantum computation is generated by letting the emitters interact with a stream
Jintae Kim, Jung Hoon Han, Isaac H. Kim
doaj   +1 more source

El Significado de la Negación Paraconsistente

Principia: An International Journal of Epistemology, 2009
This work agrees and supports the I. Hacking’s thesis regarding the meaningof the logical constants accordingly with Gentzen’s Introduction and Elimination Rules of Sequent Calculus, corresponding with the abstract conception of the notion of logical ...
Cecilia Duran, Gladys Palau
doaj