1) Premises are part of logic. The formation of (necessarily well-defined) premises is part of logic, so you are essentially saying that logic cannot verify anything without logic:
"Traditionally, logic has concerned itself with the connection of premises with conclusions, and thus with the issue of transferring justification. Informal logics raising the question of premise acceptability, to our mind, raises the question of whether one is justified in believing or accepting the basic premises of an argument."
Freeman, J. B. (2005).
Acceptable Premises: An Epistemic Approach to an Informal Logic Problem. Cambridge University Press.
You may wish to write the author, as the entire monograph is devoted to the ways in which logic is relevant not just to formulate premises and see whether or not conclusions follow from them, but to the logic of determining the acceptability of premises quite apart from their formulation or their connection to an argument or its conclusion.
2) Without premises, we can prove all tautologies and disprove all logical contradictions.
3) Frequently, we rely not on hypotheses but on other inferential methods, from exploratory surgery to ethnography.
4) Then there is accidental discovery and lucky shots in the dark. For example: "In 1900,
without any underlying rational justification other than strictly mathematical purposes, [Max Planck] applied Boltzmanns probabilistic reasoning to calculate the entropy of the energy distribution in a black body
by means of an unheard-of assumption: that the energy E of electromagnetic radiation of a given frequency
f emitted or absorbed by the walls of a cavity could not take on any arbitrary value but had to be proportional to that frequency,
E = hf, or integer multiples thereof. The constant of proportionality,
h, now considered one of the most fundamental in nature, came to be known as Plancks constant."
&
"...the French physicist Henri Becquerel (18521908)
quite accidentally found radioactivity. In his investigation to determine if the fluorescence of certain crystals when exposed to light produced Röntgens X-rays, he had left some uranium salts wrapped in paper on a photographic plate in a drawer. Since the salts were in the dark, they could not fluoresce. To his astonishment he later found that the plate was clouded, which indicated that the uranium salt must have emitted a new kind of radiation that penetrated the paper and clouded the plate."
(both from Newton, R. G. (2007).
From Clockwork to Crapshoot: A History 6of Physics. Harvard University Press.
6) The single most pervasive error in modern research in the sciences is the use of hypothesis testing whereby one develops a premise/hypothesis, tests it (usually with one out of a small set of inadequate statistical techniques), and if it reaches some meaningless "alpha-level" it is invalidly claimed that the premise/hypothesis has been verified. For a
very short treatment of this issue see here:
How Hypothesis Testing Doesnt Test Hypotheses (and relatedly:
Lies, Damned Lies, and Research: Systematic misuse of statistics in the sciences)
It's quite literally the only way to verify a premise or set of premises. And, again, it is essential to the entire structure of scientific inquiry:
Jaynes, E. T. (2003).
Probability Theory: The Logic of Science. Cambridge university press.
"If false hypotheses had no logical consequences we should not thus be able to test falsity.
That a proposition has definite logical consequences even if it is false follows also from the fact that these logical consequences or implications are part of its meaning.
...
logical principles are confirmed and exhibited in every inference that we draw, in every investigation which we successfully bring to a close. They are discovered to hold in every analysis which we undertake. They are inescapable, because any attempt to disregard them reduces our thoughts and words to gibberish." (emphasis added)
Cohen, M. R. & Nagel, E. (1934).
An Introduction to Logic and the Scientific Method
"Two different measurement methods have to be distinguished, direct and indirect measurement...According to this
logical scheme [direct measurement], the measure X(G) of the quantity G is the ratio between the quantity G and the unit standard U...
In the great majority of instruments,
the logical structure is more complex: the comparison with the unit standard is made through a calibration, which is generally performed by the manufacturer. The quantity G can undergo various manipulations and transformations to other quantities...It can often be convenient to represent the instrument as a measuring chain,
decomposing its logical structure into a sequence of functional elements, each one devoted to a well-defined task."
Fornasini, P. (2008).
The Uncertainty in Physical Measurements: An Introduction to Data Analysis in the Physics Laboratory. Springer.
"An explanation is rational if it follows the rules of logic and is consistent with known facts. If the explanation makes assumptions that are known to be false, commits logical errors in drawing conclusions from its assumptions, or is inconsistent with established fact, then it does not qualify as scientific."
Bordens, K. S., & Abbott, B. B. (2011).
Research Design and Methods: A Process Approach (8th Ed.). McGraw Hill.
How do you determine if a proposition is true?
Your computer, for one. It is a physical instantiation of classical formal logic. It computes by evaluating "statements" in this way, strictly logically. Logic in general is not restricted to classical (formal) logic, because as humans capable of reasoning and conceptual processing we require more flexible logics both formal and informal. Computers do not tolerate ambiguity, and thus they rely on the kind of strict interpretations which can lead to ridiculous conclusions. For a computer program, this will generally mean it has some flaw that causes it not to run or not to run correctly. For a human, this means the necessity of distinguishing a "sound" vs. a "valid" argument. A
valid argument is simply one for which the conclusion follows from the premises (or, put differently, an argument that, if you accept the premises, you must accept the conclusion). A
sound argument is one which is valid AND the premises are true.
Another miracle of logic. What you said entails certain things, regardless of whether you explicitly said them or even if you realized that they were entailed by your statement.