Results 221 to 230 of about 3,384 (264)

Attitudes and Structured Propositions

2023
AbstractA number of arguments for a fine-grained individuation of propositions are considered in the context of the formal language introduced in the previous chapter, and shown not to be compelling. The main arguments involve ascriptions of propositional attitudes such as belief.
openaire   +1 more source

A Defence of Structured Propositions

Pacific Philosophical Quarterly
ABSTRACTPropositions are about things, i.e., for each proposition, there are some things that it is about. Propositions also represent, i.e., each proposition represents some thing or things to be some way. There is a debate about whether propositions are structured and have the things that they are about as their constituents, or simple.
openaire   +2 more sources

Detecting embedded Horn structure in propositional logic

Information Processing Letters, 1992
We show that the problem of finding a maximum renamable Horn problem within a propositional satisfiability problem is NP-hard but can be formulated as a set packing and therefore a maximum clique problem, for which numerous algorithms and heuristics have been developed.
V. Chandru, John N. Hooker
openaire   +2 more sources

Structured propositions and the logical form of predication

Synthese, 2017
Jeffrey King, Scott Soames, and others have recently challenged the familiar identification of a Russellian proposition, such as the proposition that Brutus stabbed Caesar, with an ordered sequence constructed out of objects, properties, and relations.
openaire   +1 more source

Some structure results for propositional calculi

Journal of Symbolic Logic, 1965
1. Introduction. Since this paper is a written version of one presented as a survey lecture at a meeting of the Association for Symbolic Logic, its form and content have been essentially determined by the form and content of that lecture, and these latter were themselves considerably influenced by a deliberate attempt to avoid the lecture consisting ...
openaire   +1 more source

Can There Be Ineffable Propositional Structures?

Journal of Philosophical Research, 2020
Is it possible for there to be facts about reality with a logical structure that is in principle unrepresentable by us? I outline the main motivations for thinking that this question should receive a positive answer. I then argue that, upon inspection, the view that such structurally ineffable facts are possible is self-defeating and thus incoherent ...
openaire   +1 more source

Finite nest structures and propositional logic

Journal of Symbolic Logic, 1966
Our terminology and notation is the same as that of [1], of which this note is a sequel.We wish to show that if we take the natural deduction system (N) described in [1], and delete the rules for the quantifiers, we obtain a complete system for propositional logic. [Of course we now construe “X”, “Y”, “Z” as syntactic variables ranging over formulas of
openaire   +2 more sources

Russell on the Structure of Propositions

1998
The comparison of Russell's views on semantics before 1905 with the theory of Frege allows one to expose the common sources of their interest in semantical problems and the specific character of their examination. During the investigation of the principles of mathematics and elaboration and realization of the program of logicism, questions regarding ...
openaire   +1 more source

Fundamental Propositions in the Plastic Theory of Structures^†

Journal of the ICE, 1950
Synopsis According to the plastic theory, the collapse load of a ductile structure in the absence of instability due to axial stresses may be predicted by reference solely to the requirements of statical equilibrium. Since it is found unnecessary to consider the behaviour of the structure during the increase of the load to the collapse value, the ...
openaire   +1 more source

The Propositional Structure of Perception

1993
My topic is ordinary sense-perception. My question is, at least among philosophers, a common one: ‘What is the structure of the content of perceptual acts?’ My aim is not to suggest another complicating factor for this old problem, but rather to offer as spare and simplified an answer as possible.
openaire   +1 more source