Toward an Epistemic-Logical Theory of Categorization
Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to decision-making processes. In the present paper, we introduce a sound and complete epistemic logic of categories and agents' categorical perceptio...
Uložené v:
| Vydané v: | Electronic proceedings in theoretical computer science Ročník 251; číslo Proc. TARK 2017; s. 167 - 186 |
|---|---|
| Hlavní autori: | , , , , , |
| Médium: | Journal Article Konferenčný príspevok.. |
| Jazyk: | English |
| Vydavateľské údaje: |
EPTCS
25.07.2017
Open Publishing Association |
| Predmet: | |
| ISSN: | 2075-2180, 2075-2180 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to decision-making processes. In the present paper, we introduce a sound and complete epistemic logic of categories and agents' categorical perception. The Kripke-style semantics of this logic is given in terms of data structures based on two domains: one domain representing objects (e.g. market products) and one domain representing the features of the objects which are relevant to the agents' decision-making. We use this framework to discuss and propose logic-based formalizations of some core concepts from psychological, sociological, and organizational research in categorization theory. |
|---|---|
| AbstractList | Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to decision-making processes. In the present paper, we introduce a sound and complete epistemic logic of categories and agents' categorical perception. The Kripke-style semantics of this logic is given in terms of data structures based on two domains: one domain representing objects (e.g. market products) and one domain representing the features of the objects which are relevant to the agents' decision-making. We use this framework to discuss and propose logic-based formalizations of some core concepts from psychological, sociological, and organizational research in categorization theory. |
| Author | Conradie, Willem Palmigiano, Alessandra Tzimoulis, Apostolos Frittella, Sabine Wijnberg, Nachoem M. Piazzai, Michele |
| Author_xml | – sequence: 1 givenname: Willem surname: Conradie fullname: Conradie, Willem – sequence: 2 givenname: Sabine surname: Frittella fullname: Frittella, Sabine – sequence: 3 givenname: Alessandra surname: Palmigiano fullname: Palmigiano, Alessandra – sequence: 4 givenname: Michele surname: Piazzai fullname: Piazzai, Michele – sequence: 5 givenname: Apostolos surname: Tzimoulis fullname: Tzimoulis, Apostolos – sequence: 6 givenname: Nachoem M. surname: Wijnberg fullname: Wijnberg, Nachoem M. |
| BackLink | https://hal.science/hal-01509416$$DView record in HAL |
| BookMark | eNptkE9Lw0AQxRdRsNbe_AC5Cqbuv2ySYwnVFgIKxvMyu9ltt6TZsglK_fSmrYKKc5nh8eY3zLtC561vDUI3BE85xfx-_lwVL1OakCmhZ2hEcZrElGT4_Md8iSZdt8FDsZzyXIwQr_w7hDqCNprvXNebrdNx6VdOQxNVa-PDPvI2KqA3Kx_cB_TOt9fowkLTmclXH6PXh3lVLOLy6XFZzMpYM5b0caa0FUSBIUrZGhKjBE1BJHWCsWU0J1YxwYwFYYBDDVxwYTKbEmXqOqWKjdHyxK09bOQuuC2EvfTg5FHwYSUh9E43RuaUUUEzyymtOVEcsLEpTxMGmGsNZmDdnlhraH6hFrNSHjRMEpxzIt7I4KUnrw6-64KxUrv--HkfwDWSYHmIXB4jl0PkktBh6e7P0veVf-2fy0WDbA |
| CitedBy_id | crossref_primary_10_1016_j_ijar_2025_109548 crossref_primary_10_1111_1467_8551_12435 crossref_primary_10_1145_3632526 crossref_primary_10_1145_3733832 crossref_primary_10_1016_j_ins_2020_05_074 crossref_primary_10_1017_S175502031700034X crossref_primary_10_1080_11663081_2024_2336377 crossref_primary_10_3390_logics3030010 crossref_primary_10_1093_adaptation_apy011 |
| Cites_doi | 10.1007/978-3-662-52921-8_10 10.1016/S0168-0072(99)00040-8 10.1007/978-3-662-55386-2_11 10.1007/s11225-006-9008-7 10.15195/v2.a13 10.1002/smj.2591 10.1111/j.1467-9558.2011.01389.x 10.1016/j.scaman.2011.04.001 10.1007/BF00114265 10.15195/v1.a20 10.2168/LMCS-9(4:17)2013 10.1017/CBO9780511809088 10.1146/annurev-soc-021610-092336 10.1093/icc/dtq003 10.4159/harvard.9780674866270 10.5465/amj.2013.0651 10.1086/377518 10.1007/978-3-642-59830-2 10.1086/210178 10.1007/s11747-006-0011-3 10.1016/j.apal.2013.11.004 10.1093/logcom/exu064 10.2189/asqu.51.3.420 10.1177/0011392100048003003 10.1007/978-3-319-06025-5_36 |
| ContentType | Journal Article Conference Proceeding |
| Copyright | licence_http://creativecommons.org/publicdomain/zero |
| Copyright_xml | – notice: licence_http://creativecommons.org/publicdomain/zero |
| DBID | AAYXX CITATION 1XC DOA |
| DOI | 10.4204/EPTCS.251.12 |
| DatabaseName | CrossRef Hyper Article en Ligne (HAL) Directory of Open Access Journals (DOAJ) |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: DOA name: DOAJ Directory of Open Access Journals url: https://www.doaj.org/ sourceTypes: Open Website |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 2075-2180 |
| EndPage | 186 |
| ExternalDocumentID | oai_doaj_org_article_9232628f422d41b4a0ef74753a04ccae oai:HAL:hal-01509416v1 10_4204_EPTCS_251_12 |
| GroupedDBID | 5VS AAYXX ADBBV ALMA_UNASSIGNED_HOLDINGS BCNDV CITATION E3Z GROUPED_DOAJ KQ8 M~E OK1 1XC |
| ID | FETCH-LOGICAL-c335t-8bcf61bae1bbfda5eb627a65d500f3291fb363efa6ea4ada4646e8f71bedd72b3 |
| IEDL.DBID | DOA |
| ISICitedReferencesCount | 20 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000439339700013&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 2075-2180 |
| IngestDate | Fri Oct 03 12:52:47 EDT 2025 Sat Nov 15 06:20:53 EST 2025 Sat Nov 29 02:05:27 EST 2025 Tue Nov 18 21:03:27 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | true |
| Issue | Proc. TARK 2017 |
| Language | English |
| License | licence_http://creativecommons.org/publicdomain/zero/: http://creativecommons.org/publicdomain/zero |
| LinkModel | DirectLink |
| MeetingName | TARK 2017 Sixteenth conference on Theoretical Aspects of Rationality and Knowledge |
| MergedId | FETCHMERGED-LOGICAL-c335t-8bcf61bae1bbfda5eb627a65d500f3291fb363efa6ea4ada4646e8f71bedd72b3 |
| ORCID | 0000-0003-4736-8614 |
| OpenAccessLink | https://doaj.org/article/9232628f422d41b4a0ef74753a04ccae |
| PageCount | 20 |
| ParticipantIDs | doaj_primary_oai_doaj_org_article_9232628f422d41b4a0ef74753a04ccae hal_primary_oai_HAL_hal_01509416v1 crossref_citationtrail_10_4204_EPTCS_251_12 crossref_primary_10_4204_EPTCS_251_12 |
| PublicationCentury | 2000 |
| PublicationDate | 2017-07-25 |
| PublicationDateYYYYMMDD | 2017-07-25 |
| PublicationDate_xml | – month: 07 year: 2017 text: 2017-07-25 day: 25 |
| PublicationDecade | 2010 |
| PublicationTitle | Electronic proceedings in theoretical computer science |
| PublicationYear | 2017 |
| Publisher | EPTCS Open Publishing Association |
| Publisher_xml | – name: EPTCS – name: Open Publishing Association |
| References | Kurz (KP13) 2013 Murphy (MM85) 1999 Davey (DaveyPriestley2002) 2002 Frittella (TrendsXIII) 2014 Negro (NHR10) 2010; 19 Cohen (CL05) 2005 Frittella (FGKP16) 2016; 26 Conradie (CoPa:non-dist) 2016 Ganter (Wille) 1999 Moshier (Moshier) 2016 Fisher (Fi87) 1987; 2 Hsu (H2006) 2006; 51 Rosch (Ro05) 2005 Gehrke (Gehrke) 2006; 84 Smith (SM81) 1981 Pontikes (PH14) 2014; 1 Conradie (CCPZ) 2016 Dunn (DGP05) 2005; 70 Smith (SM02) 2002 Croft (Cr91) 1991 Wijnberg (wijnberg2011classification) 2011; 27 Kovács (KH15) 2015; 2 Lakoff (La99) 1999 Gärdenfors (Ga04) 2004 Kuijken (wijnberg-gap) 2016 Fagin (fagin2003reasoning) 2003 Pontikes (Po12) 2012; 57 Jenkins (Je00) 2000; 48 Conradie (CFPPTW16) 2016 Hannan (Ha10) 2010; 36 Kovács (KH10) 2010 Hsu (hsu2011typecasting) 2011; 29 Paolella (PD16) 2016; 59 Greco (GP:lattice) 2017 Ma (MPS14) 2014; 165 Conradie (CoGhPa14) 2014; 5 Cattani (CPT17) 2017; 38 |
| References_xml | – start-page: 145 volume-title: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings year: 2016 ident: CFPPTW16 article-title: Categories: How I Learned to Stop Worrying and Love Two Sorts doi: 10.1007/978-3-662-52921-8_10 – volume-title: Reasoning about knowledge year: 2003 ident: fagin2003reasoning – volume: 70 start-page: 713 issue: 3 year: 2005 ident: DGP05 article-title: Canonical extensions and relational completeness of some substructural logics publication-title: Journal Symbolic Logic doi: 10.1016/S0168-0072(99)00040-8 – start-page: 153 year: 2017 ident: GP:lattice article-title: Lattice Logic Properly Displayed doi: 10.1007/978-3-662-55386-2_11 – volume: 84 start-page: 241 issue: 2 year: 2006 ident: Gehrke article-title: Generalized kripke frames publication-title: Studia Logica doi: 10.1007/s11225-006-9008-7 – year: 1999 ident: MM85 article-title: The role of theories in conceptual coherence – volume: 2 start-page: 252 year: 2015 ident: KH15 article-title: Conceptual spaces and the consequences of category spanning. publication-title: Sociological science. doi: 10.15195/v2.a13 – volume: 38 start-page: 64 issue: 1 year: 2017 ident: CPT17 article-title: Categories and competition publication-title: Strategic Management Journal doi: 10.1002/smj.2591 – volume: 29 start-page: 97 issue: 2 year: 2011 ident: hsu2011typecasting article-title: Typecasting, Legitimation, and Form Emergence: A Formal Theory publication-title: Sociological Theory doi: 10.1111/j.1467-9558.2011.01389.x – volume: 27 start-page: 297 issue: 3 year: 2011 ident: wijnberg2011classification article-title: Classification systems and selection systems: The risks of radical innovation and category spanning publication-title: Scandinavian Journal of Management doi: 10.1016/j.scaman.2011.04.001 – volume-title: Conceptual spaces: The geometry of thought year: 2004 ident: Ga04 – volume: 2 start-page: 139 issue: 2 year: 1987 ident: Fi87 article-title: Knowledge acquisition via incremental conceptual clustering publication-title: Machine learning doi: 10.1007/BF00114265 – volume: 1 start-page: 311 year: 2014 ident: PH14 article-title: An ecology of social categories. publication-title: Sociological science. doi: 10.15195/v1.a20 – year: 2013 ident: KP13 article-title: Epistemic Updates on Algebras publication-title: Logical Methods in Computer Science doi: 10.2168/LMCS-9(4:17)2013 – volume-title: Syntactic categories and grammatical relations: The cognitive organization of information year: 1991 ident: Cr91 – volume-title: Lattices and Order year: 2002 ident: DaveyPriestley2002 doi: 10.1017/CBO9780511809088 – volume: 36 start-page: 159 year: 2010 ident: Ha10 article-title: Partiality of memberships in categories and audiences publication-title: Annual Review of Sociology doi: 10.1146/annurev-soc-021610-092336 – volume: 19 start-page: 1397 issue: 5 year: 2010 ident: NHR10 article-title: Categorical contrast and audience appeal: Niche width and critical success in winemaking publication-title: Industrial and Corporate Change doi: 10.1093/icc/dtq003 – volume-title: Categories and concepts year: 1981 ident: SM81 doi: 10.4159/harvard.9780674866270 – volume: 59 start-page: 330 issue: 1 year: 2016 ident: PD16 article-title: Category spanning, evaluation, and performance: Revised theory and test on the corporate law market publication-title: Academy of Management Journal doi: 10.5465/amj.2013.0651 – volume-title: Handbook of categorization in cognitive science year: 2005 ident: CL05 – start-page: 277 year: 2002 ident: SM02 article-title: The exemplar view publication-title: Foundations of cognitive psychology: Core readings – volume: 57 start-page: 81 issue: 1 year: 2012 ident: Po12 article-title: Two sides of the same coin: How ambiguous classification affects multiple audiences evaluations publication-title: Administrative Science Quarterly doi: 10.1086/377518 – volume-title: Formal concept analysis - mathematical foundations year: 1999 ident: Wille doi: 10.1007/978-3-642-59830-2 – start-page: 175 volume-title: Categories in markets: Origins and evolution year: 2010 ident: KH10 article-title: The consequences of category spanning depend on contrast doi: 10.1086/210178 – year: 2016 ident: wijnberg-gap article-title: The producer-consumer classification gap and its effects on music festival success doi: 10.1007/s11747-006-0011-3 – year: 2016 ident: Moshier article-title: A Relational category of formal contexts publication-title: in preparation – year: 2016 ident: CCPZ article-title: Constructive canonicity for lattice-based fixed point logics publication-title: Submitted – volume: 165 start-page: 963 issue: 4 year: 2014 ident: MPS14 article-title: Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic publication-title: Annals of Pure and Applied Logic doi: 10.1016/j.apal.2013.11.004 – volume: 26 start-page: 2067 issue: 6 year: 2016 ident: FGKP16 article-title: Multi-type display calculus for propositional dynamic logic publication-title: J. Log. Comput. doi: 10.1093/logcom/exu064 – year: 2016 ident: CoPa:non-dist article-title: Algorithmic correspondence and canonicity for non-distributive logics publication-title: Submitted – start-page: 391 year: 1999 ident: La99 article-title: Cognitive models and prototype theory publication-title: Concepts: Core Readings – volume: 51 start-page: 420 issue: 3 year: 2006 ident: H2006 article-title: Jacks of all trades and masters of none: Audiences' reactions to spanning genres in feature film production publication-title: Administrative Science Quarterly doi: 10.2189/asqu.51.3.420 – start-page: 11 issue: 17 year: 2005 ident: Ro05 article-title: Principles of categorization publication-title: Etnolingwistyka. Problemy jezyka i kultury – volume: 48 start-page: 7 issue: 3 year: 2000 ident: Je00 article-title: Categorization: Identity, social process and epistemology publication-title: Current sociology doi: 10.1177/0011392100048003003 – volume: 5 start-page: 933 volume-title: Johan van Benthem on Logic and Information Dynamics year: 2014 ident: CoGhPa14 article-title: Unified Correspondence doi: 10.1007/978-3-319-06025-5_36 – start-page: 81 volume-title: Trends in Logic XIII year: 2014 ident: TrendsXIII article-title: Multi-type Sequent Calculi |
| SSID | ssj0000392496 |
| Score | 2.2703109 |
| Snippet | Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to... |
| SourceID | doaj hal crossref |
| SourceType | Open Website Open Access Repository Enrichment Source Index Database |
| StartPage | 167 |
| SubjectTerms | Computer Science Logic in Computer Science |
| Title | Toward an Epistemic-Logical Theory of Categorization |
| URI | https://hal.science/hal-01509416 https://doaj.org/article/9232628f422d41b4a0ef74753a04ccae |
| Volume | 251 |
| WOSCitedRecordID | wos000439339700013&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAON databaseName: DOAJ Directory of Open Access Journals customDbUrl: eissn: 2075-2180 dateEnd: 20201231 omitProxy: false ssIdentifier: ssj0000392496 issn: 2075-2180 databaseCode: DOA dateStart: 20090101 isFulltext: true titleUrlDefault: https://www.doaj.org/ providerName: Directory of Open Access Journals – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 2075-2180 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0000392496 issn: 2075-2180 databaseCode: M~E dateStart: 20090101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV07T8MwELZQxcDCG1FeihBMKK1fcZKxVKk6lKoSRepm2YktKkFaldKR387ZSVE7IBaWDNbJju7s-872-TuE7sDpJZYzGtpc85C720MFUyXUNnHxMqwR69n1B_FwmEwm6Wij1JfLCavogSvFtSEAoYJCf5QWnGiusLEQAkdMYQ6jG-d9cZxubKa8D2ZuX-ErywEmhoBjuMp65xTzdjYad59bgOwtQrfwyNP2A8q8rk9VPcr0DtF-HR4Gneq3jtCOKY_Rwbr0QlCvxBPExz7dNVBlkM2dpd6neTio3FhQvbcPZjboOh6I2aJ-a3mKXnrZuNsP6wIIYc5YtAwTnVtBtDJEa1uoyGhBYyWiIsLYMpoSq5lgxiphFFeF4oILk9iYaFMUMdXsDDXKWWnOUZBTbJMEZA3EaIQSFdNcxVyrWGtBFG-ih7UaZF6zg7siFW8SdglOadIrTYLSJKFNdP8jPa9YMX6Re3Qa_ZFxXNa-ASwsawvLvyzcRLdgj60--p2BdG3uuCaFkHJFLv5jpEu0Rx1qY0decYUay8WnuUa7-Wo5_Vjc-BkG36ev7BslrtLa |
| linkProvider | Directory of Open Access Journals |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=proceeding&rft.title=Electronic+proceedings+in+theoretical+computer+science&rft.atitle=Toward+an+Epistemic-Logical+Theory+of+Categorization&rft.au=Conradie%2C+Willem&rft.au=Frittella%2C+Sabine&rft.au=Palmigiano%2C+Alessandra&rft.au=Tzimoulis%2C+Apostolos&rft.date=2017-07-25&rft.pub=EPTCS&rft.issn=2075-2180&rft.eissn=2075-2180&rft.volume=251&rft.spage=167&rft.epage=186&rft_id=info:doi/10.4204%2FEPTCS.251.12&rft.externalDBID=HAS_PDF_LINK&rft.externalDocID=oai%3AHAL%3Ahal-01509416v1 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2075-2180&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2075-2180&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2075-2180&client=summon |