The main question of metasemantics, or foundational semantics, is why an expression token has the meaning (semantic value) that it in fact has. In his reading of Ludwig Wittgenstein’s later work, Saul Kripke presented a skeptical challenge that threatened to make the foundational question unanswerable. My first contention in this paper is that the skeptical challenge indeed poses an insoluble paradox, but only for a certain kind of metasemantic theory, against which the challenge effectively works as a reductio ad absurdum (...) argument. My second contention is that as a result of rejecting the theory which entails a paradoxical outcome, we will see that the foundational question essentially involves a temporal dimension. After arguing that the skeptical challenge gives us a strong reason to adopt a historical view of meaning, I shall further argue against certain authors who claim that meanings not only have histories but futures as well, or that the meaning of a word may change retroactively in time as a consequence of counterfactual change in its future use. The major aim of the paper is thus to bring together the arguably interrelated debates about the skeptical challenge and temporal externalism in philosophy of language. (shrink)

The aim of this paper is to critically examine the concept of semantic objectivity inherent in Robert Brandom`s works, most importantly Making It Explicit. Concerning Brandom`s theoretical aims, I shall argue that there is some discrepancy between his formal and informal characterisations of the criteria by which his account is to be judged as adequate. After expounding on the discrepancy, I shall propose to reconstruct a mostly implicit line of argument in MIE, highlighted by the more recent developments of Brandom`s (...) work, which I think suffices to smooth it over. (shrink)

How can we figure out what’s right or wrong, if moral truths are neither self-evident nor something we can perceive? Very roughly, the method of reflective equilibrium (RE) says that we should begin moral inquiry from what we already confidently think, seeking to find a a match between our initial convictions and general principles that are well-supported by background theories, mutually adjusting both until we reach a coherent outlook in which our beliefs are in harmony (the equilibrium part) and we (...) know why and how they support each other (the reflective part). It has been central to the self-understanding of normative ethics and other branches of philosophy in the last half a century. In this chapter, we examine the history of the idea of RE and introduce a schema for generating 256 variants. We explain why RE is subject to serious objections insofar as it purports to yield epistemic justification in virtue of achieving coherence. However, we also develop a new argument to the effect that RE is the best feasible method for us to achieve moral understanding and the ability to justify our judgments to others. It may thus be crucial for responsible moral inquiry, even if coherence among considered judgments and principles is neither sufficient nor necessary for justified moral belief. (shrink)

Artikkeli käsittelee Saul Kripken Ludwig Wittgensteinin myöhemmistä töistä koostamaa merkityskeptistä haastetta, erityisesti niin kutsuttua äärellisyyden ongelmaa. Pääargumentti on, että skeptisen haasteen pääasiallinen vastaaja, semanttinen dispositionalismi, ei uusimmistakaan yrityksistä huolimatta ole kyennyt ratkaisemaan äärettömyyden ongelmaa. Ratkaistakseen ongelman dispositionalistin tulisi selittää, kuinka on mahdollista, että äärellinen puhuja voisi omata disposition käyttää jotain termiä äärettömässä määrässä tapauksia määrätyllä tavalla. Monet dispositionalistit esittävät, että ratkaisu löytyy niin kutsutuista ceteris paribus -ehdoista, joita vastaan Martin Kusch on argumentoinut. Jatkan Kuschin kritiikkiä ja osoitan ceteris paribus -strategian (...) keskeiset ongelmat, minkä lisäksi vastaan myös kahteen näistä ehdoista riippumattomaan dispositionalistiseen strategiaan. (shrink)

Reeves and Sinnicks present Theodor Adorno as a philosopher with a sombre message to business ethics. Capitalist markets distort our needs and work in business organisations stultifies our moral capacities. Thus, the discipline’s self-understanding must be revised, and supplemented with reflections on what would be good work: free creative activity. After raising some questions about their interpretation of Adorno’s writings on human needs, I argue that the paper does not contain all the necessary resources to support its ferociously critical claims. (...) Once such resources are made available, however, the appeal to a notion of good work is no longer viable. (shrink)

According to the safety condition, a subject knows that p only if she would believe that p only if p was true. The safety condition has been a very popular necessary condition for knowledge of late. However, it is well documented that the safety condition is trivially satisfied in cases where the subject believes in a necessary truth. This is for the simple reason that a necessary truth is true in all possible worlds, and therefore it is true in all (...) possible worlds where it is believed. But clearly, all beliefs concerning necessary truths do not amount to knowledge. The safety theorists have attempted to deal with the problem caused by necessary truths by restricting the safety condition to purely contingent truths and by globalizing the safety condition to a set of propositions. Both of these solutions are problematic. The principal aim of this paper is to develop a version of the safety condition that is able to deal with cases featuring necessary truths. (shrink)

In order to deal with the problem caused by environmental luck some proponents of robust virtue epistemology have attempted to argue that in virtue of satisfying the ability condition one will satisfy the safety condition. Call this idea the entailment thesis. In this paper it will be argued that the arguments that have been laid down for the entailment thesis entail a wrong kind of safety condition, one that we do not have in mind when we require our beliefs to (...) be safe from error in order for them to be knowledge. (shrink)

According to all varieties of virtue reliabilism knowledge is always gained through the exercise of epistemic competences. These competences can be conceived as competences to form true beliefs, or as competences to know. I will present a short but decisive argument against the idea that knowledge is always gained through the exercise of competences to know. The competence to know isn’t necessary for gaining knowledge.

This paper offers a new account of the epistemic significance of disagreement which is grounded in two assumptions; that knowledge is the norm of belief and, that the safety condition is a necessary condition for knowledge. These assumptions motivate a modal definition of epistemic peerhood, which is much easier to operate on than the more traditional definitions of epistemic peerhood. The modal account of the epistemic significance of disagreement yields plausible results regarding cases of disagreement. Furthermore, it is able to (...) tap into the intuitions that have motivated the conformist and the nonconformist positions and it locates a fruitful middle-ground between these two conflicting positions. It will be shown that the conformist is correct in that cases of real peer disagreement force us to suspend our judgment. The reason for this is that in cases of real peer disagreement our beliefs fail to be safe. The nonconformist, on the other hand, is right in that disagreement in itself does not have any epistemic power. It is only by the grace of nature that we gain knowledge. The fact that someone disagrees with you does not mean that you do not have knowledge. (shrink)

According to the extended mind thesis, cognitive processes are not confined to the nervous system but can extend beyond skin and skull to notebooks, iPhones, computers and such. The extended mind thesis is a metaphysical thesis about the material basis of our cognition. As such, whether the thesis is true can have implications for epistemological issues. Carter has recently argued that safety-based theories of knowledge are in tension with the extended mind hypothesis, since the safety condition implies that there is (...) an epistemic difference between subjects who form their beliefs via their biological capacities and between subjects who have extended their cognition. Kelp, on the other hand, has argued that a safety-based theory of knowledge can be correct only if the extended mind thesis is true. While these claims are not logically inconsistent, they do leave the safety theorist in an uncomfortable position. I will argue that safety-based theories of knowledge are not hostage to the truth of the extended mind thesis, and that once the safety condition is properly understood it is not in tension with the extended mind thesis. (shrink)

It is argued that the goal of Hilbert's program was to prove the model-theoretical consistency of different axiom systems. This Hilbert proposed to do by proving the deductive consistency of the relevant systems. In the extended independence-friendly logic there is a complete proof method for the contradictory negations of independence-friendly sentences, so the existence of a single proposition that is not disprovable from arithmetic axioms can be shown formally in the extended independence-friendly logic. It can also be proved by means (...) of independence-friendly logic that proof-theoretical consistency of a sentence S implies the existence of a model in which S is not false. Hence the consistency of the axioms of arithmetic in the sense of being not-false in a model can be proved. (shrink)

Hume and Quine argue that human beings do not have access to general knowledge, that is, to general truths . The arguments of these two philosophers are premised on what Jaakko Hintikka has called the atomistic postulate. In the present work, it is shown that Hume and Quine in fact sanction an extreme version of this postulate, according to which even items of particular knowledge are not directly accessible in so far as they are relational. For according to their (...) fully realized systems, human beings do not initially perceive any relations, or similar epistemological elements that can associate or combine terms on which a relational or general knowledge claim may be based. Nor, likewise, do human beings perceive the relations or the associations themselves as separate entities. ;In Chapters 1 and 2, respectively, it is shown precisely why Hume and Quine deny that human beings initially perceive either such associative elements or associations in general. Concomitantly, it is made clear why Hume's and Quine's respective epistemologies preclude human beings from initially apprehending not only general knowledge, but particular relational knowledge as well. But this is not to say that Hume and Quine do not think we can eventually acquire such associative elements and correspondingly, knowledge. Rather, Hume and Quine do provide an account of knowledge, but one that holds all relational and connective elements to be constructed by the human mind. In Hume's case, they are constructed by the imagination. In Quine's case, we are never told quite how this construction occurs, although the evidence suggests that Quine implicitly relies on a faculty similar to Hume's imagination. ;In the final chapter of this thesis, it is argued that both Hume and Quine must be read as philosophers who justify knowledge by reducing its possibility to a psychological faculty of construction, as well as to a few concepts of intuitively grasped relations. By way of conclusion, it is shown that this makes Quine's naturalism the psychological heir to Carnap's Aufbau. (shrink)

Hintikka considers that the “Transcendental Deduction” includes finding the role that concepts in the effort is meant by human activities of acquiring knowledge; and it affirms that the principles governing human activities of knowledge can be objective rules that can become transcendental conditions of experience and no conditions contingent product of nature of human agents involved in the know. In his opinion, intuition as it is used by Kant not be understood in the traditional way, ie as producer of mental (...) images, but rather as that which the mind represents an individual. To support this interpretation refers to the lessons of Kant´s Logics, to individuality space time and the thesis, submitted the winning essay in 1764, characterizing the mathematical method by the use of particular representatives of general concepts. Thus, his exegesis considers the Kantian conceptions of the “Doctrine of Method” not later conceptions, as traditionally interpreted, but prior conceptions to the processing of “Transcendental Aesthetic”. This article reconstructs some of their arguments that eventually will equal the Kantian intuition with the Euclidean ecthesis. (shrink)

On Jaakko Hintikka’s understanding of Aristotle’s modal thought, Aristotle is committed to a version of the Principle of Plenitude, which is the thesis that no genuine possibility will go unactualized in an infinity of time. If in fact Aristotle endorses the Principle of Plenitude, everything becomes necessary. Despite the strong evidence that Aristotle indeed accepts that Principle of Plenitude, there are key texts in which Aristotle seems to contradict it. On Hintikka’s final word on the matter, Aristotle either endorses (...) the Principle of Plenitude or Aristotle is simply inconsistent. Without challenging Hintikka’s interpretation of the relevant texts, I show how Aristotle may accept a form of the Principle of Plenitude that allows for genuine unactualized possibilities in the world. What allows me to reconcile the seemingly inconsistent data is to show how Aristotle is only committed to a de re version of the Principle of Plenitude. After I lay out my proposal, I show how it opens up new ways in which we might understand Aristotle’s attempt to reject fatalism in his De interpretatione 9. (shrink)

The paper deals with the main contribution of the Finnish logician Jaakko Hintikka: epistemic logic, in particular the 'static' version of the system based on the formal analysis of the concepts of knowledge and belief. I propose to take a different look at this philosophical logic and to consider it from the opposite point of view of the philosophy of logic. At first, two theories of meaning are described and associated with two competing theories of linguistic competence. In a (...) second step, I draw the conclusion that Hintikka's epistemic logic constitutes a sort of internalisation of meaning, by the introduction of epistemic modal operators into an object language. In this respect, to view meaning as the result of a linguistic competence makes epistemic logic nothing less than a logic of unified meaning and understanding. (shrink)

Jaakko Nevasto has offered a number of thoughtful criticisms of our attempt to show that Adorno’s work can fruitfully be brought to bear on topics in business ethics. After welcoming his constructive clarifications, we attempt to defuse Nevasto’s main objections and defend our application of Adorno, focusing in particular on the topics of moral epistemology, needs, and the possibility of genuine activity – and thus good work – within capitalist society.

Jaakko Hintikka, in a series of talks in Brazil in 2008, defended that IF logic and paraconsistent logic are, in a sense, very similar. Having sketched the proposal of a new paraconsistent system, he maintains that several achievements of IF logic could be reproducible in paraconsistent logic. One of the major difficulties, left as a challenge, would be to formulate some truth conditions for this new paraconsistent first-order language in order to make IF logic and paraconsistent logic more inter-related. (...) My proposal is that this would demand an innovative game-theoretical semantic approach to paraconsistentism, but also that the syntax of the paraconsistent “Logics of Formal Inconsistency” can model the internal logic of Socratic elenchi. I aim to discuss these, and other points posed by Hintikka, as challenges and opportunities for paraconsistentism, paraconsistent logics and IF logics, as well as to raise some criticisms on Hintikka’s view about paraconsistency. (shrink)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to (...) be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

Jaakko Hintikka proposed treating objectual perception sentences, such as “Alice sees Bob,” as de re propositional perception sentences. Esa Saarinen extended Hintikka’s idea to eventive perception sentences, such as “Alice sees Bob smile.” These approaches, elegant as they may be, are not philosophically neutral, for they presuppose, controversially, that the content of all perceptual experiences is propositional in nature. The aim of this paper is to propose a formal treatment of objectual and eventive perception sentences that builds on Hintikka’s (...) modal approach to propositional attitude ascriptions while avoiding controversial assumptions on the nature of perceptual experiences. Despite being simple and theoretically frugal, our approach is powerful enough to express a variety of interesting philosophical views about propositional, objectual, and eventive perception sentences, thus enabling the study of their inferential relationships. (shrink)

L’article qui suit a pour but de présenter un des aspects centraux de la contribution philosophique de Jaakko Hintikka : l’épistémologie formelle. Le thème choisi, le Paradoxe de Moore, permettra d’illustrer le mot d’ordre de la philosophie formelle, celui d’utiliser des outils logiques en vue de la clarification de problèmes philosophiques. Il s’agit également de mettre en évidence la nature pragmatique du discours épistémique, qui transparaît dans les résultats sémantiques de Hintikka et parle en faveur de la logique illocutoire.

‘Performative’ transcendental arguments exploit the status of a subcategory of self-falsifying propositions in showing that some form of skepticism is unsustainable. The aim of this paper is to examine the relationship between performatively inconsistent propositions and transcendental arguments, and then to compare performative transcendental arguments to modest transcendental arguments that seek only to establish the indispensability of some belief or conceptual framework. Reconceptualizing transcendental arguments as performative helps focus the intended dilemma for the skeptic: performative transcendental arguments directly confront the (...) skeptic with the choice of abandoning either skepticism or some other deep theoretical commitment. Many philosophers, from Aristotle and St. Thomas Aquinas to Jaakko Hintikka, C.I. Lewis, and Bernard Lonergan, have claimed that some skeptical propositions regarding knowledge, reason, and/or morality can be shown to be self-defeating; that is to say, they have claimed that the very upholding of some skeptical position is in some way incompatible with the position being upheld, or with the implied, broader dialectical position of the skeptic in question. Statements or propositions alleged to have this characteristic also sometimes are called ‘self-falsifying,’ ‘self-refuting,’ ‘self-stultifying,’ ‘self-destructive,’ or ‘pointless.’ However, proponents of the strategy of showing skepticism to be self-defeating have not in general adequately distinguished between two types of self-defeating proposition: self-falsifying and self-stultifying. In the first part of this paper I distinguish between self-falsifying and self-stultifying propositions, and introduce the notion of performative self-falsification. In the second part I discuss classical transcendental arguments, ‘modest’ transcendental arguments, and objections to each. In the third part I introduce two types of transcendental argument—each labeled “performative”—corresponding to two types of performatively self-falsifying proposition, and I compare them to modest transcendental arguments. (shrink)

In this study I discuss G. W. Leibniz's (1646-1716) views on rational decision-making from the standpoint of both God and man. The Divine decision takes place within creation, as God freely chooses the best from an infinite number of possible worlds. While God's choice is based on absolutely certain knowledge, human decisions on practical matters are mostly based on uncertain knowledge. However, in many respects they could be regarded as analogous in more complicated situations. In addition to giving an overview (...) of the divine decision-making and discussing critically the criteria God favours in his choice, I provide an account of Leibniz's views on human deliberation, which includes some new ideas. One of these concerns is the importance of estimating probabilities – in making decisions one estimates both the goodness of the act itself and its consequences as far as the desired good is concerned. Another idea is related to the plurality of goods in complicated decisions and the competition this may provoke. Thirdly, heuristic models are used to sketch situations under deliberation in order to help in making the decision. Combining the views of Marcelo Dascal, Jaakko Hintikka and Simo Knuuttila, I argue that Leibniz applied two kinds of models of rational decision-making to practical controversies, often without explicating the details. The more simple, traditional pair of scales model is best suited to cases in which one has to decide for or against some option, or to distribute goods among parties and strive for a compromise. What may be of more help in more complicated deliberations is the novel vectorial model, which is an instance of the general mathematical doctrine of the calculus of variations. To illustrate this distinction, I discuss some cases in which he apparently applied these models in different kinds of situation. These examples support the view that the models had a systematic value in his theory of practical rationality. (shrink)

Artikkelissaan ”The Balance of Reason” Marcelo Dascal on osoittanut, että metafora syiden punnitsemisesta järjen vaa’assa on yleinen Leibnizin kirjoituksissa ja sitä on pidettävä hänen yleisenä järkeilyn metodinaan tilanteissa, joissa ei voida suorittaa täydellistä loogista analyysiä. Keskustelen tässä esitelmässä tuosta metaforasta ja ehdotan Jaakko Hintikan ja Simo Knuuttilan aiempien esityksien pohjalle rakentaen, että käsityksissään ihmisen praktisesta rationaalisuudesta Leibniz sovelsi myös toista melko tuntemattomaksi jäänyttä heuristista päätöksentekomallia, joka liittyy hänen työhönsä luonnonfilosofiassa ja mielenfilosofiassa, ja jota hän sovelsi tapauksissa joissa päätökseen vaikuttavat (...) arvot ovat toisiaan täydentäviä. Tämä moniarvoisuuden huomioon ottava malli edustaa uudenlaista ja modernia ajattelua moraalifilosofian historiassa. (shrink)

Leibniz frequently argued that reasons are to be weighed against each other as in a pair of scales, as Professor Marcelo Dascal has shown in his article "The Balance of Reason." In this kind of weighing it is not necessary to reach demonstrative certainty – one need only judge whether the reasons weigh more on behalf of one or the other option However, a different kind of account about rational decision-making can be found in some of Leibniz's writings. In his (...) article "Was Leibniz's Deity an Akrates?" Professor Jaakko Hintikka has argued that Leibniz developed a new vectorial model for rational decisions which is better suited to complicated decisions, where values are complementary to each other. This model, related closely to his work in metaphysics and the philosophy of mind, is a heuristic device which helps in finding rational combinations - and in an ideal case an optimum - between plural inclinations to the good. I shall argue that Leibniz applies more or less implicitly both of these models in his practical rationality. In simple situations he applied the pair of scales model and in more complicated situations he applied the vectorial model. (shrink)

Although epistemic possibility figures in several debates, those debates have had relatively little contact with one another. G. E. Moore focused squarely upon analyzing epistemic uses of the phrase, ‘It’s possible that p’, and in doing so he made two fundamental assumptions. First, he assumed that epistemic possibility statements always express the epistemic position of a community, as opposed to that of an individual speaker. Second, he assumed that all epistemic uses of ‘It’s possible that p’ are analyzable in terms (...) of knowledge, not belief. A number of later theorists, including Keith DeRose, provide alternative accounts of epistemic possibility, while retaining Moore’s two assumptions. Neither assumption has been explicitly challenged, but Jaakko Hintikka’s analysis provides a basis for doing so. Drawing upon Hintikka’s analysis, I argue that some epistemic possibility statements express only the speaker’s individual epistemic state, and that contra DeRose, they are not degenerate community statements but a class in their own right. I further argue that some linguistic contexts are belief- rather than knowledge-based, and in such contexts, what is possible for a speaker depends not upon what she knows, but upon what she believes. (shrink)

Cet article a pour but d’étudier les perspectives que l’approche performative de la preuve fournit, afin de répondre à deux questions classiques liées à l’interprétation de l’argument cartésien : Cogito ergo sum. La première question est la suivante : quel type de contrainte logique ou non-logique ergo exprime-t-il dans la formulation de cet argument? La seconde question est celle-ci : quel type d’existence est manifesté par l’argument Cogito, ou Cogito ergo quis est ?

In the framework of Husserl's phenomenology, intentionality is regarded as the main feature of every act of consciousness. Our consciousness is directed towards objects immanent in it, however in a variety of epistemological functions and operations, such as sensory perception, judgment, cognition, volition, imagination, etc. Husserl uses the technical terms noesis and noema to designate the intentional acts of consciousness and their outcome in the constitution of objects in consciousness. At the same time, the persistence of a hyletic data is (...) emphasized, which as pure sense data escapes the phenomenological reduction and remains as such a residuum in the consciousness. In my lecture I try to work out the clear implication of epistemological referentiality in the phenomenological basic notion of intentionality. Among other things, I rely on the conceptual history of intentionality, i. e. on the earlier theories of intentionality in the Middle Ages and the philosophical revival of this notion in the late 19th century by Franz Brentano. Referentiality defines itself as the referential access of consciousness to objects of sensory perception, judgment, cognition, etc., in which the objects form the final referents. In the phenomenological framework, intentionality refers to the intentional access of consciousness to objects irrespective of their consciousness-immanence or -transcendence. The analogy between intentionality and referentiality is therefore based on the act-character as well as the directionality of consciousness which suggests the characteristic attempt of consciousness to gain intentional-referential access to objects. The directionality of consciousness in every intentional act ultimately marks and confirms the referentiality i. e the referential access of consciousness to the object. Intentionality as intentional-referential access to objects becomes a problem, when the access of consciousness to the object proves to be inadequate. I try to show how this problem of referentiality inevitably arises in Husserl's phenomenology of inner time-consciousness, especially in his conception of a time-object (Zeitobjekt). The consciousness-immanence of a time-object, such as a melody, points to a problem, that the intertwining of the temporality of consciousness and that of time-object necessarily results in various aporias of time, as Paul Ricœur observes and discusses in detail in his seminal work Temps et Récit. Moreover, the residual persistence of hyletic data, that survives all phenomenological reductions, would establish an actual interface between consciousness and reality, as Jaakko Hintikka emphasizes in his essay The phenomenological dimension. The aporicity of time refers to the autonomy of time and, thereby, to the autonomy of time-object in its intentional in-existence in consciousness. The hyletic data as interface between consciousness and reality points to the necessary referential extension of consciousness to objects that are otherwise excluded in the context of phenomenology. From these and similar premises, I would like to demonstrate how the problem of referentiality in Husserl's philosophy of time inevitably presupposes a reversion of referentiality within the prevailing noesis-noema structure that underlies the consciousness-immanence of objects. (shrink)

This is a contribution to the idea that some proofs in first-order logic are synthetic. Syntheticity is understood here in its classical geometrical sense. Starting from Jaakko Hintikka’s original idea and Allen Hazen’s insights, this paper develops a method to define the ‘graphical form’ of formulae in monadic and dyadic fraction of first-order logic. Then a synthetic inferential step in Natural Deduction is defined. A proof is defined as synthetic if it includes at least one synthetic inferential step. Finally, (...) it will be shown that the proposed definition is not sensitive to different ways of driving the same conclusion from the same assumptions. (shrink)