Logic Philosophy Of Language

Formal Semantics of Temporal Logic

Investigation of how temporal operators interact with truth conditions and quantification across time intervals and branching temporal structures.

RESEARCH GAP FRONTIERS

Pragmatic Presupposition in Discourse

Analysis of how speakers'' assumptions about shared knowledge affect utterance interpretation and conversation coordination in extended dialogues.

RESEARCH GAP FRONTIERS

Modal Logic and Metaphysical Modality

Exploration of possible worlds semantics and its philosophical implications for necessity, possibility, and counterfactual reasoning.

RESEARCH GAP FRONTIERS

Non-Classical Logics and Vagueness

Development of many-valued, fuzzy, and degree-theoretic logical systems to handle borderline cases and semantic indeterminacy.

RESEARCH GAP FRONTIERS

Reference and Direct Reference Theory

Philosophical examination of how names, demonstratives, and natural kind terms secure their referents independent of descriptive content.

RESEARCH GAP FRONTIERS

Implicature Theory and Conversational Dynamics

Study of how speakers convey meanings beyond explicit content through cooperative principles and contextual inference mechanisms.

RESEARCH GAP FRONTIERS

Logical Paradoxes and Self-Reference

Investigation of semantic and syntactic approaches to resolving paradoxes arising from self-referential statements like the liar''s paradox.

RESEARCH GAP FRONTIERS

Conceptual Semantics and Mental Representation

Analysis of how linguistic meaning relates to underlying conceptual structures and cognitive representations in the mind.

RESEARCH GAP FRONTIERS

Relevance Logic and Proof Theory

Development of logical systems requiring genuine connection between premises and conclusions to avoid triviality and fallacies of relevance.

Metasemantics and Meaning Constitution

Philosophical inquiry into what fundamentally makes linguistic expressions meaningful and how semantic content is determined or constituted.

Speech Act Theory and Performativity

Examination of how utterances function to perform actions beyond description, including felicity conditions and illocutionary force.

Intensional Logic and Opacity Phenomena

Formal treatment of contexts where substitution of co-referential terms fails due to intensional attitudes like belief and desire.

Contextualism and Semantic Context-Sensitivity

Analysis of how contextual parameters including speaker, time, location, and salience resolve ambiguities and determine truth conditions.

Generalized Quantifier Theory

Mathematical framework extending classical quantification to analyze determiners, proportional statements, and complex quantificational structures.

Metaphor Comprehension and Logical Structure

Investigation of how metaphorical expressions generate meaning through cross-domain mapping while maintaining logical interpretability.

Artificial Intelligence and Computational Semantics

Development of formal systems and algorithms enabling machines to process, interpret, and generate linguistically meaningful content.

Epistemic Logic and Knowledge Attribution

Logical formalization of knowledge, belief, justification, and ignorance including multi-agent epistemic scenarios and distributed knowledge.

Anaphora and Binding Theory

Study of how pronouns and reflexives refer back to antecedents through syntactic and semantic principles governing variable binding.

Deontic Logic and Normative Language

Formal analysis of obligation, permission, and prohibition statements with applications to ethical reasoning and legal discourse.

Compositionality and Semantic Recursion

Philosophical and logical investigation of how complex meanings are systematically derived from component meanings and syntactic structure.

Conditionals and Counterfactual Analysis

Formal semantics for material, subjunctive, and counterfactual conditionals using possible worlds and similarity metrics.

Polysemy and Word Sense Disambiguation

Analysis of how single words carry multiple related meanings and mechanisms by which context selects appropriate senses.

Mereology and Part-Whole Logic

Formal framework for reasoning about composition, parthood relations, and identity conditions of wholes and their constituents.

Dynamic Semantics and Update Semantics

Semantic theory treating meaning as information change potentials and discourse contexts as evolving mental state models.

Scope Ambiguity and Quantifier Interaction

Investigation of how multiple quantifiers and operators can receive different hierarchical interpretations yielding distinct truth conditions.

Presupposition and Assertion

Distinction between background assumptions presupposed by utterances and foreground content explicitly asserted by speakers.

Philosophical Logic and Paraconsistency

Development of logical systems tolerating contradictions without explosion while maintaining philosophical coherence and reasoning validity.

Metaethics of Semantic Properties

Philosophical investigation into whether semantic properties like truth and reference have objective status or depend on minds and practices.

Definiteness and Determination in Language

Analysis of how definite and indefinite articles, demonstratives, and quantifiers establish and track discourse referents.

Modular Architecture of Language Faculty

Investigation of whether linguistic processing involves independent modules with specific logical and computational properties.

Tense Logic and Temporal Reference

Formal treatment of tense operators, temporal deixis, and the relationship between linguistic tense and temporal ontology.

Hyperintensionality and Fine-Grained Meanings

Exploration of semantic frameworks distinguishing logically equivalent propositions that seem semantically different in oblique contexts.

Social Semantics and Language Communities

Analysis of how meaning is constituted through social practices, conventions, and collective linguistic behavior within communities.

Generic Statements and Habituality

Logical and semantic analysis of generics expressing characteristic behavior and generic facts resistant to truth-functional analysis.

Negation and Logical Opposition

Philosophical examination of negation operators, negative facts, and relationships between contradiction, contrariety, and semantic opposition.

Nominalization and Event Structure

Analysis of how noun phrases derived from verbs inherit event-structural properties and temporal interpretations.

Linguistic Relativity and Semantic Frames

Investigation of whether language structure determines or influences conceptual structure and thought patterns across languages.

Aspect and Aktionsart in Formal Semantics

Formal analysis of grammatical and lexical aspect affecting telicity, duration, and event completion interpretations.

Evidentiality and Epistemic Stance Marking

Study of how languages mark information source and speaker certainty through evidential morphology and modal expressions.

Attitude Reports and Propositional Ascriptions

Analysis of sentences attributing beliefs, desires, and knowledge to subjects, handling issues of substitution and de se interpretation.

Ellipsis and Structural Parallelism

Investigation of how elided constituents receive interpretation through structural parallelism and semantic identity with antecedents.

Truth-Conditional Semantics and Meaning

Foundational inquiry into whether meaning can be exhausted by truth conditions or requires additional components and constraints.

Quantifier Scope and Logical Form

Study of relationships between surface syntactic structure and logical form underlying semantic interpretation of quantified expressions.

Presupposition Failure and Semantic Status

Examination of whether sentences with failed presuppositions lack truth value, are false, or admit alternative truth-status assignments.

Collective Quantification and Plurality

Formal analysis of plural quantifiers, distributive-collective ambiguities, and set-theoretic interpretations of plural noun phrases.

Naturalized Epistemology of Semantics

Investigation of how semantic knowledge can be explained through naturalistic psychological and neurological mechanisms and learning processes.

Focus and Information Structure

Analysis of how focus operators and information partition affect truth conditions, implicatures, and discourse coherence.

Essential Properties and Rigid Designation

Philosophical examination of Kripkean semantics establishing how proper names rigidly designate across possible worlds.

Logical Constants and Universal Quantification

Theoretical investigation into which expressions deserve status as logical constants versus extralogical vocabulary.

Communicative Intent and Utterance Interpretation

Study of how listeners identify speaker intentions and communicate through ostensive-inferential mechanisms.

Truthmaker Semantics and Grounding Relations

Investigates what makes propositions true through examination of truthmakers and the metaphysical grounding of semantic facts.

Inferentialism and Proof-Theoretic Meaning

Explores meaning constitution through inferential role and proof-theoretic semantics rather than truth conditions.

Indexicality and Demonstrative Reference Systems

Analyzes how indexical expressions establish reference through context-dependent mechanisms and demonstrative chains.

Type Theory and Category Grammar Formalism

Develops formal type-theoretic frameworks for linguistic composition and categorical semantic representations.

Substructural Logics and Resource Semantics

Applies substructural logical systems to model resource consumption and bounded contextual reasoning in language.

Pragmatic Halos and Conventional Implicature

Examines how expressions generate conventional meaning contributions beyond their core semantic content.

Lexical Semantics and Ontological Categories

Investigates how lexical items encode and structure fundamental ontological distinctions in natural language.

Metalinguistic Negation and Semantic Challenges

Analyzes negation operators that reject expressions themselves rather than their propositional content.

Ambiguity Resolution and Syntactic-Semantic Integration

Studies mechanisms by which syntax constrains semantic interpretation to resolve structural and lexical ambiguities.

Intensional Verbs and De Re De Dicto Distinctions

Formalizes scope interactions in intensional contexts to distinguish object-directed from description-directed attitudes.

Nominalism and Semantic Commitment Reduction

Develops semantic frameworks that minimize ontological commitment by avoiding abstract entities and properties.

Contrastive Topic and Exhaustive Focus Marking

Formalizes how contrastive and exhaustive focus operators modulate propositional content and discourse alternatives.

Negative Polarity Items and Licensing Hierarchies

Investigates universal and local licensing constraints governing negative polarity item distribution across logical environments.

Fictional Objects and Semantics of Pretense

Develops semantic theories addressing reference to fictional entities and truth conditions of statements about pretend scenarios.

Reciprocals and Symmetric Relation Logic

Formalizes semantic properties of reciprocal expressions and their underlying relational structures.

Embedded Questions and Interrogative Semantics

Analyzes truth conditions and semantic composition of embedded questions within intensional and extensional contexts.

Causality Encoding in Lexical and Grammatical Structure

Examines how causal relations are expressed and interpreted through verb semantics and argument structure.

Plural Logic and Mereological Composition

Develops formal systems for plural quantification and examines relationships between plurality and mereological parts.

Gradable Adjectives and Degree Semantics

Analyzes how gradable predicates establish comparative and absolute scales and measure semantic values.

Information Structure and Semantic Assertion

Investigates how information structural properties determine assertable content and conventional commitments.

Collective Action Verbs and Distributivity

Formalizes semantic distinctions between collective and distributive interpretations of plural subject-predicate combinations.

Comparative Semantics and Relative Clauses

Develops formal analyses of comparative constructions and their interaction with relative clause modification.

Metonymy and Transfer Semantics Mechanisms

Studies how metonymical transfers of meaning operate through semantic coercion and pragmatic enrichment.

Minimal Semantics and Context-Minimal Content

Defends core semantic content largely independent of context and examines limits of contextual modulation.

Opaque Contexts and Non-Substitutional Reference

Analyzes reference failure and non-substitutionality in opaque intensional contexts involving attitudes and necessity.

Iterative Semantics and Nested Quantification

Examines compositional mechanisms for handling multiply-embedded quantifiers and their scope interactions.

Argument Structure and Thematic Role Assignment

Formalizes how verbs assign thematic roles to arguments through semantic and syntactic principles.

Counterfactual Semantics and Similarity Spaces

Develops formal models of counterfactual truth conditions using possible world orderings and similarity metrics.

Epistemic Modality and Evidential Commitment

Investigates how epistemic modal expressions encode speaker knowledge states and evidential justification.

Generic Quantification and Habituality Operators

Formalizes generic and habitual readings through specialized quantifiers and aspect-conditional interpretations.

Lexical Aspect and Verb Class Semantics

Analyzes how verb lexical classes determine aspectual properties and temporal-logical structure.

Speech Act Negation and Illocutionary Force

Examines how negation interacts with speech act force and affects illocutionary content.

Bound Variable Pronouns and Lambda Abstraction

Formalizes bound variable uses of pronouns through lambda-calculus and variable binding mechanisms.

Factive Predicates and Presuppositional Entailment

Investigates semantic properties of factive verbs and their truth-conditional and presuppositional contributions.

Implicit Arguments and Semantic Saturation

Studies how implicit arguments receive semantic values through context and structural accommodation mechanisms.

Attributive Adjectives and Restrictive Modification

Analyzes semantic composition of attributive adjectives and constraints on their intersective and non-intersective readings.

Natural Language Inference and Entailment Calculi

Develops computational systems for recognizing semantic entailment and inferential relationships in natural language.

Definiteness Effects and Existential Quantification

Examines licensing constraints on indefinite and definite determiners in existential and eventive contexts.

Scalar Implicature and Quantity Principles

Investigates how scalar ordering induces pragmatic implicatures and derives informativeness conditions.

Reflexivity and Anaphoric Binding Relations

Formalizes reflexive semantics and examines structural and pragmatic constraints on anaphoric resolution.

Exception Phrases and Semantic Modification

Analyzes how exception and exclusion phrases modify quantifier domains and restrict semantic scope.

Proprietary Concepts and Singular Propositions

Develops theories of singular propositions requiring direct acquaintance with objects rather than descriptive modes.

Bare Plurals and Generic Reference Systems

Studies semantic behavior of bare plural nominals in generic, habitual, and characterizing contexts.

Coordination and Boolean Semantic Operators

Analyzes logical structure of coordinated constituents through Boolean operations and conjunction semantics.

Modification and Predicate Saturation

Examines how modifiers compositionally restrict predicate extensions and affect logical form.

Agentivity and Volitionality in Event Semantics

Formalizes agent-oriented modality and volitionality constraints on event description and action classification.

Exhaustivity and Cleft Sentence Semantics

Investigates exhaustive focus interpretations in cleft constructions and their logical presuppositions.

Performative Contradiction and Self-Refuting Utterances

Examines utterances that pragmatically contradict their propositional content through illocutionary act.

Pragmatic Enrichment and Semantic Underdetermination

Studies how pragmatic reasoning completes semantically underdetermined expressions to generate communicated content.

Relative Scope and Structural Dependencies

Analyzes how syntactic structure determines possible relative scopes of operators in complex logical forms.

Truth-Value Gaps and Semantic Indeterminacy

Investigates sentences that lack determinate truth values and explores logical systems accommodating truth-value gaps as solutions to semantic underdetermination.

Indexicality and Demonstrative Reference

Examines how indexical expressions and demonstratives determine their referents through context-dependent mechanisms and speaker intention.

Logical Form and Syntactic Structure

Analyzes the relationship between surface syntax and underlying logical representation in formal theories of natural language.

Enrichment and Pragmatic Inference

Studies how hearers derive enriched propositional contents beyond literal semantics through pragmatic reasoning and contextual inference.

Conventionality and Linguistic Arbitrariness

Explores the conventional nature of linguistic signs and debates concerning the role of arbitrariness in semantic representation.

Strict Versus Tolerant Logic

Develops logical frameworks distinguishing between strict and tolerant truth conditions to address sorites-like phenomena in natural language.

Grounding Semantics and Fundamentality

Investigates metaphysical grounding relations underlying semantic facts and what makes certain meanings fundamental versus derivative.

Scalar Implicature and Quantity Principle

Analyzes how speakers convey information about scalar terms through implicature derived from linguistic informativeness principles.

Nominalism in Semantics and Logic

Develops semantic and logical theories avoiding commitment to abstract objects while preserving explanatory power for linguistic phenomena.

Fictional Names and Empty Reference

Addresses the semantics and logical behavior of names lacking referents in fictional or impossible scenarios.

Conventional Implicature and Non-Truth-Conditional Content

Explores meaning components that systematically vary with linguistic expressions but do not affect truth conditions.

Pragmatic Competence and Language Understanding

Investigates cognitive mechanisms enabling speakers to interpret utterances in context through pragmatic reasoning and inference.

Relative Clauses and Binding Mechanism

Analyzes logical structure and semantic composition of relative clause constructions within binding theory framework.

Modus Tollens and Conditional Negation

Studies the validity of conditional negation inferences and their linguistic manifestations across different language systems.

Sortal Predicates and Type Theory

Develops type-theoretic approaches to sortal restrictions on predication and semantic typing in formal language analysis.

Deference and Linguistic Authority

Examines how speakers defer to expert usage and community standards in determining reference and meaning of their utterances.

Exhaustivity and Focus Alternatives

Analyzes how focus structure generates alternative interpretations and constrains exhaustive versus non-exhaustive readings.

Implicit Arguments and Argument Structure

Studies semantically significant but phonologically unrealized arguments in predicate structures and their interpretive resolution.

Logical Empiricism and Verification Theory

Revisits logical empiricist approaches to meaning through verification and their contemporary applications in philosophy of language.

Possessive Constructions and Relational Semantics

Analyzes diverse possessive expressions and their compositional semantics across different relational and attributive interpretations.

Quantifier Raising and Covert Movement

Investigates logical form derivation through covert syntactic movement of quantifiers and its semantic consequences.

Restrictive Versus Appositive Relative Clauses

Explores semantic and logical differences between restrictive and appositive modifiers in compositional analysis.

Lexical Ambiguity and Sense Enumeration

Studies the nature and organization of multiple senses per lexical item and methods for determining sense boundaries.

Bare Plurals and Generic Reference

Analyzes logical and semantic properties of bare plural noun phrases in generic and habituality contexts.

Logical Connectives and Natural Language Conjunction

Examines divergences between formal logical connectives and natural language coordinators in semantic composition.

Attributive Versus Referential Uses of Descriptions

Investigates Donnellan''s distinction between attributive and referential uses of definite descriptions and its logical implications.

Embedded Questions and Interrogative Semantics

Studies the compositional semantics of embedded question complements and their integration with matrix predicates.

Epistemic Modals and Knowledge Ascription

Analyzes the semantics and logic of epistemic modal expressions in relation to knowledge reports and certainty.

Null Subjects and Pro-Drop Parameters

Examines semantic interpretation of phonologically null subject pronouns across pro-drop versus non-pro-drop languages.

Adjectival Modification and Predicate Logic

Analyzes compositional semantics of attributive adjectives and constraints on their logical representation in predicate structures.

Metalinguistic Negation and Semantic Rejection

Studies negation operating on linguistic form rather than content and its distinction from standard truth-functional negation.

Presupposition Triggers and Lexical Semantics

Investigates which lexical and structural features systematically trigger presuppositions in natural language expressions.

External Arguments and Thematic Roles

Analyzes the semantics and logical properties of external arguments in event-based compositional frameworks.

Reciprocals and Symmetric Predicates

Studies the logical structure and semantic interpretation of reciprocal constructions across different syntactic configurations.

Exhaustive Versus Inclusive Disjunction

Examines when natural language disjunction receives exhaustive versus inclusive interpretations and the mechanisms driving these readings.

Information Structure and Semantic Binding

Analyzes how information structure components like topic and focus influence semantic binding relations and scope.

Comparative Constructions and Degree Semantics

Studies compositional semantics of comparative and superlative expressions within degree-based logical frameworks.

Evidential Markers and Semantic Commitment

Investigates how evidential expressions modulate semantic commitments and epistemic stance in utterance interpretation.

Metalogic and Self-Referential Language

Develops logical frameworks accommodating self-reference, truth predication, and semantic paradoxes in natural language.

Licensing and Polarity Item Distribution

Studies semantic conditions licensing negative and positive polarity items across diverse syntactic and pragmatic contexts.

Infinitival Complements and Control Structure

Analyzes the semantics and logical form of infinitival complement clauses under control and raising predicates.

Subjectivity and Expressivism in Semantics

Explores expressivist and non-truth-conditional approaches to subjective and evaluative language phenomena.

Reflexive Pronouns and Binding Constraints

Studies the logical and semantic properties of reflexive pronouns under binding theory and universal constraints.

Counterfactual Conditionals and Possible Worlds

Analyzes truth conditions for counterfactual conditionals through possible worlds semantics and similarity metrics.

Nominative-Accusative Alignment and Case Semantics

Investigates semantic roles of morphological case systems in encoding argument structure and thematic relations.

Probabilistic Semantics and Graded Meaning

Develops probabilistic frameworks for representing meaning as graded or weighted rather than discrete values.

Verb Phrase Ellipsis and Structural Identity

Studies mechanisms of VP ellipsis resolution through structural parallelism and semantic licensing conditions.

Constructional Semantics and Idiomaticity

Analyzes non-compositional meaning of constructions and their semantic properties beyond component words.

Definite Reference and Uniqueness Presupposition

Investigates uniqueness and existence conditions in definite description semantics and their logical formalization.

Conceptual Role Semantics and Inference

Develops semantic theories grounding meaning in systematic inference patterns and conceptual role properties.

Truthmaker Semantics and Grounding

Investigation of what makes propositions true and the metaphysical grounding relations between truthmakers and semantic content.

Silencing and Derogatory Language

Analysis of how slurs and derogatory terms silence speakers and undermine communicative agency through formal semantic mechanisms.

Inquisitive Semantics and Question Meaning

Framework treating questions as raising multiple possibilities and examining their logical structure within semantic theory.

Epistemic Adjectives and Gradability

Formal analysis of how epistemic adjectives like probable and uncertain interact with scalar properties and degree semantics.

Semantic Minimalism versus Contextualism

Debate concerning whether semantic meaning is minimally literal content or heavily dependent on contextual enrichment.

Nominalization and Argument Structure

Investigation of how verbal argument structures are preserved or modified in nominalized forms and their semantic consequences.

Faultless Disagreement and Relativism

Analysis of disagreements about taste and aesthetic judgments where both parties appear semantically correct.

Metalinguistic Negation and Semantic Scope

Study of negation operators that target linguistic forms rather than propositional content and their formal representation.

Donkey Anaphora and Dynamic Binding

Analysis of pronouns in sentences like every farmer who owns a donkey beats it within dynamic semantic frameworks.

Lexical Semantics and Conceptual Spaces

Geometric and topological models of word meaning representing semantic relationships through high-dimensional concept spaces.

Conversational Implicature and Mutual Knowledge

Examination of how speakers derive non-explicit meanings through reasoning about shared knowledge and cooperative principles.

Gradable Adjectives and Measurement

Formal semantics of comparative and superlative constructions involving measurement and degree-based truth conditions.

Free Logic and Definite Descriptions

Logical systems allowing non-denoting terms without presupposition failure in analysis of singular reference.

Exhaustivity and Exhaustive Interpretation

Study of how hearers interpret utterances as claiming maximal satisfaction of stated conditions in various contexts.

Embedded Questions and Semantic Selection

Analysis of how matrix verbs select embedded interrogatives and constrain their semantic interpretation and answerhood.

Pragmatic Strengthening and Scalar Items

Investigation of how scalar terms like some and possibly receive stronger meanings through pragmatic enrichment mechanisms.

Generics and Default Reasoning

Formal analysis of generic utterances like ravens are black and their relation to non-monotonic logical inference.

Intensional Transitive Verbs and Opacity

Study of verbs like seek and want that create referentially opaque contexts resisting standard quantificational analysis.

Collective Nouns and Plural Semantics

Formal treatment of collective readings of noun phrases and their interaction with distributive and cumulative quantification.

Presupposition Projection and Plugging

Study of how presuppositions filter up through complex sentences and interact with attitude verbs and negation.

Vagueness and Fuzzy Logic Boundaries

Investigation of borderline cases and gradual truth value transitions in treating vagueness as logical rather than epistemic.

Demonstratives and Contextual Anchoring

Analysis of how demonstrative pronouns like this and that refer through gestural and contextual information in utterance situations.

Accommodation and Presuppositional Pragmatics

Study of how listeners tacitly accept presupposed content to maintain coherent discourse interpretation.

Concealed Questions and Type Shifting

Analysis of noun phrases like the temperature that function semantically as questions despite noun phrase syntax.

Utterance Modulation and Pragmatic Adjustment

Investigation of how speakers modulate meaning in context through prosody, gesture, and discourse positioning.

Binding Theory and Constraint Interaction

Study of syntactic principles governing pronoun and anaphor interpretation and their semantic consequences.

Scalar Implicature and Informativeness

Analysis of how scalars create implicatures through assumption that speakers use the strongest available informativeness level.

Nominative and Accusative Case Semantics

Investigation of how case marking systems correlate with argument structure semantics and thematic role assignment.

Comparative Metalinguistics and Language Variation

Study of how semantic and logical systems vary cross-linguistically and implications for universal semantic principles.

Negation as Failure and Logic Programming

Analysis of non-monotonic negation operators in computational logic systems and their natural language interpretations.

Honorifics and Social Meaning in Language

Formal analysis of honorific systems and their encoding of speaker stance toward referents and social relationships.

Temporal Operators and Event Calculus

Computational approaches to representing temporal relationships and event structures in logical form notation.

Argument Ellipsis and Verb Phrase Omission

Study of how elliptical constructions recover implicit arguments through structural parallelism and discourse context.

Definite Article Semantics Cross-Linguistically

Comparative analysis of definite marking systems and their interpretation as uniqueness, familiarity, or discourse salience.

Lexical Ambiguity and Sense Enumeration

Investigation of how words possess multiple discrete senses and whether discrete or continuous meaning models better capture polysemy.

Biconditionals and Material Equivalence

Analysis of biconditional statements and their role in logical systems compared to natural language equivalence expressions.

Telic and Atelic Aspect Interaction

Study of how telicity distinctions in aspect interact with temporal modifiers and iterative interpretations.

Reported Speech and Semantic Transformation

Analysis of indirect discourse and how semantic content is preserved or modified in speech reports.

Attribution and Referential Success

Investigation of conditions under which speakers successfully refer to objects despite incomplete or mistaken characterizations.

Mereological Sums and Plural Reference

Formal analysis of plural noun phrases and their relationship to mereological composition and set-theoretic aggregation.

Disjunctive Antecedents and Conditional Logic

Study of conditional sentences with disjunctive antecedents and their truth conditions in classical and non-classical logics.

Pragmatic Appropriateness and Felicity Conditions

Analysis of when utterances are pragmatically suitable independent of truth conditions through felicity requirement analysis.

Implicit Arguments and Theta Role Assignment

Investigation of how verbs assign semantic roles to implicit arguments and conditions on their recoverability.

Mass Nouns and Quantification Patterns

Formal semantics of mass terminology and their distinctive quantificational behavior compared to count nouns.

Contrastive Focus and Semantic Licensing

Study of how contrastive focus marks semantic alternatives and constrains interpretation of constructions like clefts.

Belief Attribution and Characterization Problems

Analysis of how to formalize beliefs about objects under multiple descriptions and the problem of opacity in ascriptions.

Adversative Discourse Markers and Contrast

Formal analysis of connectives like but and yet that signal semantic contrast and manage expectation violations.

Reflexive Semantics and Self-Reference

Study of reflexive pronouns and expressions referring back to previously introduced discourse entities through binding mechanisms.

Restrictive Relative Clauses and Semantic Modification

Analysis of how relative clauses restrict the domain of nominal heads and interact with quantificational structures.

Substructural Logic and Resource Semantics

This research category investigates non-standard logical systems that reject structural rules like weakening and contraction, with applications to natural language meaning where linguistic resources are consumed or constrained during interpretation.