Online research in philosophy

The purpose of philosophy.--Verification.--Empirical propositions and hypothetical statements.--Logical translation.--Equality.--The concept of scientific history.--Does political theory still exist?--"From hope and fear set free.".

In this paper I attempt to cast the current program verification debate within a more general perspective on the methodologies and goals of computer science. I show, first, how any method involved in demonstrating the correctness of a physically executing computer program, whether by testing or formal verification, involves reasoning that is defeasible in nature. Then, through a delineation of the senses in which programs can be run as tests, I show that the activities of testing and formal verification do not necessarily share the same goals and thus do not always constitute alternatives. The testing of a program is not always intended to demonstrate a program's correctness. Testing may seek to accept or reject nonprograms including algorithms, specifications, and hypotheses regarding phenomena. The relationship between these kinds of testing and formal verification is couched in a more fundamental relationship between two views of computer science, one properly containing the other.

Knowledge of many facts does not amount to understanding unless one also has a sense of how the facts fit together. This aspect of coherence among scientific observations and theories is usually overlooked in summaries of scientific method, since the emphasis is on justification and verification rather than on understanding. I argue that the inter-theoretic coherence, as the hallmark of understanding, is an essential and informative component of any accurate description of science.

Hilary Putnam has argued against philosophical theories which tie the content of truth-claims closely to the available methods of investigation and verification. Such theories, he argues, threaten our idea of human communication, which we take to be possible between people of different cultures and across periods of time during which methods of investigation change dramatically. Putnam rejects any reading of Wittgenstein which takes him to make a close tie between meaning and method of verification. What strands in Wittgenstein's thought appear to lend support to such a reading? Can we do justice to the role which method of verification does have for Wittgenstein while retaining our hold on the idea that communication between people is possible despite substantial differences in methods of verification and investigation? Thus it is as if the proof did not determine the sense of the proposition proved; and yet as if it did determine it. But isn't it like that with any verification of any proposition?

The connection between scientific knowledge and our empirical access to realityis not well explained within the structuralist approach to scientific theories. I arguethat this is due to the use of a semantics not rich enough from the philosophical pointof view. My proposal is to employ Sellars–Brandom's inferential semantics to understand how can scientific terms have empirical content, and Hintikka's game-theoretical semantics to analyse how can theories be empirically tested. The main conclusions are that scientific concepts gain their meaning through `basic theories' grounded on `common sense, and that scientific method usually allows the pragmatic verification and falsification of scientific theories.

The verification theory of meaning aims to characterise what it is for a sentence to be meaningful and also what kind of abstract object the meaning of a sentence is. A brief outline is given by Rudolph Carnap, one of the theory's most prominent defenders: If we knew what it would be for a given sentence to be found true then we would know what its meaning is. [...] thus the meaning of a sentence is in a certain sense identical with the way we determine its truth or falsehood; and a sentence has meaning only if such a determination is possible. [4: 420] In short, the verification theory of meaning claims that the meaning of a sentence is the method of its verification.

The nature of phenomenal consciousness is a “hard problem” of several scientific branches. According to materialism, consciousness is a part of a physical world. According to other theories, consciousness does contain unphysical degrees of freedom. Many authors believe that it is impossible to prove or to disprove these viewpoints. We prove that materialism is a verifiable concept and propose methods to perform the verification. One should study the physical mechanism of phenomenal judgments (human words and writings about consciousness). We analyze four possible mechanisms of the generation of phenomenal judgments. This approach can be used for a scientific choice between different theories. As an example, we provide a non-functionalist method to check the sentience of the systems with artificial intelligence.

The notion of program verification appears to trade upon an equivocation. Algorithms, as logical structures, are appropriate subjects for deductive verification. Programs, as causal models of those structures, are not. The success of program verification as a generally applicable and completely reliable method for guaranteeing program performance is not even a theoretical possibility.