Lo Co Jo M Jo Se S cal Organ mité Orga sé Martínez anuel Garc sé Díez rgi Oms U panish an B Socie y Filos Bar izing Com nizador L ía-Carpinte niv VIII Co Society d Philo arcelon VIII C dad de ofía de celona, 7 mittee (UB ocal (UB) ro ersita nferenc for Log sophy o a, 7-10 J ongreso Lógica, la Cien -10 de j ) / 2015 t de e of the ic, Meth f Scien uly 2015 de la Metodo cia en E ulio de 2 Organizin Comité or Concepció (Presiden Antonio Bl María Caam Maria Cere Valeriano I Inmaculad Francisco S Barc odolog ce logía spaña 015 g Committ ganizador n Martínez t SLMFCE anco (U. C año (U. de zo (U. de M ranzo (U. V a Perdomo alguero (U elona y ee / Vidal , USC) omplutense Valladolid urcia) alència) (U.Laguna) . Sevilla) ) ) T l c u o p c f h Edite José Man José Serg Diseñ Maq ISBN Insti his work is u icense. Any f ommunicatio nder the Crea nly be carried roprietors, sa an access the ollowing link ttp://creative d by / edit Martínez uel GarcíaDíez i Oms o de cubie uetación: O : 978-84-6 tuciones pa nder a Creativ orm of reprod n or transform tive Common out with the ve where othe full text of th : commons.org ado por: Carpintero rta: Cristin scar Caba 06-9303-1 trocinado e Commons uction, distrib ation of this s BY-NC-SA express autho rwise provid e license by c /licenses/by-n a Zafra co ras BY-NC-SA 3 ution, public work not incl 3.0 license c rization of th ed by the law licking on the c-sa/3.0/ Website: .0 uded an e . You Esta BY-N distri esta o Creat realiz excep comp http:/ sa/3.0 www.ub.ed obra se encue C-SA 3.0. C bución, comu bra no inclui ive Common ada con la au ción prevista leto de la lice /creativecomm /es/legalcode u/slmfce8 ntra bajo una ualquier form nicación públ da en la licenc s BY-NC-SA torización exp por la ley. Pu ncia haciendo ons.org/lice .es licencia Crea a de reproduc ica o transfor ia 3.0 solo pued resa de los ti ede acceder V clic en este nses/by-nctive Common ción, mación de e ser tulares, salvo d. al texto enlace: s ÍNDICE Sección A – Lógica, historia y filosofía de la lógica Bertran-San Millán, Joan Lógica como lingua characterica y lógica como calculus ratiocinator: La polémica entre Frege y Schröder ........................................................................................................... 2 Carrara, Massimiliano; Chiffi, Daniele; De Florio, Ciro On Pragmatic Denial .................................................................................................................................. 6 Cobreros, Pablo Divine foreknowledge, time and tense ....................................................................................................... 14 Feldbacher, Christian J. A Conventional Foundation of Logic ......................................................................................................... 18 Frigerio, Aldo; De Florio, Ciro A model for Ockhamism ............................................................................................................................ 21 Gómez-Torrente, Mario Number and Essence .................................................................................................................................. 23 Grimau, Berta Boolos' Defence of Plural Logic ................................................................................................................ 25 Guallart, Nino Semántica topológica de sistemas lógicos proposicionales y teorías de tipos .................................................................................................. 30 Guallart, Nino; Nepomuceno, Ángel Sobre Constructivismo y Lógica Epistémica Dinámica ............................................................................. 35 Hernández Ortiz, Héctor Primer sistema natural de deducción natural .............................................................................................. 40 Hernández Ortiz, Héctor; Peralta del Riego, Victor Manuel El signifcado de "solo si" en una expresión del lenguaje ordinario ........................................................... 45 Iacona, Andrea (University of Turin) On the puzzle of the changing past ............................................................................................................ 49 Martínez, Silvia La argumentación irónica visual ................................................................................................................ 51 Sagüillo, José M. Category mistakes revisited: Comments on Ofra Magidor's presuppositional account............................................................................ 55 Sarrión Morillo, Enrique Nuevas modelizaciones formales de la abducci on y sus aplicaciones ...................................................... 57 Sforza Fogliani, Maria Paola What the tortoise did not say to Achilles ................................................................................................... 65 Terrés Villalonga, Pilar Intensional connectives and relevant logic: a case for logical pluralism ................................................... 68 Sección B – Filosofía del lenguaje Blanco Salgueiro, Antonio (Universidad Complutense) ¿Es tan cognitiva la teoría "cognitiva" de la metáfora? .............................................................................. 72 Bordonaba, David (University of Granada) From content disagreement to normative disagreement ............................................................................. 78 Campdelacreu, Marta (UB) Sutton's Solution to the Grounding Problem and Intrinsically Composed Colocated Objects; In Search of a Complete Solution ............................................................................................................... 83 Corredor, Cristina (Universidad de Valladolid) The limits to freedom of expression: arguments in the public sphere ........................................................ 85 Diaz-Leon, Esa (UB) Pejorative Terms and the Semantic Strategy .............................................................................................. 87 Eisenthal, Joshua (University of Pittsburgh) Wittgenstein's So-Called Logical Atomism ............................................................................................... 89 Escalonilla, Alicia (Universidad Complutense) La Recursión como tercer salto funcional en la evolución del lenguaje .................................................... 94 Fadeeva, Yuliya (Duisburg-Essen University) Is a radical form of conceptual incommensurability defeasible? A defense of Donald Davidson. ............ 97 Fernández Moreno, Luis (Universidad Complutense de Madrid) Some "Other Words": The Putnam Case .................................................................................................... 99 Fernández Soutullo, Ainoha (USC) Kripke contra la teoría de la identidad: una explicación alternativa a la apariencia de contingencia ........ 104 Frapolli, Maria Jose (University of Granada) Villanueva, Alberto Neftalí (University of Granada) Put context first. Expressivism and context-dependence ........................................................................... 109 García, Patricia (Universidad Complutense de Madrid) Acto de habla total en la situación de habla total: dimensión deóntica ...................................................... 113 Geirsson, Heimir (ISU) Empty Names: An Error Theoretic Account .............................................................................................. 120 Hernández-Conde, José V. (University of the Basque Country) Characterization of Antonyms in Conceptual Spaces ................................................................................ 125 Jobczyk, Krystian (Universite de Caen, LMU, MCMP) Towards a new interpretation of the model-theoretic argument. Reply to Bays and Garcia-Carpintero ........................................................................................................ 131 Macià, Josep (UB) Presupposition and beliefs .......................................................................................................................... 138 Marques, Teresa (UPF) Character and Content in Hybrid Expressivism ......................................................................................... 141 Moldovan, Andrei (UB) Quantifier Domain Restriction: the limiting case ....................................................................................... 144 Pérez Otero, Manuel (UB) Hacia una reinterpretación del concepto de proposición singular .............................................................. 147 Picazo Jaque, Claudia (UB) Una aproximación al contenido .................................................................................................................. 151 Soria Ruiz, Andres (NYU) Gibbardian Standoffs Under New Light .................................................................................................... 155 Vicario, Ignacio (UAM) Nombres propios y creencias singulares .................................................................................................... 158 Viejo, José Manuel (UAM) El rompecabezas de la atribución de creencias y la teoría del deíctico oculto ........................................... 163 Viñuela, Pedro (UNIR) The Quine/Putnam indispensability argument and some of its fictionalist critics ..................................... 170 Zeman, Dan (University of theBasque Country) Contextualism about Predicates of Taste and Disagreement in Attitude ................................................... 174 Sección C – Filosofía de la mente y epistemología Andrada de Gregorio, Gloria (UAM) Which Self for the Extended Mind Theory ................................................................................................ 179 Artiga, Marc (MCMP, Ludwig-Maximilians-Universität München) A Naturalistic Theory of Perceptual Content ............................................................................................. 183 Fernandez, Victor (Universidad de Granada) The Normative Dimension of Folk Psychology ......................................................................................... 186 Fernández-Prat, Olga (UAB) La paradoja de la consciencia pura ............................................................................................................. 191 Ferrando, Balbina (Universitat de València) Certezas y creencias. Wittgenstein y Ortega .............................................................................................. 195 Ferrer de Luna, José (Universidad de Granada) De Pinedo-García, Manuel (Universidad de Granada) Dos tipos de segunda persona interiorizada ............................................................................................... 199 Garcia Rodriguez, Angel (University of Murcia) ¿Tenemos acceso perceptivo a los estados mentales ajenos? ..................................................................... 204 Garcia-Campos, Jonatan (ICS-UJED) Repensando la epistemología naturalizada fundada en la psicología cognitiva ......................................... 209 Gonzalez de Prado Salas, Javier (UNED) Making right decisions with partial evidence: the contrast between epistemic and practical permissions ......................................................................... 213 Gutiérrez Echegoyen, Pablo Ernesto (UAB) Connections between consciousness and attention: On Campbell's distinction between selection and access regarding attention ............................................ 217 Heras Escribano, Manuel (Universidad de Granada) Perceiving particulars. Travis and McDowell on the content of experience .............................................. 221 Isern Mas, Carme (Universitat de les Illes Balears) An Attempt to Understand the Relation between Emotional Contagion and Motor .................................. 225 Jorba, Marta (UdG) Intentional horizon and holistic cognitive experiences .............................................................................. 230 López Campillo, Jesús (Universidad de Murcia) La transparencia de la creencia y la paradoja de Moore ............................................................................ 232 Ortega Andrés, Marina (Universidad de Granada) La influencia de la lengua en el pensamiento: Las tesis del neowhorfismo ............................................... 236 Quesada, Daniel (UAB) That Elusive Sense of the Passing of Time in Perceptual Experience ....................................................... 241 Sambrotta, Mirco (Universidad de Granada) Boundaries, Vagueness and Quantification. Toward a Theory of the Common-Sense World .................. 246 Serrahima, Carlota (UB) Body ownership and nonconceptual self-consciousness ............................................................................ 251 Toribio, Josefa (ICREA, UB) Visual experience: rich but impenetrable? ................................................................................................. 255 Vaaja, Tero (University of Jyväskylä) Wittgensteinian Criteria and Embodiment of the Inner ............................................................................. 257 Sección D – Filosofía y metodología de la ciencia Boyd, Nora (University of Pittsburgh) Are Astrophysical Models Permanently Underdetermined? ...................................................................... 261 Caamaño, María (Universidad de Valladolid) Avances y dificultades en el control de los efectos marco ......................................................................... 266 Castro, Eduardo (University of Beira Interior) On Induction: a Defence of Necessitarianism ............................................................................................ 271 Deulofeu, Roger (UB); Suárez, Javier (UB) On the explanatory character of Margulis' theory of the origin of eukaryotic cells .................................. 276 Guerrero, German (Universidad del Valle) La observabilidad: realismo y empirismo .................................................................................................. 281 Gutiérrez Simón, Rodolfo (Universidad Complutense de Madrid) Sobre la concepción dinámica de la ciencia: el paralelismo entre Ortega y Kuhn ..................................... 285 Luque, Víctor (Universitat de València) The principle of stasis: why drift is not a zero-force law ........................................................................... 289 Martínez-Contreras, Jorge (Universidad Autónoma Metropolitana-Iztapalapa) Buffon. Primates no humanos y hotentotes. Reflexiones transformistas sobre la naturaleza humana y su posible impacto en la filosofía .................... 294 Penchev, Vasil (Bulgarian Academy of Sciences) God's Dice .................................................................................................................................................. 297 Saborido, Cristian (UNED) The artifactual analogy, the origins of normativity and the Wayne principle ............................................ 304 Serna, Edgar (UNAM) ¿Puede satisfacerse la exigencia de imparcialidad durante el cambio de las teorías científicas en lo que Duhem denominó bon sens? .................................................................... 307 Solé, Albert (UB) Is the wave function abstract? .................................................................................................................... 310 Suárez, Javier (UB) Why should symbiosis matter to philosophers of biology? ........................................................................ 315 Tejeda, Eduardo (UNAM) La racionalidad del modelo kuhniano, una propuesta con dimensión hermenéutica ................................. 319 Vega, Jesús (UAM) Epistemología de estándares: marcos normativos y conocimiento empírico ............................................. 324 Sección E – Historia de la ciencia Almazan, Samuel (UNAM) Hacia una medicina cientifica: la capacitacion de los medicos mexicanos en el extranjero, durante el porfiriato (1879-1910) ................. 330 Berman, Scott (Saint Louis University) Plato's Philosophy of Science ..................................................................................................................... 332 García, Salvador (ULL) La oposición a la incorporación de las mujeres a la medicina en la prensa médica española del siglo XIX ............................................................................................... 334 Lanza, Henar (Universidad del Atlántico) Heisenberg y las causas del fracaso del proyecto alemán de construcción de la bomba atómica .............. 339 López, Armando (UNED) Pitagorismo, geometría y evolucionismo en la obra de Arturo Soria ......................................................... 344 Mayo, David (UAB) Especulaciones metafísicas, criterios de demarcación y cambios epistemológicos en la cosmología física del siglo XXI: implicaciones filosóficas en los desarrollos de la hipótesis cosmológica del multiverso ................................................................................................ 348 Muñoz, Areli (UNAM) Aculturación en la Nueva España. El caso de la medicina a través del Códice de la Cruz-Badiano ......... 355 Pitts, J. Brian (University of Cambridge) Einstein, Particle Physics, Kant and Schlick .............................................................................................. 357 Sección F – Ciencia, tecnología y sociedad Colletti, Leonardo (Università degli Studi di Trento) Science concepts as semantic-increment generators .................................................................................. 360 Luján, José Luis (University of the Balearic Islands); Todt, Oliver (University of the Balearic Islands); Bengoetxea, Juan Bautista (University of the Balearic Islands). Estándares de prueba y pluralismo metodológico. Un análisis comparativo de la evaluación de riesgos y la evaluación de beneficios ....................................... 362 Núñez Castro, Andrés Manuel (Universidad de La Laguna) La participación del público en nanotecnología: una propuesta pragmatista ............................................. 365 Yarza, Miguel (UPCO) La conducta humana y la matemática ........................................................................................................ 370 Simposios Simposio – A crisis of confidence in the experimental social and biomedical sciences? Jiménez-Buedo, María (UNED) The Umpteenth Dictator Game: Replication in Experimental Economics and the Replicability Crisis .... 376 Simposio – The Explanatory Indispensability of Abstract Objects de Donato, Xavier (USC) Presentación del simposio .......................................................................................................................... 379 Martínez-Vidal, Concha (Universidad de Santiago de Compostela) A first step towards extending the enhanced explanatory argument .......................................................... 381 Vilanova Arias, Javier (Universidad Complutense de Madrid) Entidades Abstractas sin Platonismo: los números como entidades institucionales .................................. 383 de Donato, Xavier (University of Santiago de Compostela) Falguera, José L. (University of Santiago de Compostela) Indispensability of Abstract Objects for the Semantic Assessment of Scientific and Metascientific Sentences ................................................................................................. 386 Rivas Monroy, Ma Uxía (Universidad de Santiago de Compostela) La indispensabilidad explicativa: ¿una buena razón para creer en los pensamientos fregeanos? .................................................................... 391 M. Verdejo, Víctor (University College London) Individuating Public Propositions .............................................................................................................. 396 Simposio – The metaphsysics and epistemology of abstract objects Sagüillo, José M. (USC) Presentación del simposio .......................................................................................................................... 400 Travis, Charles (University of Porto) The thought, primus inter pares .................................................................................................................. 401 Plebani, Matteo (Basilicata University) The conception of numbers as preconceived objects ................................................................................. 402 Miguens, Sofia (University of Porto) Why fictional entities need to be concrete ................................................................................................. 407 Sagüillo, José M. (University of Santiago de Compostela) Are there things we cannot know? ............................................................................................................. 408 Simposio – Antiguos problemas y nuevos desafíos en teoría de la argumentación I Antiguos problemas Alcolea, Jesús (Universidad de Valencia) Del uso de la lógica en la argumentación ................................................................................................... 411 Migura, Fernando (UPV) Después de todo, los experimentos mentales quizás no sean sino argumentos pintorescos y experimentos mentales en ciencia y filosofía ............................................................................................. 416 Gascón, José A. (UNED) Argumentar como argumentaría un argumentador virtuoso....................................................................... 419 Vega, Luis (UNED) El alumbramiento y los primeros pasos de la moderna teoría de la argumentación ................................... 420 Simposio – Antiguos problemas y nuevos desafíos en teoría de la argumentación. II Nuevos desafíos Roldán Corrales, Jaime (Universidad de Salamanca) Variedades de la metaargumentación ......................................................................................................... 422 Marraud, Huberto (UAM) Usos y abusos de la metaargumentación .................................................................................................... 429 Olmos, Paula (UAM) Estrategias metaargumentativas en el discurso deliberativo: Retórica 1360b05-1365b21 ........................ 435 Álvarez, J. Francisco (UNED) La argumentación y los debates digitales al estilo Oxford ......................................................................... 441 Alonso, Enrique (UAM) Argumentos y disputas Twitter en los procesos electorales ....................................................................... 444 Simposio – Cultura científica González García, Marta I. (Universidad de Oviedo) Presentación del simposio .......................................................................................................................... 449 López Cerezo, José A. (Universidad de Oviedo) González García, Marta I. (Universidad de Oviedo) Fernández Jimeno, Natalia (Universidad de Oviedo) Las dimensiones de la cultura científica y el valor de la crítica ................................................................. 450 Díaz, Irene (Universidad de Oviedo) Laspra, Belén (Universidad de Oviedo) Una cultura científica para el 'engagement' ............................................................................................... 452 Muñoz van den Eynde, Ana Lopera Pareja, Emilia H. (Unidad de Investigación en Cultura Científica, CIEMAT) Una pica en Flandes. Percepción, interés, conocimiento y actitudes sobre ciencia (Encuesta PICA) ................................................................................................. 453 Gómez González, Fco. Javier (Universidad de Valladolid) Aleixandre Mendizabal, Guillermo (Universidad de Valladolid) Cáceres Gómez, Santiago (Universidad de Valladolid) Cultura científica y culturas profesionales. La cultura del alumnado de ingeniería en el contexto de la universidad española ..................................... 455 Barrio Alonso, Cipriano (Universidad de Oviedo); García Rodríguez, Myriam (Centro REDES, Buenos Aires) La cultura científica en la red ..................................................................................................................... 457 Simposio – Imágenes y narrativas en la tecnociencia contemporánea Santesmases, María Jesús (Instituto de Filosofía, CSIC) Cuerpos de mujer en el origen de la genética medica ................................................................................ 461 Velasco, Marta (Instituto de Filosofía, CSIC) María Monclús y geografías de Drosophila en España .............................................................................. 466 García Dauder, S. (Universidad Rey Juan Carlos de Madrid) ¿Hacia un paradigma psicosocial? Saberes expertos, participación y activismo sanitario en intersexualidades/DSD ..................................... 471 Romero de Pablos, Ana (Instituto de Filosofía, CCHS, CSIC) Mujeres e investigación militar: Piedad de la Cierva y el Laboratorio y Taller del Estado Mayor de la Armada ........................................ 476 Pérez Sedeño, Eulalia (Instituto de Filosofía, CSIC) Gobernanza y producción de conocimiento en comunidades virtuales: El caso de personas que ............. 480 Ortega Arjonilla, Esther (proyecto VIVERTEC) Cuidados, activistas, políticos y mercados en la gobernanza de la salud trans* ........................................ 485 God's dice Penchev, Vasil (Bulgarian Academy of Sciences) Introduction Prehistory : Einstein wrote his famous sentences in a letter to Max Born dated "16 December 1926": Die Quantenmechanik ist sehr achtunggebietend. Aber eine innere Stimme sagt mir, dass das noch nicht der wahre Jakob ist. Die Theorie liefert viel, aber dem Geheimnis des Alten bringt sie uns kaum näher. Jedenfalls bin ich überzeugt, dass der nicht würfelt1 (Einstein 1926). They synthesize Einstein's resistance to quantum mechanics in a few phrases. Nevertheless, all experiments have confirmed that quantum mechanics is neither wrong nor "incomplete"2 (Bell 1964; Clauser and Horne 1974; Aspect, Grangier, and Roger 1981; 1982). Quantum mechanics is true: "the truth and the whole truth". One can says that God does play dice with the universe. However, these phrases of Einstein have generated nowadays a new scientific area3, "quantum dicelogy", said not too seriously. It might feature as an interdisciplinary field between probability theory, quantum mechanics, information theory, ontology, epistemology, and even theology. It would include history and philosophy of science as well as popular representations of quantum mechanics and Einstein's polemic with it. However, almost all publications consider the image of those "dice" as a metaphor for quantum indeterminism and related topics. On the contrary, the present discussion considers literally like what they should look from a properly scientific viewpoint. The origin of that idea can be traced even still to the Sixth Problem of Hilbert (1900): Durch die Untersuchungen über die Grundlagen der Geometrie wird uns die Aufgabe nahegelegt, nach diesem Vorbilde diejenigen physikalischen Disciplinen axiomatisch zu behandeln, in denen schon heute die Mathematik eine hervorragende Rolle spielt; dies sind in erster Linie die Wahrscheinlichkeitsrechnung und die Mechanik4. It has been very often considered as a problem, which is not properly mathematical unlike the rest 22 ones. One can stress the prophetic gift of Hilbert as he unifies probability theory, mechanics5, on the one hand, and on the other hand, geometry and mathematics in an axiomatic and deductive way in the entire context of his Sixth Problem. Indeed their unification would show that mechanics (and 1"Quantum mechanics is very worthy of respect. But an inner voice tells me that that's not the real McCoy. The theory says a lot, but brings us hardly closer to the secret of the Old. Anyway, I am convinced that he does not play dice." 2The alleged "incompleteness" of quantum mechanics is the subject and title of the so-called EPR article (Einstein, Podolsky, and Rosen 1935). In fact, the three authors forecast theoretically the phenomena of entanglement, however, in a way of "reductio ad absurdum": The suggested completeness of quantum mechanics implies those phenomena, and as ostensibly they were nonsense, it should be "incomplete". Schrödinger (1935) forecast independently them under the name of "verschränkte Zustände" without the label of "absurd". 3Chamberlain 1987; Ponomarev 1993; de la Peña and Cetto 1996; Koperski 2000; Saunders 2000; Stewart 2002; Third International Workshop Dice 2006; Floit 2007; Breshears 2008; Shiang 2008; Montwill and Breslin 2012; Bianchi 2013; Clegg 2014; Halpern 2015; and many, many others. There are conferences and PhD theses about those "dice" as well. 4"The investigations on the foundations of geometry suggest the problem: To treat in the same manner, by means of axioms, those physical sciences in which mathematics plays an important part; in the first rank are the theory of probabilities and mechanics" (Hilbert 1902: 454). 5Quantum mechanics was to be outlined in decades later than 1900 when Hilbert declared his 23 Problems. 297 Penchev, Vasil by its meditation both physics and natural science) and mathematics would link to each other very closely and thus passing into each other gradually and continuously without any gap of dualism: Still since the age of Galileo and Newton, physics has been described by mathematically formulated laws. However the cause for this was possible remained mysterious and metaphorically explained as the sentence: "Mathematics is the language of nature". The problem: Let quantum mechanics be granted as the rules generalizing all results of playing some imaginary God's dice. If that is the case, one can ask how God's dice should look like. This means the following in mathematical and physical terms: If all possible experimental results on a single quantum system can be represented by its wave function, which in turn is some point in Hilbert space, what is the elementary choice determining any single result unambiguously? In other words, what is the elementary event if the space of all events consists of all possible experimental results, which can be obtained for that system, in the sense of probability theory and Kolmogorov's axioms (1933)? One can visualize the problem by usual dice: any roll of the dice is both an elementary event and choice between six equally probable alternatives usually designated by 1, 2, 3, 4, 5, and 6. How many of different symbols would necessary be for "each side" of God's dice? The thesis: God's dice is a qubit6. This means that the solving of the problem is the normed superposition of two subspaces of the complex Hilbert space called a quantum bit (or qubit). A qubit = α|0〉+β|1〉, where α ,β are two complex numbers so that |α|2+ |β|2 = 1, and |0〉,|1〉 are two different subspaces of the complex Hilbert space. If one utilizes the above analogy, God's dice needs an infinite set of different symbols for all sides of it. I. A sketch of the proof of the thesis: Any point of Hilbert space (i.e. any wave function) can be represented an infinite series of qubit: that is an infinite series of "God's rolls" of those dice having an infinite number of sides. Indeed any point in the complex Hilbert space is a vector: C1, C2, C3, . . . , Cn, C(n+1), . . . , where "n" is a positive integer; and Cn is a complex number. One can construct an equivalent series of qubits: Q1, Q2, C3, . . . , Qn, Q(n+1), . . . , where "n" is a positive integer, and Qn is a qubit, if αn, βn for Qn are determined as follows: αn = Cn + √ |Cn|2 + |Cn+1|2 ;βi = Cn+1 + √ |Cn|2 + |Cn+1|2 if Cn, Cn+1are not both 0; αn = 0;βn = 0 if Cn, Cn+1 are both 0, as a convention. The convention is chosen meaning the consideration in Section V. Furthermore,|0〉n = einω, and |1〉 = e(i(n+1)ω), where i is the imaginary unit, and ω is angular frequency corresponding to the unit distance between two "axes" in the complex Hilbert space. Consequently any vector of n+ 1 complex numbers is equivalent to a series of n qubits: that is a series of n "rolls" of God's dice. If n+ 1 =∞, n =∞, too. The "rolls" are independent of each other for any two qubits constructed as above are orthogonal to each other. One can easily check out that Kolmogorov's axioms (1933: 2, 13) for probability are satisfied: 1. All sets of rolls constitute algebra of sets =. 2. That algebra of sets = includes the set E of all rolls. 6Nonetheless that qubit is a single one, one should use "dice" (plural) rather than a "die" (singular) for any qubit means two independent choices and thus a pair of dice. Each of the orthogonal subspaces, |0〉 and |1〉, can be interpreted as a single die of that pair of dice, and the complex numbers α and β as the symbols (numerals), which are "fallen" in a given roll of God's dice. This more accurate definition is fundamentally important as Section V will elucidate. 298 Penchev, Vasil 3. and 4. |αn|2 is a real number, which is less or equal to 1, and thus it can be interpreted as the probability associable with the event for the n roll to be Qn. Then, |βn|2 would be interpretable as the probability that Qn does not occur, and |αn|2 + |βn|2 = 1. This is a trivial corollary from the so-called Born (1926) rule for the squire of the module of wave function to be interpreted as the probability of measuring or observing the events, to which this wave function refers. 4. The probability of all rolls P(E) is 1 for the wave function is normed: Ψ.Ψ∗ = 1. 5. Indeed P(A+B)=P(A)+P(B) as all rolls are independent of each other because any two qibits in the above representation of wave function are orthogonal to each other. 6. The axiom of continuity is implied by the continuity of wave function. The sixth axiom of Kolmogorov is necessary since the space of events (rolls) as well as the set E and algebra = are infinite. Not being infinite, Kolmogorov demonstrated that Axiom 6 is a conclusion from the axioms 1–5 (1933: 13-14). The axiom 5 and 6 as to any infinite space of events can be unified and represented as an interpretation of Kolmogorov's theorem (1933: 14): The probability of any countable union of rolls is the sum of the probabilities corresponding to each roll for the rolls are always independent of each other. II. Gleason's theorem (1957) and the thesis: However, a qubit falls just into the exception of two dimensions in Gleason's theorem not allowing of unambiguously defining the probability of any linear subspace of a qubit. Particularly, this means that the probability of a single qubit being considered as a subspace of itself cannot be unambiguously defined. If there are at least two rolls equivalent to two different qubits, Gleason's theorems states the existence of a single probability associable with any linear subspace. This seems to be a paradox, but can be interpreted as follows: The space consisting only of any single elementary event does not satisfy Kolmogorov's axioms in fact: It does not define any measure or probability assignable to that event equivalent to the space unambiguously. A second event (choice) is necessary in order to define unambiguously the measure of the former, single one. Indeed its probability is always identical to 1, but this cannot determine any corresponding measure μ0 unambiguously since μe μs = μ0μ0 = 1 for any μ0.Here μe, μs = μ0 are the measures of both event and space. One might object that the single roll of the real dice is unambiguously defined, but there is in fact another event (choice) to be chosen the given dice having six sides (alternatives). In general, the dice can have any number of "sides" and any geometrical form including some irregular shape so that the alternatives ("sides") not to be equally probable. If the number of the "sides" of the dice converges to infinity, the shape will converge to the surface of a ball, i.e. a sphere, and the dice itself to a qubit. Indeed the qubit defined as usual is isomorphic to a unit ball, within which two points are chosen: the one within the ball corresponding to the one coefficient (whether α or β), and the other on its surface corresponding to both α and β. Furthermore the choice among two continua is equivalent to that among a single one because any continuum is an infinite set. Thus the shape of God's dice is that of a unit ball, a qubit. Consequently, the exception for two dimensions in Gleason's theorem is a necessary condition for any qubit to be considered as an elementary event and thus as the result rolling God's dice. III. God's die, Gleason's theorem and an idea for a short proof of Fermat's last theorem Fermat's marginal is one of the most famous notes ever written: Cubum autem in duos cubos, aut quadrato-quadratum in duos quadrato-quadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est 299 Penchev, Vasil dividere cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet7 (Nagel 1951: 252). Andrew Wiles (1995) managed to prove that theorem however on more than one hundred journal pages still recently and utilizing many of the last achievements of mathematics. Fermat's marginal continues to call for a short proof using only that mathematics known until his time. Of course, a problem is whether Gleason theorem's can be at all represented in notions and theorems of XVII century's mathematics. Nevertheless, it seems to suggest a rather shorter way for Fermat's theorem to be proved: 1. Any three Pythagorean numbers x,y,z (consequently, any Pythagorean prime z ) implies a different measure. As they are an infinite set, they imply a corresponding infinite set of different finite measures. 2. Any three real numbers, not being Pythagorean numbers but satisfying the equation in the Pythagorean theorem, share one single common measure for it is necessarily infinitesimal, and any continua are of an equal power. 3. Consequently, the dimensions of one and two (n = 1, 2), which are under the exception of Gleason's theorem, allow of an infinite set of measures necessary for the equation xn + yn = zn to be able to be satisfied for some triples of natural numbers x,y,z. 4. Furthermore, Gleason's theorem excludes the existence of more than one single measure for any other number of dimensions (n¿2) and thus it does not allow of xn + yn = zn to hold for any triple of natural numbers x,y,z. The admissible one single measure is necessarily the infinitesimal one. 5. The utilized concept of measure should be much closer to the Pythagorean one implicitly suggested in the shocked the Pythagoreans incommensurability of the hypotenuse and cathetus of almost all right triangles rather than to the contemporary too generalized notion of measure: It should suggest an equal number of steps of a procedure for any two commeasurable lengths (or any quantities). If the number of steps is different for the shortest possible procedures, the corresponding measure should be accepted as different. However if the number of necessary steps is infinite, the corresponding measure should be accepted as one and the same. 6. What remains to be proved is that concept of measure in Gleason's theorem is relevant and consistent to the above Pythagorean kind of measure. However that problem turns out to be rather philosophical than mathematical: Whether a space of events is one and the same where it is standalone as a set and where it is a subset of another. It seems that neither Gleason touches that question nor it in turn refers to his proof in any way8. If no, Gleason's theorem seems to imply the above Pythagorean concept of measure, and if yes, it does not. If the former is the case, the fundamental and inherent uncertainty of God's dice having infinite number of sides is intimately linked and perhaps even equivalent to Fermat's last theorem. However one needs an additional axiom that is the case. 7"It is impossible for a cube to be the sum of two cubes, a fourth power to be the sum of two fourth powers, or in general for any number that is a power greater than the second to be the sum of two like powers. I have discovered a truly marvelous demonstration of this proposition that this margin is too narrow to contain." The translation in English is according to http://mathworld.wolfram.com/FermatsLastTheorem.html (accessed at 21.05.2015). 8The definition of measure used by him is: "A measure on the closed subspaces means a function μ, which assigns to every closed subspace a nonnegative real number such that if {Ai} is a countable collection of mutually orthogonal subspaces having closed linear span B, then μ(B) = ∑ μ(Ai)" (Gleason 1957: 885). Whether B is a space or a subspace is not discussed and does not touch the proof. 300 Penchev, Vasil IV. Interpretation of the thesis Gleason's theorem cannot define any sufficient condition and thus both necessary and sufficient condition for God's dice to be namely a qubit since any exception for the Hilbert space on any field satisfies the necessary condition. Consequently, a second reflection is necessary to elucidate the meaning for the Hilbert space of quantum mechanics to be just the complex one. God's dice need a second dimension, different from the real one of probability, in order to be able to determine unambiguously not only the probability but furthermore the energy corresponding to a certain kind of relation between two probabilities by the meditation of the fundamental Planck constant. The one of those probabilities is given by the value in the first dimension, the "real" one. That certain kind of relation between two probabilities, the given pg and some other, po is not reflexive, neither symmetric nor antisymmetric, if the relation is that in the quantity of information (mutual entropy) define as usual (i.e. in Boltzmann – Gibbs – Shannon) po ln(p?g)6=pg ln(p?o). The probability po can be interpreted differently, e.g. by means of pg − po or |pg − po|, as the change of probability, particularly as the derivative of probability if pg → po, i.e. pg converges to po. Thus the probability po can be understood as a limit or as an ideal image of pg in some other ordering or in the ideal ordering distinguishable from the real one. Having got the dimension of information, po ln(p?g) cannot be less than a bit, and one bit as a physical limit corresponds to ratio of the Planck constant per a unit of time and thus to an exactly specified amount of energy (a very, very small amount in relation to the macroscopic physical quantities). All this calls an analogy between two Einstein's famous formulas (1905), E = mc2, and E = hf : E = hI . Here I means not directly information, but the change of information per a unit of time, or the derivative of information to time. It can be interpreted physically as the frequency of the associated de Broglie (1925) wave specifying any quantum system and corresponding to its mass, which is obvious if one juxtaposes both Einstein's formulas above. This means that the physical quantity of mass corresponds to the flux of information passing through the present (i.e. per a unit of time). V. God's dice (a Qubit) as a law of conservation and transformation A qubit as one is to wait for God's dice possesses many symmetries being as symmetric as possible at all. Any symmetry of them corresponds to some law of conservation. That of the physical quantity of action and probability (entropy and information) seems to be the most important one. It may be deduced as follows: The numeral (whether α or β) of each "die" (correspondingly |0〉 and |1〉) is a complex number such that the squire of its module is interpretable as the probability of measuring (observing, taking place) the physical quantity determined in its phase (e.g. energy as in Section IV). Then, the other numeral (correspondingly α and β) corresponds to the probability for the same quantity not to be measured (observed, taken place). If one multiplies as tensors that qubit by the conjugate qubit, i.e. by the corresponding qubit of the conjugate, and takes into account that |α|2 +? |β|2 = 1 (or 0 if the corresponding Cn, Cn+1 are both 0), the equation h{|α|2 +? |β|2} = S, where S is the quantity of action for a pair of conjugate qubits, can be inferred. If the case is that, one can use the metaphor that a qubit is a "squire root" of a bit since the tensor product of two conjugate qubits is equivalent to the product of a bit and the Planck constant. The physical meaning should be that the physical quantity of action and the probability of an element or a state (respectively, entropy or information of the entire system) are conserved only transforming into each other. In particular, this implies the conservation of action rather than of energy. In fact, the generalization of conservation from energy to action has been coined already in general relativity and statistic thermodynamics. This means that the elementary units of time can be different in one and the same point of space-time in relation to a part and to the system as a whole. 301 Penchev, Vasil God's dice demonstrate the unity and transition between the physical (i.e. material) action of a part and its disposition among the whole by meditation of probabilities (entropy or information), which are rather nonmaterial and mathematical. VI. Conclusion God's dice turn out to be a qubit and thus having the shape of a unit ball. Any item in the universe as well the universe itself is both infinitely many rolls and a single roll of that dice for it has infinitely many "sides". Thus both the smooth motion of classical physics and the discrete motion introduced in addition by quantum mechanics can be described uniformly correspondingly as an infinite series converges to some limit and as a quantum jump directly into that limit. The second, imaginary dimension of God's dice is interpretable as energy and as the velocity of information change between two probabilities in both series and jump. References Aspect, Alain, Philippe Grangier, and Gérard Roger (1981) "Experimental tests of realistic local theories via Bell's theorem," Physical Review Letters, 47(7): 460-463. Aspect, Alain, Philippe Grangier, and Gérard Roger (1982) "Experimental Realization of EinsteinPodolsky-Rosen-Bohm Gedanken Experiment: A New Violation of Bell's Inequalities," Physical Review Letters, 49(2): 91-94. Bell, John (1964) "On the Einstein Podolski Rosen paradox," Physics (New York), 1 (3): 195-200. Bianchi, Massimiliano Sassoli de (2013) "Quantum dice," Annals of Physics, 336(7): 56-75. Born, Max (1926) "Zur Quantenmechanik der Stossvorgänge," Zeitschrift für Physik, 37(12): 863–867. Breshears, Gerry (2008) Does God play dice with the universe? Portland, Oregon. : Theological Research Exchange Network (TREN), 2008. Broglie, Louis de (1925) "Recherches sur la théorie des quanta," Thesis (Paris), 1924, Annales de Physique (Paris, 10-ème série) 3, 22-128. Chamberlain, Paul H. (1987) Does God play dice? The implications of quantum mechanics, Newberg, Oregon: George Fox College. Clauser, John F. and Michael A. Horne (1974) "Experimental consequences of objective local theories," Physical Review D, 10(2): 526-535. Clegg, Brian (2014) Dice world: science and life in a random universe, London: Icon. Einstein, Albert (1905) "Ist die Trägheit eines Körpers von seinem Energieinhalt abhängig?" Annalen der Physik, 18(13): 639–641. Einstein, Albert (1905) "Über einen die Erzeugung und Verwandlung des Lichtes betreffenden heuristischen Gesichtspunkt," Annalen der Physik, 17(6): 132–148. Einstein, Albert (1926) Letter to Max Born, 16 December 1926, in: Albert Einstein Max Born Briefwechsel 1916 – 1955 (kommentiert von Max Born). München: Nymphenburger Verlagshandlung, 1969: 129-130. Einstein, Albert, Boris Podolsky, and Nathan Rosen (1935) "Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?" Physical Review, 47(10): 777-780. Gleason, Andrew (1957) "Measures on the Closed Subspaces of a Hilbert Space," Journal of Mathematics and Mechanics, 6(6): 885-893. Halpern, Paul (2015) Einstein's dice and Schrödinger's cat: how two great minds battled quantum randomness to create a unified theory of physics, New York: Basic Books. Hilbert, David (1900) "Mathematische Probleme" (Vortrag, gehalten auf dem internationalen MathematikerKongress zu Paris 1900). http://www.mathematik.uni-bielefeld.de/~kersten/hilbert/rede. html (accessed at: 20 May 2015). Hilbert, David (1902) "Mathematical problems," Bulletin of the American Mathematical Society, 8(10): 437-479. Kolmogorov, Andrey (1933) Grundbegriffe der Wahrscheinlichkeitsrechnung, Berlin: Julius Springer Koperski, Jeffrey (2000) "God, chaos, and the quantum dice," Zygon, 35(3): 545-559. 302 Penchev, Vasil Montwill, Alex and Ann Breslin (2012) The quantum adventure: does God play dice? London: Imperial College Press. Nagel, Trygve (1951) Introduction to number theory, Stockholm : Almqvist & Wirksell. Peña, Luis de la and Ana Maŕıa Cetto (1996) The quantum dice: an introduction to stochastic electrodynamics, Fundamental theories of physics, vol. 75, Dordrecht; Boston: Kluwer Academic Ponomarev, Leonid Ivanovich (1993) The quantum dice, Bristol; Philadelphia: Institute of Physics Publishing Saunders, Nicholas T. (2000) "Does God cheat at dice? Divine action and quantum possibilities," Zygon, 35(3): 517-544. Schrödinger, Erwin (1935) "Die gegenwärtige situation in der Quantenmechanik," Die Naturwissenschaften, 23(48): 807-812; 23(49): 823-828, 23(50): 844-849. Shiang, David A. (2008) God does not play dice: the fulfillment of Einstein's quest for law and order in nature. Delhi: Pustak Mahal. Stewart, Ian (2002) Does God play dice? The new mathematics of chaos, Malden, Mass.: Blackwell. Third International Workshop Dice 2006: quantum mechanics between decoherence and determinism: new aspects from particle physics to cosmology : September 11-15, 2006, Tuscany, Italy. (Journal of Physics: Conference Series, 67) New York: Curran Associates Inc., 2006. Wiles, Andrew (1995) "Modular Elliptic Curves and Fermat's Last Theorem," Annals of Mathematics, 141(3): 443-551.