BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Hector Freytes

Hector Freytes contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
quant-phmath.LOmath-phmath.MPmath.RAphysics.hist-ph

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2014arXiv

Interpreting the modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics

In this paper we attempt to physically interpret the Modal Kochen- Specker (MKS) theorem. In order to do so, we analyze the features of the possible properties of quantum systems arising from the elements in an orthomodular lattice and distinguish the use of "possibility" in the classical and quantum formalisms. Taking into account the modal and many worlds non-collapse interpretation of the projection postulate, we discuss how the MKS theorem rules the constraints to actualization, and thus, the relation between actual and possible realms.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Quantum mechanics and the interpretation of the orthomodular square of opposition

In this paper we analyze and discuss the historical and philosophical development of the notion of logical possibility focusing on its specific meaning in classical and quantum mechanics. Taking into account the logical structure of quantum theory we continue our discussion regarding the Aristotelian Square of Opposition in orthomodular structures enriched with a monadic quantifier. Finally, we provide an interpretation of the Orthomodular Square of Opposition exposing the fact that classical possibility and quantum possibility behave formally in radically different manners.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The square of opposition in orthomodular logic

In Aristotelian logic, categorical propositions are divided in Universal Affirmative, Universal Negative, Particular Affirmative and Particular Negative. Possible relations between two of the mentioned type of propositions are encoded in the square of opposition. The square expresses the essential properties of monadic first order quantification which, in an algebraic approach, may be represented taking into account monadic Boolean algebras. More precisely, quantifiers are considered as modal operators acting on a Boolean algebra and the square of opposition is represented by relations between certain terms of the language in which the algebraic structure is formulated. This representation is sometimes called the modal square of opposition. Several generalizations of the monadic first order logic can be obtained by changing the underlying Boolean structure by another one giving rise to new possible interpretations of the square.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Entities, Identity and the Formal Structure of Quantum Mechanics

The concept of individuality in quantum mechanics shows radical differences from the one used in classical physics. In particular, it is not possible to consider the fundamental particles described by quantum theory as individual distinguishable objects. In this paper we present arguments in favor of quantum non-individuality, which -in addition to those based on quantum statistics- relate to the Kochen-Specker theorem and the principle of superposition. Then, we analyze the possibility of referring to 'possible individuals' instead of 'actual individuals', and show that the Modal-Kochen-Specker theorem precludes this interpretational move.

0 citations0 reviewsNo code linkedOpen access