SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Proof Theory and Meaning
11 references·14 citing·30 second hop
Proof Theory and Meaning (1986)Proof Theory and MeaningInquiries into Truth and Interpretation (2001)Inquiries into Truth and Inte…Wittgenstein on the Foundations of Mathematics (1981)Wittgenstein on the Foundatio…Meaning and Understanding (1981)Meaning and UnderstandingTruth and other enigmas (1978)Truth and other enigmasTruth and meaning (1967)Truth and meaningTruth and Meaning (1967)Truth and MeaningLogic, Methodology and Philosophy of Science. (1963)Logic, Methodology and Philos…Tonk, Plonk and Plink (1962)Tonk, Plonk and PlinkThe Runabout Inference-Ticket (1960)The Runabout Inference-TicketAn Introduction to Logic and Scientific Method. (1934)An Introduction to Logic and …An Introduction to Logic and Scientific Method (1934)An Introduction to Logic and …Types and Type Theories in Natural Language Analysis (2023)Types and Type Theories in Na…From Perception to Communication (2023)From Perception to Communicat…Individuation Criteria, Dot-types and Copredication: A View from Modern Type Theories (2015)Individuation Criteria, Dot-t…Representing Anaphora with Dependent Types (2014)Representing Anaphora with De…Adjectives in a Modern Type-Theoretical Setting (2013)Adjectives in a Modern Type-T…Predicate Logic with Anaphora (2012)Predicate Logic with AnaphoraGame Semantics and the Manifestation Thesis (2011)Game Semantics and the Manife…From Games to Dialogues and Back: Towards a General Frame for Validity (2008)From Games to Dialogues and B…Records and Record Types in Semantic Theory (2005)Records and Record Types in S…Austinian Truth, Attitudes and Type Theory (2005)Austinian Truth, Attitudes an…Antirealism and the Roles of Truth (2004)Antirealism and the Roles of …Conservative Generalized Quantifiers and Presupposition (2001)Conservative Generalized Quan…Dynamics (1997)DynamicsIntuitionistic categorial grammar (1991)Intuitionistic categorial gra…The Structure of Scientific Revolutions (1963)Origins of the modern mind: three stages in the evolution of culture and cognition (1992)Reference and Consciousness (2002)Can human irrationality be experimentally demonstrated? (1981)The Philosophy of Philosophy (2007)Assessment Sensitivity: Relative Truth and its Applications (2014)The Psychology of Interpersonal Relations. (1958)The Handbook of Research on Teaching (1962)Case Selection Techniques in Case Study Research (2008)Psychophysical and theoretical identifications (1972)Support theory: A nonextensional representation of subjective probability. (1994)Dynamic Econometrics (1995)Inconsistent Languages (2002)Intuition, Entitlement and the Epistemology of Logical Laws (2004)CHAPTER 9 Reference, Inference, and the Semantics of Pejoratives (2009)Précis of The Intentional Stance (1988)The psychology of folk psychology (1993)Speaking My Mind (2004)Persons, Situations, and Virtue Ethics (1998)Collaborative policymaking: governance through dialogue (2003)Grasping Ideas with the Motor System: Semantic Somatotopy in Idiom Comprehension (2008)The Common Mind (1996)Is Meaning Normative? (2006)Metaphysical Dependence: Grounding and Reduction (2010)On Simpson's Paradox and the Sure-Thing Principle (1972)Mental Models in Cognitive Science (1980)Research Methods in Business Studies (2020)Mental representation (1978)Concepts (1998)Truth (1998)
this work references cited by second hop

References

  • 2001Inquiries into Truth and Interpretation4,216 cited
  • 1963Logic, Methodology and Philosophy of Science.1,949 cited
  • 1967Truth and meaning1,114 cited
  • 1978Truth and other enigmas924 cited
  • 1967Truth and Meaning850 cited
  • 1934An Introduction to Logic and Scientific Method.697 cited
  • 1960The Runabout Inference-Ticket581 cited
  • 1934An Introduction to Logic and Scientific Method360 cited
  • 1981Wittgenstein on the Foundations of Mathematics347 cited
  • 1981Meaning and Understanding297 cited
  • 1962Tonk, Plonk and Plink293 cited

Cited by

  • 2005Records and Record Types in Semantic Theory160 cited
  • 2005Austinian Truth, Attitudes and Type Theory129 cited
  • 2001Conservative Generalized Quantifiers and Presupposition59 cited
  • 2015Individuation Criteria, Dot-types and Copredication: A View from Modern Type Theories53 cited
  • 2012Predicate Logic with Anaphora49 cited
  • 1997Dynamics

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work

47 cited
  • 2014Representing Anaphora with Dependent Types44 cited
  • 2008From Games to Dialogues and Back: Towards a General Frame for Validity41 cited
  • 2023From Perception to Communication34 cited
  • 2013Adjectives in a Modern Type-Theoretical Setting33 cited
  • 2004Antirealism and the Roles of Truth29 cited
  • 1991Intuitionistic categorial grammar27 cited
  • 2023Types and Type Theories in Natural Language Analysis26 cited
  • 2011Game Semantics and the Manifestation Thesis13 cited