Results 31 to 40 of about 39,231 (218)
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
History and Philosophy of Logic, 2018 What makes certain definitions fruitful? And how can definitions play an explanatory role? The purpose of this paper is to examine these questions via an investigation of Frege’s treatment of definitions. Specifically, I pursue this issue via an examination of Frege’s views about the scientific unification of logic and arithmetic.
openaire +3 more sources
La lógica de lo público: Frege y la accesibilidad del lenguaje científico
Análisis Filosófico, 2020 Las interpretaciones tradicionales de Frege tienden a explicar su antipsicologismo como indicando que ninguna consideración subjetivista debe interferir en la elaboración de un lenguaje lógico; dichas interpretaciones, sin embargo, tienen problemas para ...
Felipe Cuervo
doaj +1 more source
Význam obecného výrazu ve Fregově pojetí
Filosofie Dnes, 2013 Gottlob Frege rozlišuje mezi smyslem a významem výrazů, přičemž smyslem rozumí to, co je výrazem vyjadřováno, významem pak to, co je jím označováno. Toto rozlišení se týká jak singulárních, tak obecných výrazů, ovšem Fregovy rozbory týkající se významu ...
Marta Vlasáková
doaj +1 more source
The Role of Union Legitimacy and Identity in Shaping Strategic Choice
Industrial Relations: A Journal of Economy and Society, EarlyView.ABSTRACT This article explores how union legitimacy and identity shape union strategies. It highlights that while union identity is key to understanding strategic variation, legitimacy also plays a crucial role as unions must continuously earn and maintain it with various constituencies.
Geneviève Coderre‐LaPalme +1 more
wiley +1 more source
The Julius Caesar objection [PDF]
, 1997 This paper argues that that Caesar problem had a technical aspect, namely, that it threatened to make it impossible to prove, in the way Frege wanted, that there are infinitely many numbers.
Heck, Richard
core
Striking for a Just Transition? North American Auto Unions and the Electric Vehicle Transition
Industrial Relations: A Journal of Economy and Society, EarlyView.ABSTRACT Decarbonization heightens risks for workers, but union strategies shape how these risks are managed and whether new jobs offer quality employment. This paper compares U.S. and Canadian auto unions during the 2023 Detroit Three bargaining, focusing on strategic capacities and internal politics to explain their divergent responses to the EV ...
Mathieu Dupuis, Ian Greer, Dongwoo Park
wiley +1 more source
The Function is Unsaturated [PDF]
, 2013 An investigation of what Frege means by his doctrine that functions (and so concepts) are 'unsaturated'. We argue that this doctrine is far less peculiar than it is usually taken to be.
Heck, Richard, May, Robert
core +1 more source
Industrial Relations Journal, EarlyView.ABSTRACT This paper reviews methodological developments in Industrial Relations (IR) research on union effects from 1990 to 2023, based on 511 studies in six leading IR journals in the United States, the United Kingdom, Canada, and Australia. We find that institutional contexts shape methodological choices over time and note a general shift from ...
Kwon Hee Han +2 more
wiley +1 more source
Frege y sus circunstancias: Una interpretación de la teoría fregeana del significado
Análisis Filosófico, 2023 Proponemos una interpretación novedosa de la(s) teoría(s) de Frege en Begriffsschrift (1879/2016) y “Über Sinn und Bedeutung” (1892a/2016). Prestamos especial atención al papel de las circunstancias como contenido conceptual de las oraciones en ...
María de Ponte, Kepa Korta
doaj +1 more source