Results 61 to 70 of about 47,415 (256)

The Unity of a Tractarian Fact [PDF]

, 2007
It is not immediately clear from Wittgenstein’s Tractatus how to connect his idea there of an object with the logical ontologies of Frege and Russell. Toward clarification on this matter, this paper compares Russell’s and Wittgenstein’s versions of the ...
Johnston, Colin
core   +1 more source

Unstructured Purity

Noûs, EarlyView.
ABSTRACT Purity is the principle that fundamental facts only have fundamental constituents. In recent years, it has played a significant (if sometimes implicit) role in metaphysical theorizing. A philosopher will argue that a fact [p]$[p]$ contains a derivative entity and cite Purity as a reason to deny that [p]$[p]$ is fundamental. I argue that recent
Samuel Z. Elgin
wiley   +1 more source

Theories of Reference: What Was the Question? [PDF]

, 2020
The new theory of reference has won popularity. However, a number of noted philosophers have also attempted to reply to the critical arguments of Kripke and others, and aimed to vindicate the description theory of reference.
A Church, A Everett, A Millar, A Miller, A Plantinga, C McGinn, C Travis, D Braun, D Braun, D Braun, D Chalmers, D Chalmers, D Davidson, D Kaplan, D Kaplan, D Kaplan, D Lewis, D Papineau, D Shapere, F Jackson, F Kroon, G Currie, G Currie, G Evans, G Martí, G Segal, GW Fitch, H Putnam, H Putnam, H Putnam, H Putnam, H Wettstein, HW Noonan, J Almog, J Almog, J Dupre, J McDowell, J Searle, J Searle, J Searle, J Searle, JJ Katz, JJ Katz, K Bach, K Bach, K Sterelny, M Devitt, M Devitt, M Devitt, M Devitt, M Devitt, M Devitt, M Devitt, M Devitt, M Devitt, M Devitt, M Devitt, M Devitt, M Dummett, M Dummett, M Dummett, M Kremer, N Salmon, N Salmon, P Achinstein, P Raatikainen, P Raatikainen, P Raatikainen, P Unger, PF Strawson, PK Stanford, R Carnap, R Heck, R May, S Kripke, S Kripke, S Kripke, S Kripke, S Kripke, S Soames, SP Schwartz, T Burge, T Crane, W Lycan, WV Quine   +84 more
core   +1 more source

Pulling Down the Hierarchy

Pacific Philosophical Quarterly, EarlyView.
ABSTRACT This paper is about the hierarchy view: that each word has infinitely many meanings, arranged into levels, with the level n meaning serving as its semantic value when it occurs embedded to degree n in indirect or attitude reporting verbs. Departing from the famous debates over the bare tenability of the hierarchy view, I focus on whether there
Mark McCullagh
wiley   +1 more source

How to Hintikkize a Frege [PDF]

, 2016
The paper deals with the main contribution of the Finnish logician Jaakko Hintikka: epistemic logic, in particular the 'static' version of the system based on the formal analysis of the concepts of knowledge and belief.
Schang, Fabien
core  

Two Misconstruals of Frege’s Theory of Colouring

The Philosophical Quarterly, 2018
Many scholars claim that Frege’s theory of colouring (Färbung) is committed to a radical form of subjectivism or emotivism. Some other scholars claim that Frege’s concept of colouring is a precursor to Grice’s notion of conventional implicature.
Thorsten Sander
semanticscholar   +1 more source

The Abductivist Interpretation of Frege's Conception of Logic

Analytic Philosophy, EarlyView.
ABSTRACT Frege is an abductivist about logic. For him, an acceptable logic must be sufficient—that is, it must be able to explain the relevant data, such as the fact that arithmetical laws are logical truths. Thus, Frege's logicism is an abductive project aimed at establishing the acceptability of his logic, Begriffsschrift.
Junyeol Kim
wiley   +1 more source

Frege on the Fruitfulness of Definitions

Journal for the History of Analytical Philosophy, 2021
What, in Frege’s view, makes definitions fruitful? In Grundlagen §70, Frege offers an answer: Unfruitful definitions are definitions that “could just as well be omitted and leave no link missing in the chain of our proofs”.
Rachel Boddy
doaj  

Circuit complexity, proof complexity, and polynomial identity testing [PDF]

, 2014
We introduce a new algebraic proof system, which has tight connections to (algebraic) circuit complexity. In particular, we show that any super-polynomial lower bound on any Boolean tautology in our proof system implies that the permanent does not have ...
Grochow, Joshua A., Pitassi, Toniann
core   +2 more sources

Inquiry and Logical Form

Philosophical Perspectives, EarlyView.
ABSTRACT Joint inquiry requires agents to exchange public content about some target domain, which in turn requires them to track which content a linguistic form contributes to a conversation. But, often, the inquiry delivers a necessary truth. For example, if we are inquiring whether a particular bird, Tweety, is a woodpecker, and discover that it is ...
Una Stojnić, Matthew Stone
wiley   +1 more source