Search results for 'Propositional forms' (try it on Scholar)

1000+ found
Sort by:
  1. Proving in Finite Many-Valued Propositional (forthcoming). An Algorithm for Axiomatizing and Theorem Proving in Finite Many-Valued Propositional Logics* Walter A. Carnielli. Logique Et Analyse.score: 80.0
     
    My bibliography  
     
    Export citation  
  2. Shane J. Ralston, Operationalizing Propositions as Proposals: Reviving Interest in John Dewey's Theory of Propositional Form.score: 58.0
    Dewey and Russell's debate over the status of logic in the twentieth-century is, by now, well-trodden ground for scholarly inquiry. However, Dewey's novel theory of propositions, first articulated in his 1938 Logic: The Theory of Inquiry, has received comparatively less attention than the debate that touched upon it. The paucity of interest among philosophers of language is probably due to a variety of reasons, such as the theory's unorthodox character and, what at least appears to be, its naive simplicity when (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Eric J. Loomis (2005). Logical Form and Propositional Function in the Tractatus. Theoria 71 (3):215-240.score: 38.0
    Wittgenstein's Tractatus carefully distinguished the concept all from\nthe notion of a truth-function, and thereby from the quantifiers.\nI argue that Wittgenstein's rationale for this distinction is lost\nunless propositional functions are understood within the context\nof his picture theory of the proposition. Using a model Tractatus\nlanguage, I show how there are two distinct forms of generality implicit\nin quantified Tractatus propositions. Although the explanation given\nin the Tractatus for this distinction is ultimately flawed, the distinction\nitself is a genuine one, and the forms (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. M. W. Bunder (1979). Alternative Forms of Propositional Calculus for a Given Deduction Theorem. Notre Dame Journal of Formal Logic 20 (3):613-619.score: 36.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Dolph Ulrich (1975). Review: R. Harrop, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Some Forms of Models of Propositional Calculi; Ronald Harrop, On the Equivalence for Non-Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models. [REVIEW] Journal of Symbolic Logic 40 (2):251-251.score: 36.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. M. Dusche (1995). Interpreted Logical Forms as Objects of the Attitudes. Journal of Logic, Language and Information 4 (4):301-315.score: 34.0
    Two arguments favoring propositionalist accounts of attitude sentences are being revisited: the Church-Langford translation argument and Thomason's argument against quotational theories of indirect discourse. None of them proves to be decisive, thus leaving the option of searching for a developed quotational alternative. Such an alternative is found in an interpreted logical form theory of attitude ascription. The theory differentiates elegantly among different attitudes but it fails to account for logical dependencies among them. It is argued, however, that the concept of (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. Kevin C. Klement, Propositional Logic. Internet Encyclopedia of Philosophy.score: 27.0
    Propositional logic, also known as sentential logic and statement logic, is the branch of logic that studies ways of joining and/or modifying entire propositions, statements or sentences to form more complicated propositions, statements or sentences, as well as the logical relationships and properties that are derived from these methods of combining or altering statements. In propositional logic, the simplest statements are considered as indivisible units, and hence, propositional logic does not study those logical properties and relations that (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. William P. Bechtel & A. Abrahamson (1990). Beyond the Exclusively Propositional Era. Synthese 82 (2):223-53.score: 27.0
    Contemporary epistemology has assumed that knowledge is represented in sentences or propositions. However, a variety of extensions and alternatives to this view have been proposed in other areas of investigation. We review some of these proposals, focusing on (1) Ryle's notion of knowing how and Hanson's and Kuhn's accounts of theory-laden perception in science; (2) extensions of simple propositional representations in cognitive models and artificial intelligence; (3) the debate concerning imagistic versus propositional representations in cognitive psychology; (4) recent (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. Peter M. Sullivan (2004). ‘The General Propositional Form is a Variable’ (Tractatus 4.53). Mind 113 (449):43-56.score: 25.0
    Wittgenstein presents in the Tractatus a variable purporting to capture the general form of proposition. One understanding of what Wittgenstein is doing there, an understanding in line with the ‘new’ reading of his work championed by Diamond, Conant and others, sees it as a deflationary or even an implosive move—a move by which a concept sometimes put by philosophers to distinctively metaphysical use is replaced, in a perspicuous notation, by an innocent device of generalization, thereby dispersing the clouds of (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  10. J. Edwards (1999). Interpreted Logical Forms and Knowing Your Own Mind. Proceedings of the Aristotelian Society 99 (2):169-90.score: 23.0
    An attractive semantic theory presented by Richard K. Larson and Peter Ludlow takes a report of propositional attitudes, e.g 'Tom believes Judy Garland sang', to report a believing relation between Tom and an interpreted logical form constructed from 'Judy Garland sang'. We briefly outline the semantic theory and indicate its attractions. However, the definition of interpreted logical forms given by Larson and Ludlow is shown to be faulty, and an alternative definition is offered which matches their intentions. This (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Jeff Stickney (2008). Wittgenstein's 'Relativity': Training in Language-Games and Agreement in Forms of Life. Educational Philosophy and Theory 40 (5):621-637.score: 21.0
    Taking Wittgenstein's love of music as my impetus, I approach aporetic problems of epistemic relativity through a round of three overlapping (canonical) inquiries delivered in contrapuntal (higher and lower) registers. I first take up the question of scepticism surrounding 'groundless knowledge' and contending paradigms in On Certainty (physics versus oracular divination, or realism versus idealism) with attention given to the role of 'bedrock' certainties in providing stability amidst the Heraclitean flux. I then look into the formation of sedimented bedrock knowledge, (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  12. Chris J. Mitchell, Jan De Houwer & Peter F. Lovibond (2009). The Propositional Nature of Human Associative Learning. Behavioral and Brain Sciences 32 (2):183-198.score: 21.0
    The past 50 years have seen an accumulation of evidence suggesting that associative learning depends on high-level cognitive processes that give rise to propositional knowledge. Yet, many learning theorists maintain a belief in a learning mechanism in which links between mental representations are formed automatically. We characterize and highlight the differences between the propositional and link approaches, and review the relevant empirical evidence. We conclude that learning is the consequence of propositional reasoning processes that cooperate with the (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. Howard Burdick (1982). A Logical Form for the Propositional Attitudes. Synthese 52 (2):185 - 230.score: 21.0
    The author puts forth an approach to propositional attitude contexts based upon the view that one does not have beliefs of ordinary extensional entitiessimpliciter. Rather, one has beliefs of such entities as presented in various manners. Roughly, these are treated as beliefs of ordered pairs — the first member of which is the ordinary extensional entity and the second member of which is a predicate that it satisfies. Such an approach has no difficulties with problems involving identity, such as (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. Lloyd Humberstone (2004). Archetypal Forms of Inference. Synthese 141 (1):45 - 76.score: 21.0
    A form (or pattern) of inference, let us say, explicitlysubsumes just such particular inferences as are instances of the form, and implicitly subsumes thoseinferences with a premiss and conclusion logically equivalent to the premiss and conclusion of an instanceof the form in question. (For simplicity we restrict attention to one-premiss inferences.) A form ofinference is archetypal if it implicitly subsumes every correct inference. A precise definition (Section 1)of these concepts relativizes them to logics, since different logics classify different inferences ascorrect, (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  15. Renate A. Schmidt & Dmitry Tishkovsky (2008). On Combinations of Propositional Dynamic Logic and Doxastic Modal Logics. Journal of Logic, Language and Information 17 (1):109-129.score: 21.0
    We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxastic logics in which the modalities may interact. The kind of interactions we consider include three forms of commuting axioms, namely, axioms similar to the axiom of perfect recall and the axiom of no learning from temporal logic, and a Church–Rosser axiom. We investigate the influence of the substitution rule on the properties of these logics and propose a new semantics for (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. Robert Fiengo & Robert May, Interpreted Logical Forms: A Critique.score: 21.0
    Interpreted Logical Forms (ILFs) are objects composed of a syntactic structure annotated with the semantic values (objectual content) of each node of the structure. We criticize the view that ILFs are the objects of propositional attitude verbs such as believe, as this is developed by Larson and Ludlow (1993). Our critique arises from a tension in the way that sen-.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  17. Mitsunori Kobayashi & Arata Ishimoto (1982). A Propositional Fragment of Leśniewski's Ontology and its Formulation by the Tableau Method. Studia Logica 41 (2-3):181 - 195.score: 21.0
    The propositional fragment L 1 of Leniewski's ontology is the smallest class (of formulas) containing besides all the instances of tautology the formulas of the forms: (a, b) (a, a), (a, b) (b,). (a, c) and (a, b) (b, c). (b, a) being closed under detachment. The purpose of this paper is to furnish another more constructive proof than that given earlier by one of us for: Theorem A is provable in L 1 iff TA is a thesis (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18. Jan Krajiček (1994). Lower Bounds to the Size of Constant-Depth Propositional Proofs. Journal of Symbolic Logic 59 (1):73-86.score: 21.0
    LK is a natural modification of Gentzen sequent calculus for propositional logic with connectives ¬ and $\bigwedge, \bigvee$ (both of bounded arity). Then for every d ≥ 0 and n ≥ 2, there is a set Td n of depth d sequents of total size O(n3 + d) which are refutable in LK by depth d + 1 proof of size exp(O(log2 n)) but such that every depth d refutation must have the size at least exp(nΩ(1)). The sets Td (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  19. Jan Krajicek (1994). Lower Bounds to the Size of Constant-Depth Propositional Proofs. Journal of Symbolic Logic 59 (1):73 - 86.score: 21.0
    LK is a natural modification of Gentzen sequent calculus for propositional logic with connectives ¬ and $\bigwedge, \bigvee$ (both of bounded arity). Then for every d ≥ 0 and n ≥ 2, there is a set Td n of depth d sequents of total size O(n3 + d) which are refutable in LK by depth d + 1 proof of size exp(O(log2 n)) but such that every depth d refutation must have the size at least exp(nΩ(1)). The sets Td (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Ernest Lepore & Kirk Ludwig (2002). What is Logical Form? In Gerhard Preyer & Georg Peter (eds.), Logical Form and Language. Clarendon Press. 54--90.score: 19.0
    Bertrand Russell, in the second of his 1914 Lowell lectures, Our Knowledge of the External World, asserted famously that ‘every philosophical problem, when it is subjected to the necessary analysis and purification, is found either to be not really philosophical at all, or else to be, in the sense in which we are using the word, logical’ (Russell 1993, p. 42). He went on to characterize that portion of logic that concerned the study of forms of propositions, or, as (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Sean Crawford (2014). Propositional or Non-Propositional Attitudes? Philosophical Studies 168 (1):179-210.score: 18.0
    Propositionalism is the view that intentional attitudes, such as belief, are relations to propositions. Propositionalists argue that propositionalism follows from the intuitive validity of certain kinds of inferences involving attitude reports. Jubien (2001) argues powerfully against propositions and sketches some interesting positive proposals, based on Russell’s multiple relation theory of judgment, about how to accommodate “propositional phenomena” without appeal to propositions. This paper argues that none of Jubien’s proposals succeeds in accommodating an important range of propositional phenomena, such (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  22. Daniel Howard-Snyder (2013). Propositional Faith: What It is and What It is Not. American Philosophical Quarterly 50 (4):357-372.score: 18.0
    Reprinted in Philosophy of Religion: An Anthology, Wadsworth 2013, 6th edition, with an additional section entitled, "Reasons for the Common View," eds Michael Rea and Louis Pojman. What is propositional faith? At a first approximation, we might answer that it is the psychological attitude picked out by standard uses of the English locution “S has faith that p,” where p takes declarative sentences as instances, as in “He has faith that they’ll win”. Although correct, this answer is not nearly (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. John N. Williams (2008). Propositional Knowledge and Know-How. Synthese 165 (1):107 - 125.score: 18.0
    This paper is roughly in two parts. The first deals with whether know-how is constituted by propositional knowledge, as discussed primarily by Gilbert Ryle (1949) The concept of mind. London: Hutchinson, Jason Stanley and Timothy Williamson (2001). Knowing how. Journal of Philosophy, 98, pp. 411–444 as well as Stephen Hetherington (2006). How to know that knowledge-that is knowledge-how. In S. Hetherington (Ed.) Epistemology futures. Oxford: Oxford University Press. The conclusion of this first part is that know-how sometimes does and (...)
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  24. Timothy Schroeder (2006). Propositional Attitudes. Philosophy Compass 1 (1):65-73.score: 18.0
    The propositional attitudes are attitudes such as believing and desiring, taken toward propositions such as the proposition that snow flurries are expected, or that the Prime Minister likes poutine. Collectively, our views about the propositional attitudes make up much of folk psychology, our everyday theory of how the mind works.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  25. Thomas Kelly (2002). The Rationality of Belief and Other Propositional Attitudes. Philosophical Studies 110 (2):163-96.score: 18.0
    In this paper, I explore the question of whether the expected consequences of holding a belief can affect the rationality of doing so. Special attention is given to various ways in which one might attempt to exert some measure of control over what one believes and the normative status of the beliefs that result from the successful execution of such projects. I argue that the lessons which emerge from thinking about the case ofbelief have important implications for the way we (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  26. Mark E. Richard (1990). Propositional Attitudes: An Essay on Thoughts and How We Ascribe Them. New York: Cambridge University Press.score: 18.0
    This book makes a stimulating contribution to the philosophy of language and philosophy of mind. It begins with a spirited defense of the view that propositions are structured and that propositional structure is "psychologically real." The author then develops a subtle view of propositions and attitude ascription. The view is worked out in detail with attention to such topics as the semantics of conversations, iterated attitude ascriptions, and the role of propositions as bearers of truth. Along the way important (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  27. Friederike Moltmann & Mark Textor (eds.) (forthcoming). Act-Based Conceptions of Propositional Content. Contemporary and Historical Perspectives. Oxford University Press.score: 18.0
    Ever since Frege, propositions have played a central role in philosophy of language. Propositions are generally conceived as abstract objects that have truth conditions essentially and fulfill both the role of the meaning of sentences and of the objects or content of propositional attitudes. More recently, the abstract conception of propositions has given rise to serious dissatisfaction among a number of philosophers, who have instead proposed a conception of propositional content based on cognitive acts (Hanks, Moltmann, Soames). This (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Robert M. Gordon (2007). Ascent Routines for Propositional Attitudes. Synthese 159 (2):151 - 165.score: 18.0
    An ascent routine (AR) allows a speaker to self-ascribe a given propositional attitude (PA) by redeploying the process that generates a corresponding lower level utterance. Thus, we may report on our beliefs about the weather by reporting (under certain constraints) on the weather. The chief criticism of my AR account of self-ascription, by Alvin Goldman and others, is that it covers few if any PA’s other than belief and offers no account of how we can attain reliability in identifying (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  29. James W. Garson (2010). Expressive Power and Incompleteness of Propositional Logics. Journal of Philosophical Logic 39 (2):159-171.score: 18.0
    Natural deduction systems were motivated by the desire to define the meaning of each connective by specifying how it is introduced and eliminated from inference. In one sense, this attempt fails, for it is well known that propositional logic rules (however formulated) underdetermine the classical truth tables. Natural deduction rules are too weak to enforce the intended readings of the connectives; they allow non-standard models. Two reactions to this phenomenon appear in the literature. One is to try to restore (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  30. Robert J. Matthews (2007/2010). The Measure of Mind: Propositional Attitudes and Their Attribution. Oxford University Press.score: 18.0
    A prospective introduction -- The received view -- Troubles with the received view -- Are propositional attitudes relations? -- Foundations of a measurement-theoretic account of the attitudes -- The basic measurement-theoretic account -- Elaboration and explication of the proposed measurement-theoretic account.
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. David Landy (2005). Inside Doubt: On the Non-Identity of the Theory of Mind and Propositional Attitude Psychology. [REVIEW] Minds and Machines 15 (3-4):399-414.score: 18.0
    Eliminative materialism is a popular view of the mind which holds that propositional attitudes, the typical units of our traditional understanding, are unsupported by modern connectionist psychology and neuroscience, and consequently that propositional attitudes are a poor scientific postulate, and do not exist. Since our traditional folk psychology employs propositional attitudes, the usual argument runs, it too represents a poor theory, and may in the future be replaced by a more successful neurologically grounded theory, resulting in a (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  32. Polycarp Ikuenobe (2011). Conceptualizing Racism and Its Subtle Forms. Journal for the Theory of Social Behaviour 41 (2):161-181.score: 18.0
    Many people are talking about being in a post-racial era, which implies that we have overcome race and racism. Their argument is based on the fact that manyof the virulent manifestations of racism are not prevalent today. I argue that racism is not seen as prevalent today because the commonplace views of racism fail to capture the more subtle and insidious new forms of racism. I critically examine some of these views and indicate that racism, its forms and (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  33. Craig French (2012). Does Propositional Seeing Entail Propositional Knowledge? Theoria 78 (2):115-127.score: 18.0
    In a 2010 article Turri puts forward some powerful considerations which suggest that Williamson's view of knowledge as the most general factive mental state is false. Turri claims that this view is false since it is false that if S sees that p, then S knows that p. Turri argues that there are cases in which (A) S sees that p but (B) S does not know that p. In response I offer linguistic evidence to suppose that in propositional (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  34. David Sherry (2006). Formal Logic for Informal Logicians. Informal Logic 26 (2):199-220.score: 18.0
    Classical logic yields counterintuitive results for numerous propositional argument forms. The usual alternatives (modal logic, relevance logic, etc.) generate counterintuitive results of their own. The counterintuitive results create problems—especially pedagogical problems—for informal logicians who wish to use formal logic to analyze ordinary argumentation. This paper presents a system, PL– (propositional logic minus the funny business), based on the idea that paradigmatic valid argument forms arise from justificatory or explanatory discourse. PL– avoids the pedagogical difficulties without sacrificing (...)
    Direct download (15 more)  
     
    My bibliography  
     
    Export citation  
  35. Robert Trueman (2011). Propositional Functions in Extension. Theoria 77 (4):292-311.score: 18.0
    In his “The Foundations of Mathematics”, Ramsey attempted to marry the Tractarian idea that all logical truths are tautologies and vice versa, and the logicism of the Principia. In order to complete his project, Ramsey was forced to introduce propositional functions in extension (PFEs): given Ramsey's definitions of 1 and 2, without PFEs even the quantifier-free arithmetical truth that 1 ≠ 2 is not a tautology. However, a number of commentators have argued that the notion of PFEs is incoherent. (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  36. Claes Strannegård, Simon Ulfsbäcker, David Hedqvist & Tommy Gärling (2010). Reasoning Processes in Propositional Logic. Journal of Logic, Language and Information 19 (3):283-314.score: 18.0
    We conducted a computer-based psychological experiment in which a random mix of 40 tautologies and 40 non-tautologies were presented to the participants, who were asked to determine which ones of the formulas were tautologies. The participants were eight university students in computer science who had received tuition in propositional logic. The formulas appeared one by one, a time-limit of 45 s applied to each formula and no aids were allowed. For each formula we recorded the proportion of the participants (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  37. John Dilworth & Dylan Sabo (2014). A Dual-Component View of Propositional Grasping. Erkenntnis 79 (3):511-522.score: 18.0
    On a traditional or default view of the grasping or understanding of a singular proposition by an individual, it is assumed to be a unitary or holistic activity. However, naturalistic views of cognition plausibly could analyze propositional thinking in terms of more than one distinctive functional stage of cognitive processing, suggesting at least the potential legitimacy of a non-unitary analysis of propositional grasping. We outline a novel dual-component view of this kind, and show that it is well supported (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  38. Richard H. Feldman (1986). Davidson's Theory of Propositional Attitudes. Canadian Journal of Philosophy 16 (December):693-712.score: 18.0
    Donald davidson has proposed an account of indirect discourse that has been the subject of a great deal of discussion. Critics have contended that the theory saddles sentences in indirect discourse with implications they do not have, That the theory rests on an unsuitably obscure primitive notion that it cannot be extended to "de re" constructions and that it cannot be extended to sentences about other propositional attitudes such as belief. In this paper, I formulate davidson's theory more precisely (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  39. Michael J. Carroll (1976). On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic. Dissertation, University of Iowascore: 18.0
    Discusses alternative interpretations of the modal operators, for the modal propositional logic S5.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  40. Jeffrey C. King (forthcoming). Acquaintance, Singular Thought and Propositional Constituency. Philosophical Studies:1-18.score: 18.0
    In a recent paper, Armstrong and Stanley (Philos Stud 154:205–222, 2011) argue that despite being initially compelling, a Russellian account of singular thought has deep difficulties. I defend a certain sort of Russellian account of singular thought against their arguments. In the process, I spell out a notion of propositional constituency that is independently motivated and has many attractive features.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. Xinli Wang & Ling Xu (2009). The Propositional Vs. Hermeneutic Models of Cross-Cultural Understanding. South African Journal of Philosophy 28 (3):312-331.score: 18.0
    hat the author attempts to address in this paper is a Kantian question: not whether, but how is cross-cultural understanding possible? And specifically, what is a more effective approach for cross-cultural understanding? The answer lies in an analysis of two different models of cross-cultural understanding, that is, propositional and hermeneutic understanding. To begin with, the author presents a linguistic interpretation of culture, i.e., a culture as a linguistically formulated and transmitted symbolic system with its conceptual core as a scheme (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  42. Pieter dHoine (2011). Aristotles Criticism of Non-Substance Forms and its Interpretation by the Neoplatonic Commentators. Phronesis 56 (3):262-307.score: 18.0
    Aristotle's criticism of Platonic Forms in the Metaphysics has been a major source for the understanding and developments of the theory of Forms in later Antiquity. One of the cases in point is Aristotle's argument, in Metaphysics I 9, 990b22-991a2, against Forms of non-substances. In this paper, I will first provide a careful analysis of this passage. Next, I will discuss how the argument has been interpreted - and refuted - by the fifth-century Neoplatonists Syrianus and Proclus. (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  43. Domènec Melé (2005). Exploring the Principle of Subsidiarity in Organisational Forms. Journal of Business Ethics 60 (3):293 - 305.score: 18.0
    The paper starts with a case study of a medium-sized company in which a strong and successful change in the organisational form and job design took place. A bureaucratic organisation with highly-specialised jobs was converted into a new organisation in which employees became much more autonomous in managing their own work. This not only entailed new techniques and managerial systems but also a new anthropological vision. Bureaucratic rules were reduced, but not eliminated completely, and management became less authoritarian. Employees could (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  44. Balder ten Cate (2006). Expressivity of Second Order Propositional Modal Logic. Journal of Philosophical Logic 35 (2):209-223.score: 18.0
    We consider second-order propositional modal logic (SOPML), an extension of the basic modal language with propositional quantifiers introduced by Kit Fine in 1970. We determine the precise expressive power of SOPML by giving analogues of the Van Benthem–Rosen theorem and the Goldblatt Thomason theorem. Furthermore, we show that the basic modal language is the bisimulation invariant fragment of SOPML, and we characterize the bounded fragment of first-order logic as being the intersection of first-order logic and SOPML.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  45. George Graham & Terence E. Horgan (1988). How to Be Realistic About Folk Psychology. Philosophical Psychology 1 (1):69-81.score: 18.0
    Folk psychological realism is the view that folk psychology is true and that people really do have propositional attitudes, whereas anti-realism is the view that folk psychology is false and people really do not have propositional attitudes. We argue that anti-realism is not worthy of acceptance and that realism is eminently worthy of acceptance. However, it is plainly epistemically possible to favor either of two forms of folk realism: scientific or non-scientific. We argue that non-scientific realism, while (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  46. Jan Almäng (2014). Perception, Non-Propositional Content and the Justification of Perceptual Judgments. Metaphysica 15 (1):1-23.score: 18.0
    It is often argued that for a perceptual experience to be able to justify perceptual judgments, the perceptual experience must have a propositional content. For, it is claimed, only propositions can bear logical relations such as implication to each other. In this paper, this claim is challenged. It is argued that whereas perceptions and judgments both have intentional content, their contents have different structures. Perceptual content does not have a propositional structure. Perceptions and judgments can nevertheless have the (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  47. Morten H. Sørensen & Paweł Urzyczyn (2010). A Syntactic Embedding of Predicate Logic Into Second-Order Propositional Logic. Notre Dame Journal of Formal Logic 51 (4):457-473.score: 18.0
    We give a syntactic translation from first-order intuitionistic predicate logic into second-order intuitionistic propositional logic IPC2. The translation covers the full set of logical connectives ∧, ∨, →, ⊥, ∀, and ∃, extending our previous work, which studied the significantly simpler case of the universal-implicational fragment of predicate logic. As corollaries of our approach, we obtain simple proofs of nondefinability of ∃ from the propositional connectives and nondefinability of ∀ from ∃ in the second-order intuitionistic propositional logic. (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  48. Michael Morreau & Sarit Kraus (1998). Syntactical Treatments of Propositional Attitudes. Artificial Intelligence 106 (1):161-177.score: 18.0
    Syntactical treatments of propositional attitudes are attractive to artificial intelligence researchers. But results of Montague (1974) and Thomason (1980) seem to show that syntactical treatments are not viable. They show that if representation languages are sufficiently expressive, then axiom schemes characterizing knowledge and belief give rise to paradox. Des Rivières and Levesque (1988) characterize a class of sentences within which these schemes can safely be instantiated. These sentences do not quantify over the propositional objects of knowledge and belief. (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  49. Brian Hill & Francesca Poggiolesi (2010). A Contraction-Free and Cut-Free Sequent Calculus for Propositional Dynamic Logic. Studia Logica 94 (1):47 - 72.score: 18.0
    In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method and including an infinitary rule for the iteration operator. We prove that this sequent calculus is theoremwise equivalent to the corresponding Hilbert-style system, and that it is contraction-free and cut-free. All results are proved in a purely syntactic way.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  50. John Venn (1880). On the Forms of Logical Proposition. Mind 5 (19):336-349.score: 18.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000