Results 51 to 60 of about 854,026 (193)

Logic in Opposition [PDF]

, 2013
It is claimed hereby that, against a current view of logic as a theory of consequence, opposition is a basic logical concept that can be used to define consequence itself.
Schang, Fabien
core  

Consecuencia lógica: modelos conjuntistas y aspectos modales

Revista de Filosofia, 2007
According to Etchemendy, in attempting to offer an analysis of the modal features of the intuitive concept of logical consequence, Tarski has committed a modal fallacy. In this paper, I consider the thesis according to it is posible to analyze the modals
Eduardo Alejandro Barrio
doaj  

Tarski on Logical Consequence

Notre Dame Journal of Formal Logic, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

One reason, several logics

Manuscrito, 2011
Humans have used arguments for defending or refuting statements long before the creation of logic as a specialized discipline. This can be interpreted as the fact that an intuitive notion of "logical consequence" or a psychic disposition to articulate ...
Evandro Agazzi
doaj   +1 more source

Logical Normativity and Common Sense Reasoning

Principia: An International Journal of Epistemology, 2011
Logic, considered as a technical discipline inaugurated by Aristotle and typically represented by the variety of the modern logical calculi, constitutes a clarification and refinement of a conviction and practice present in common sense, that is, the ...
Evandro Agazzi
doaj  

On the Family of Conditional Embedded Implicational Dependencies [PDF]

Computer Science Journal of Moldova, 1996
Certain second-order sentences, called conditional embedded implicational dependencies, about relations in a relational database, are defined and studied. This class of dependencies includes some of previously defined dependencies as special cases. Thus,
Victor Felea
doaj  

A synthesis of evolutionary and behavioural economics

Economics and Business Review, 2021
The article presents the current state of evolutionary economics against the backdrop of changes related to the potential use of the achievements of other social sciences, in particular psychology, as well as dynamically developing neuroscience.
Polowczyk Jan
doaj   +1 more source

Relating Church-Style and Curry-Style Subtyping

, 2011
Type theories with higher-order subtyping or singleton types are examples of systems where computation rules for variables are affected by type information in the context.
Compagnoni, Adriana, Goguen, Healfdene
core   +2 more sources

From Natural to Artificial: The Transformation of the Concept of Logical Consequence in Bolzano, Carnap, and Tarski

Philosophies
Our standard model-theoretic definition of logical consequence is originally based on Alfred Tarski’s (1936) semantic definition, which, in turn, is based on Rudolf Carnap’s (1934) similar definition.
Lassi Saario-Ramsay
doaj   +1 more source

A 4-valued logic of strong conditional [PDF]

, 2018
How to say no less, no more about conditional than what is needed? From a logical analysis of necessary and sufficient conditions (Section 1), we argue that a stronger account of conditional can be obtained in two steps: firstly, by reminding its ...
Schang, Fabien
core